1
Why TUIs are back
Terminal User Interfaces (TUIs) are making a comeback. DHH’s Omarchy is made of three types of user interfaces: TUIs, for immediate feedback and bonus geek poi…
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,234 personal
Visit wiki.alcidesfonseca.com → RSS feedOn Hacker News Sep 2009 – May 2026
Web & Frontend 1Tools & Productivity 1Software Engineering 1Programming Languages 1
2
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…