| 1. | | Revisiting an early critique of formal verification (lawrencecpaulson.github.io) |
| 2 points by scscsc 8 months ago | past |
|
| 2. | | Whole Earth Index (wholeearth.info) |
| 3 points by scscsc on Oct 14, 2023 | past | 1 comment |
|
| 3. | | Pedagogical Downsides of Haskell (ciobaca.substack.com) |
| 74 points by scscsc on April 12, 2023 | past | 110 comments |
|
| 4. | | Program Proofs (Book) (program-proofs.com) |
| 1 point by scscsc on Feb 27, 2023 | past |
|
| 5. | | Adding Interactive Visual Syntax to Textual Code (arxiv.org) |
| 2 points by scscsc on Oct 28, 2020 | past |
|
| 6. | | How to Design for the Modern Web (Satire) (medium.com/s) |
| 11 points by scscsc on April 3, 2019 | past | 2 comments |
|
| 7. | | Availability of Java SE 8 updates for personal use in question after 2020 (java.com) |
| 1 point by scscsc on Oct 20, 2018 | past | 1 comment |
|
| 8. | | [pdf] If You’re Not Writing a Program, Don’t Use a Programming Language (eatcs.org) |
| 2 points by scscsc on July 10, 2018 | past | 1 comment |
|
| 9. | | Computer Math Proof Shows Reasoning Power (1996) (nytimes.com) |
| 1 point by scscsc on Nov 24, 2017 | past |
|
| 10. | | In Romania, Vestiges of Communism Boost Women in Tech (vice.com) |
| 3 points by scscsc on April 21, 2016 | past |
|
| 11. | | Scooterson – lightweight electric scooter (scooterson.com) |
| 2 points by scscsc on Oct 29, 2015 | past |
|
| 12. | | Glider goes missing in Romania, is not found despite massive mobilization (romaniajournal.ro) |
| 1 point by scscsc on Aug 12, 2015 | past |
|
| 13. | | Immediate Mode GUIs (mollyrocket.com) |
| 1 point by scscsc on Feb 11, 2015 | past |
|
| 14. | | Curiosity – explore the web's best learning videos (curiosity.com) |
| 3 points by scscsc on Feb 7, 2015 | past |
|
| 15. | | SAT solving – An alternative to brute force Bitcoin mining (2013) (jheusser.github.io) |
| 74 points by scscsc on Oct 2, 2014 | past | 26 comments |
|
| 16. | | Understanding 3-way merges (trumpi.co.za) |
| 4 points by scscsc on Sept 13, 2014 | past |
|
| 17. | | Why Go Camping? (contributors.ro) |
| 2 points by scscsc on July 14, 2013 | past |
|
| 18. | | Earn money when travelling (worksurfers.co) |
| 1 point by scscsc on Jan 28, 2013 | past |
|
| 19. | | Ask HN: What payment options do I have for starting up? |
| 1 point by scscsc on Nov 30, 2012 | past |
|
| 20. | | Why Pascal is Not My Favorite Programming Language (liu.se) |
| 2 points by scscsc on Jan 3, 2012 | past | 1 comment |
|
| 21. | | Unify Type Classes and GADTs (lambda-the-ultimate.org) |
| 1 point by scscsc on Dec 22, 2011 | past |
|
| 22. | | PLT Redex: a DSL for operational semantics (plt-scheme.org) |
| 2 points by scscsc on Nov 30, 2011 | past |
|
| 23. | | History of OCaml (inria.fr) |
| 2 points by scscsc on Nov 27, 2011 | past |
|
| 24. | | Functory: Parallel/distributed computing library for Objective Caml (lri.fr) |
| 14 points by scscsc on Nov 25, 2011 | past |
|
| 25. | | A memory gotcha in C++ (nothingintoinsight.blogspot.com) |
| 8 points by scscsc on March 25, 2011 | past |
|
| 26. | | What happended to the punchcard operators? |
| 1 point by scscsc on Oct 30, 2009 | past |
|
| 27. | | Ask PG: Is voting on HN anonymous? |
| 17 points by scscsc on July 18, 2009 | past | 21 comments |
|
| 28. | | The software community has rejected the best research in compilers/languages (acm.org) |
| 6 points by scscsc on July 5, 2009 | past | 7 comments |
|
| 29. | | Ask HN: How do you decide if you buy insurance on goods? |
| 4 points by scscsc on June 25, 2009 | past | 3 comments |
|
| 30. | | Where is USENET? |
| 21 points by scscsc on June 21, 2009 | past | 17 comments |
|
