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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You