| 1. | | P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org) |
| 37 points by Davidbrcz 4 days ago | past | 5 comments |
|
| 2. | | Ask HN: What predictions for 2025 did come true? |
| 1 point by Davidbrcz 12 days ago | past | discuss |
|
| 3. | | Visions: Simulate the View of Visually-Impaireds (play.google.com) |
| 1 point by Davidbrcz 67 days ago | past |
|
| 4. | | Swiss voters back e-ID legislation (admin.ch) |
| 40 points by Davidbrcz 83 days ago | past | 59 comments |
|
| 5. | | Easy will always trump simple (surfingcomplexity.blog) |
| 5 points by Davidbrcz 4 months ago | past | 1 comment |
|
| 6. | | List of powerful concepts in 250 lines of code (pdubroy.github.io) |
| 3 points by Davidbrcz 7 months ago | past |
|
| 7. | | Shrinking a PDF (drgrizz.xyz) |
| 4 points by Davidbrcz 11 months ago | past |
|
| 8. | | How to Win at Coding Interviews (Video CppCon 2022 Lightning Talk)) (youtube.com) |
| 3 points by Davidbrcz 11 months ago | past |
|
| 9. | | Organizing and Managing Android Photo Storage (howtorecover.me) |
| 2 points by Davidbrcz on Oct 11, 2024 | past |
|
| 10. | | Printf Oriented Message Protocol (github.com/parrot-developers) |
| 106 points by Davidbrcz on Aug 13, 2024 | past | 42 comments |
|
| 11. | | Reko – A General Purpose Decompiler (github.com/uxmal) |
| 12 points by Davidbrcz on June 6, 2024 | past | 1 comment |
|
| 12. | | The trouble of separate module atexit-stacks (luke1410.de) |
| 2 points by Davidbrcz on May 7, 2024 | past |
|
| 13. | | LLM4Decompile: Decompiling Binary Code with LLM (github.com/albertan017) |
| 412 points by Davidbrcz on March 17, 2024 | past | 129 comments |
|
| 14. | | Lenia, a Generalization of Conway's Game of Life (chakazul.github.io) |
| 3 points by Davidbrcz on Jan 20, 2024 | past |
|
| 15. | | Dark Mode is not just about aesthetic (drgrizz.xyz) |
| 3 points by Davidbrcz on Jan 8, 2024 | past | 1 comment |
|
| 16. | | Propositional Satisfiability and SAT Solvers (aalto.fi) |
| 3 points by Davidbrcz on Jan 6, 2024 | past |
|
| 17. | | Pinafore: An Unusual Programming Language (semantic.org) |
| 4 points by Davidbrcz on Sept 26, 2023 | past |
|
| 18. | | DreamBerd is a perfect programming language (github.com/todepond) |
| 736 points by Davidbrcz on June 4, 2023 | past | 208 comments |
|
| 19. | | Avoid Temptation (might.net) |
| 33 points by Davidbrcz on Dec 6, 2022 | past | 5 comments |
|
| 20. | | How to Implement an LR(1) Parser (serokell.io) |
| 2 points by Davidbrcz on June 4, 2021 | past |
|
| 21. | | Collection of CMake code and snippets to expand its possibilities (github.com/stablecoder) |
| 2 points by Davidbrcz on May 21, 2019 | past |
|
| 22. | | Encyclopedia of things considered harmful (cat-v.org) |
| 1 point by Davidbrcz on Nov 23, 2018 | past |
|
| 23. | | A Little Taste of Dependent Types [video] (youtube.com) |
| 2 points by Davidbrcz on Oct 19, 2018 | past |
|
| 24. | | Understanding TypeScript's Structural Type System [video] (youtube.com) |
| 5 points by Davidbrcz on Oct 19, 2018 | past | 1 comment |
|
| 25. | | Read codexes from your favourite games (libraryofcodexes.com) |
| 1 point by Davidbrcz on Oct 7, 2018 | past |
|
| 26. | | ASTs with Fix and Free (chrispenner.ca) |
| 1 point by Davidbrcz on March 26, 2018 | past |
|
| 27. | | Basic Category Theory Terms (xanthir.com) |
| 2 points by Davidbrcz on March 8, 2018 | past |
|
| 28. | | A cake for your cherry: what should go in the C++ standard library? (hackernoon.com) |
| 4 points by Davidbrcz on Feb 23, 2018 | past | 1 comment |
|
| 29. | | Zsh-lovers – tips, tricks and examples for the Z shell (grml.org) |
| 4 points by Davidbrcz on Sept 24, 2017 | past |
|
| 30. | | C++ Coding Best Practices Repository (codergears.com) |
| 3 points by Davidbrcz on Sept 22, 2017 | past |
|
|
| More |
