| 1. | | UX Design Research – reflections on the role of UX design in the age of AI (uxdesignresearch.org) |
| 2 points by kachnuv_ocasek 67 days ago | past |
|
| 2. | | Why Lean? (leodemoura.github.io) |
| 2 points by kachnuv_ocasek 6 months ago | past |
|
| 3. | | PyPSA 1.0 Is Here (pypsa.org) |
| 1 point by kachnuv_ocasek 11 months ago | past |
|
| 4. | | Algorithms for Decision Making (algorithmsbook.com) |
| 5 points by kachnuv_ocasek on Dec 31, 2024 | past |
|
| 5. | | Formalizing the proof of PFR in Lean4 using Blueprint (terrytao.wordpress.com) |
| 3 points by kachnuv_ocasek on Nov 20, 2023 | past |
|
| 6. | | Running a Membership Program: Four Years In (craigmod.com) |
| 2 points by kachnuv_ocasek on March 22, 2023 | past |
|
| 7. | | Functional Core, Imperative Shell (2012) (destroyallsoftware.com) |
| 137 points by kachnuv_ocasek on Feb 19, 2023 | past | 39 comments |
|
| 8. | | Unco – Undo Any Command (github.com/kazuho) |
| 1 point by kachnuv_ocasek on Jan 18, 2023 | past |
|
| 9. | | MicroPython officially becomes part of the Arduino ecosystem (arduino.cc) |
| 109 points by kachnuv_ocasek on Nov 21, 2022 | past | 33 comments |
|
| 10. | | Trojan Source – Invisible Source Code Vulnerabilities (trojansource.codes) |
| 3 points by kachnuv_ocasek on Nov 2, 2021 | past |
|
| 11. | | Five Stages of Accepting Constructive Mathematics (2017) (ams.org) |
| 2 points by kachnuv_ocasek on Aug 10, 2021 | past |
|
| 12. | | Compiler Podcast (redhat.com) |
| 3 points by kachnuv_ocasek on Aug 9, 2021 | past |
|
| 13. | | An informal survey of real-world communications failures (2014) (acm.org) |
| 19 points by kachnuv_ocasek on July 19, 2021 | past | 2 comments |
|
| 14. | | Containers under the Hood (linuxera.org) |
| 1 point by kachnuv_ocasek on May 14, 2021 | past |
|
| 15. | | The State of Enterprise Open Source (redhat.com) |
| 2 points by kachnuv_ocasek on March 24, 2021 | past |
|
| 16. | | Where Did Software Go Wrong? (jse.li) |
| 4 points by kachnuv_ocasek on June 12, 2020 | past |
|
| 17. | | K vs. Coq as Language Verification Frameworks (2019) (runtimeverification.com) |
| 2 points by kachnuv_ocasek on Feb 5, 2020 | past |
|
| 18. | | Histogram: You have to know the past to understand the present (tomasp.net) |
| 3 points by kachnuv_ocasek on Dec 25, 2019 | past |
|
| 19. | | Ethical Tech Giving Guide (fsf.org) |
| 12 points by kachnuv_ocasek on Nov 28, 2019 | past | 4 comments |
|
| 20. | | A Survey of Symbolic Execution Techniques (2018) (arxiv.org) |
| 117 points by kachnuv_ocasek on May 21, 2019 | past | 35 comments |
|
| 21. | | Modern SAT solvers: fast, neat and underused (codingnest.com) |
| 465 points by kachnuv_ocasek on May 19, 2019 | past | 118 comments |
|
| 22. | | RFC 8565: Hypertext Jeopardy Protocol (ietf.org) |
| 1 point by kachnuv_ocasek on April 14, 2019 | past |
|
| 23. | | A Survey of Symbolic Execution Techniques (2018) (arxiv.org) |
| 2 points by kachnuv_ocasek on May 30, 2018 | past |
|
| 24. | | Theories of Everything, Mapped (quantamagazine.org) |
| 4 points by kachnuv_ocasek on Dec 3, 2017 | past |
|
| 25. | | HoTTSQL – Formally proving SQL query rewrite rules correct (arxiv.org) |
| 1 point by kachnuv_ocasek on Aug 8, 2016 | past |
|
| 26. | | StyLit: Illumination-Guided Example-Based Stylization of 3D Renderings (cvut.cz) |
| 1 point by kachnuv_ocasek on June 23, 2016 | past |
|
| 27. | | Bandcamp, Downloads, Streaming, and the Inescapably Bright Future (bandcamp.com) |
| 1 point by kachnuv_ocasek on May 23, 2016 | past |
|
| 28. | | Graph Isomorphism in Quasipolynomial Time (arxiv.org) |
| 16 points by kachnuv_ocasek on Dec 14, 2015 | past |
|
| 29. | | Writing a Compiler by Proving It Correct (liamoc.net) |
| 139 points by kachnuv_ocasek on Nov 15, 2015 | past | 10 comments |
|
| 30. | | Monochrome Chess (1996) (wunderland.com) |
| 34 points by kachnuv_ocasek on Oct 7, 2015 | past | 4 comments |
|
|
| More |
