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
-
-
I'd love to answer this with "none". Also I wounder if there are areas that are currently C, that could be done in Idris.
-
I'm mostly wondering if there's too much of a mismatch between "safe sharing by no mutation" and "safe mutation by no sharing". But maybe with enough creativity it's fine.
- 4 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.