mdioc
@mdioc.bsky.social
Attempting some advent of code problems in #LeanLang had been quite the eye opening experience. Still can’t seem to leverage dependent types but having a great time still!
December 11, 2025 at 2:47 PM
Attempting some advent of code problems in #LeanLang had been quite the eye opening experience. Still can’t seem to leverage dependent types but having a great time still!
Reposted by mdioc
They…turned off…National Institutes of Health grants? That’s nearly $50 billion of scientific research.
NIH appears to have canceled/postponed all of its study sections—the independent review panels that approve federal grants for health research.
Such grants fund the work/salaries of 300k people at more than 2,500 institutions
Such grants fund the work/salaries of 300k people at more than 2,500 institutions
All NIH study sections canceled indefinitely. This will halt science and devastate research budgets in universities.
January 22, 2025 at 9:38 PM
They…turned off…National Institutes of Health grants? That’s nearly $50 billion of scientific research.
Reposted by mdioc
Yes, that can be super confusing initially. When I first started OCaml it took me a good while to figure out that there are essentially two "dialects" – stdlib and Jane Street. JS did a lot to popularise the language in recent years, and @yminsky.bsky.social et al's "Real World OCaml" is excellent.
November 28, 2024 at 1:26 PM
Yes, that can be super confusing initially. When I first started OCaml it took me a good while to figure out that there are essentially two "dialects" – stdlib and Jane Street. JS did a lot to popularise the language in recent years, and @yminsky.bsky.social et al's "Real World OCaml" is excellent.
So #ocaml has been a great learning experience so far. The community is super helpful and patient with beginners. Question for everyone though, is heavy usage of |> seen out in the wild? I’m using it everywhere I can at the moment.
November 27, 2024 at 1:22 AM
So #ocaml has been a great learning experience so far. The community is super helpful and patient with beginners. Question for everyone though, is heavy usage of |> seen out in the wild? I’m using it everywhere I can at the moment.
Update on the weekend of learning #ocaml. I managed to start on a cli for reading Bluesky feeds, but the transition from Python to OCaml is expectedly a bit difficult. Kudos to the OCaml team for the overview doc on the site as that helped a lot to get going. Really enjoying the language though!
November 24, 2024 at 9:05 PM
Update on the weekend of learning #ocaml. I managed to start on a cli for reading Bluesky feeds, but the transition from Python to OCaml is expectedly a bit difficult. Kudos to the OCaml team for the overview doc on the site as that helped a lot to get going. Really enjoying the language though!
Reposted by mdioc
Hello to the Bluesky community!
We're trundling on in with an announcement; the Steam Autumn Sale starts next Wednesday, November 27th with deals on games of all types - from games that are blue, to games that are about skies, and everything in between.
We're trundling on in with an announcement; the Steam Autumn Sale starts next Wednesday, November 27th with deals on games of all types - from games that are blue, to games that are about skies, and everything in between.
November 22, 2024 at 12:00 AM
Hello to the Bluesky community!
We're trundling on in with an announcement; the Steam Autumn Sale starts next Wednesday, November 27th with deals on games of all types - from games that are blue, to games that are about skies, and everything in between.
We're trundling on in with an announcement; the Steam Autumn Sale starts next Wednesday, November 27th with deals on games of all types - from games that are blue, to games that are about skies, and everything in between.
Reposted by mdioc
The rotation periods of the planets, side-by-side
November 18, 2024 at 8:31 PM
The rotation periods of the planets, side-by-side
Reposted by mdioc
Linux kernel 6.12 is now available, bringing significant enhancements!
Linux Kernel 6.12 Release Adds Real-Time Capability and Initial Raspberry Pi 5 Support
Linux Kernel 6.12 finally brings in real-time computing capabilities to the mainline.
news.itsfoss.com
November 18, 2024 at 6:52 AM
Linux kernel 6.12 is now available, bringing significant enhancements!
