#Haskell Show more
It's actually insane how cool the ST trick is (forall s. ST s a preventing state threads from escaping.) It's also used in AD to prevent differentials of different variables from interacting. In general, it seems like you can use it any time you want items generated from two different "origins" to not interact and prevent it at *compile time*!
"A buggy security check isn't normally considered a type error, but only because not many people use languages with type systems that solve that problem."
This article is great
How do I make pylint see modules in virtualenv? No, pylint-venv doesn't seem to work.
"Former Mozilla exec: Google has sabotaged Firefox for years"
I mean, I think it's obvious at this point that while the chrome team seems to have good intentions, the company around it is a sleazy, immoral ad company. Being an engineer doesn't make you immune to the policies and incentives of the toxic company you work for.
It's no secret I've been reading up on #seL4 for the past few weeks — expect a post series (likely over on Plume) with a brief overview of seL4, seL4 vs #Mach comparison, and some thoughts of what this could mean for a Hurd-like kernel built on top of seL4.
Obligatory disclaimer: I'm not an expert in either Mach, seL4, Hurd or microkernels in general, I'm just exploring them and writing down my notes.
This is officially the worst API I have seen in a haskell library.
Norman from @genode wrote a post on Genodians.org about C++ and SPARK.
“By regarding C++ and SPARK as a continuum rather than an black-and-white decision, we can use SPARK at places where we regard formal verification as most valuable while not restricting Genode components to be entirely static.”
Thank you for the Muen reference! I hope our application of “social pressure” was always done in a well-spirited way 😄
Not a real person.
I write code. Occasionally scream at people. Do random stuff. Hold no opinions that you should care about.
functional.cafe is an instance for people interested in functional programming and languages.