I'm considering looking into refinement types a bit more. The whole thing where the SMT solver does the heavy lifting instead of requiring you to write out proofs *might* be interesting to some of my users.
Anyone know of any refinement system where failed type checks are reported in a human-friendly or at least non-hostile manner?
Back in the good/bad old days of personal computing, the lack of memory protection allowed all manner of cool extensions, where you could just mess with the internals of the system or other processes.
Since it turns out we don't really have the memory protection we thought we did, it would be cute to try to bring those ideas back. Modern SW architecture and memory randomization probably makes that no fun, but a boy can dream.
Legend has it that Douglas Engelbart invented the mouse in 1968.
But did you know that German television manufacturer Telefunken released a "rolling-ball" device just a few months earlier?
From a technical perspective it actually closely resembles the kind of mouse that we ended up using until the late 90s.
The German patent office declined a patent due to a "lack of inventive step".
Are you not feeling motivated to go outside for a healthy walk? How about downloading the application StreetComplete from @fdroidorg and start helping out OpenStreetMap by adding missing data about the places around you!
I started today and it made my daily walks a lot more fun! It also motivates me to walk even more and visit new places that I wouldn't visit otherwise. :)
This is a very nice read https://discuss.ocaml.org/t/modules-that-extend-modules-from-third-party-packages/3777/2 about extensibility of #OCaml modules. It's worth reading even if you're not into OCaml (but other programming languages)!
Lisper/Schemer, CAD software developer, dependent types enthousiast.
Programming should be more accessible.
English, Français, Deutsch. He/him. France
functional.cafe is an instance for people interested in functional programming and languages.