1
Writing a compiler in Python using Lex, Yacc and LLVM
I found a good post on how to build your own toy compiler using Flex, Bison and LLVM. I saw one disadvantage right in the beginning: you had to use C++. If I w…
Alcides Fonseca
There have been several recent announcements about formal verification of software and hardware, both using AI and for AI systems:
- Popular posts
- 2
- Total points
- 492
- HN comments
- 463
- Rank
- #5,235 personal
Visit wiki.alcidesfonseca.com → RSS feedOn Hacker News Sep 2009 – May 2026
Web & Frontend 1Tools & Productivity 1Software Engineering 1Programming Languages 1