HN Explorer

kachnuv_ocasek

↗ HN profile [ 76.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Why Lean? (leodemoura.github.io)
    2 points 0
  2. PyPSA 1.0 Is Here (docs.pypsa.org)
    1 points 0
  3. Algorithms for Decision Making (algorithmsbook.com)
    5 points 0
  4. Formalizing the proof of PFR in Lean4 using Blueprint (terrytao.wordpress.com)
    3 points 0
  5. Running a Membership Program: Four Years In (craigmod.com)
    2 points 0
  6. Functional Core, Imperative Shell (2012) (destroyallsoftware.com)
    137 points 40
  7. Unco – Undo Any Command (github.com)
    1 points 0
  8. MicroPython officially becomes part of the Arduino ecosystem (blog.arduino.cc)
    109 points 35
  9. Trojan Source – Invisible Source Code Vulnerabilities (trojansource.codes)
    3 points 0
  10. Five Stages of Accepting Constructive Mathematics (2017) (ams.org)
    2 points 0
  11. Compiler Podcast (redhat.com)
    3 points 0
  12. An informal survey of real-world communications failures (2014) (queue.acm.org)
    19 points 2
  13. Containers under the Hood (linuxera.org)
    1 points 0
  14. The State of Enterprise Open Source (redhat.com)
    2 points 0
  15. Where Did Software Go Wrong? (blog.jse.li)
    4 points 0
  16. K vs. Coq as Language Verification Frameworks (2019) (runtimeverification.com)
    2 points 0
  17. Histogram: You have to know the past to understand the present (tomasp.net)
    3 points 0
  18. Ethical Tech Giving Guide (fsf.org)
    12 points 4
  19. A Survey of Symbolic Execution Techniques (2018) (arxiv.org)
    117 points 40
  20. Modern SAT solvers: fast, neat and underused (codingnest.com)
    465 points 120
  21. RFC 8565: Hypertext Jeopardy Protocol (tools.ietf.org)
    1 points 0
  22. A Survey of Symbolic Execution Techniques (2018) (arxiv.org)
    2 points 0
  23. Theories of Everything, Mapped (quantamagazine.org)
    4 points 0
  24. HoTTSQL – Formally proving SQL query rewrite rules correct (arxiv.org)
    1 points 0
  25. StyLit: Illumination-Guided Example-Based Stylization of 3D Renderings (dcgi.fel.cvut.cz)
    1 points 0