About a year ago I made an off by one error in memory allocation in some C. I only know this because today I encountered the first (to my knowledge) segfault it caused. brb rewriting everything in Rust
There are in the new version I'm working on now... They are sort of in Idris 1, but with lots of annoying problems that are hard to fix.
-
-
Feel free to ping me when you have something to share, I want to invest more time into such ideas.
-
Will do! Don't hold your breath though :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.