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
-
-
Interesting. Odd partially related question: Is there linear types in Idris (or can I represent them with DTs)?
-
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.
- 2 more replies
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.