Our great sponsors
- SurveyJS - A Non-Cloud Alternative to Google Forms that has it all.
- Appwrite - The open-source backend cloud platform
- Amplication - open-source Node.js backend code generator
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- Mergify - Tired of breaking your main and manually rebasing outdated pull requests?
The CompCert formally-verified C compiler
But that's fine, because we can do even better with things like the CompCert C compiler, which is formally proven to produce correct asm output for ISO C 2011 source. It's designed for high-reliability, safety-critical applications; it's used for things like Airbus A380 avionics software, or control software for emergency generators at nuclear power plants. Software that's probably not overly sophisticated and doesn't need to be highly optimized, but does need to work ~100% correctly, ~100% of the time.
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
I tried out some features of machine learning models suggesting optimisations on code profiled by scalene and pretty much all of them would make the code less efficient, both time and memory wise. I am not worried. The devil is in the details and ML will not replace all of us anytime soon
This repository compares various python packages to extract text from PDF files
I ran across this "bake off" between PDF parsers and landed on pdfminer.six which is the best active fork of pdfminer I could find.
Recently I am having too much friction with the borrow checker... Would you recommend I rewrite the compiler in another language, or keep trying to implement it in rust?
1 project | /r/programmingcirclejerk | 27 Apr 2023
There is such thing called bugfree code.
1 project | /r/ProgrammerHumor | 23 Dec 2022
Proofs about Programs
1 project | news.ycombinator.com | 15 Dec 2022
Is "my version" of quick-sort incorrect?
1 project | /r/learnprogramming | 9 Nov 2022
What are some possible research questions on compiler construction
1 project | /r/Compilers | 2 Oct 2022