HNHacker News
TopNewBestAskShowJobs

kachnuv_ocasek

2,188 karma · joined November 25, 2010

A Ptáčeḳ
submissionscomments

UX Design Research – reflections on the role of UX design in the age of AI

uxdesignresearch.org·2 pts·kachnuv_ocasek·
0

Why Lean?

leodemoura.github.io·2 pts·kachnuv_ocasek·
0

PyPSA 1.0 Is Here

docs.pypsa.org·1 pts·kachnuv_ocasek·
0

Algorithms for Decision Making

algorithmsbook.com·5 pts·kachnuv_ocasek·
0

Formalizing the proof of PFR in Lean4 using Blueprint

terrytao.wordpress.com·3 pts·kachnuv_ocasek·
0

Running a Membership Program: Four Years In

craigmod.com·2 pts·kachnuv_ocasek·
0

Functional Core, Imperative Shell (2012)

destroyallsoftware.com·137 pts·kachnuv_ocasek·
39

Unco – Undo Any Command

github.com·1 pts·kachnuv_ocasek·
0

MicroPython officially becomes part of the Arduino ecosystem

blog.arduino.cc·109 pts·kachnuv_ocasek·
33

Trojan Source – Invisible Source Code Vulnerabilities

trojansource.codes·3 pts·kachnuv_ocasek·
0

Five Stages of Accepting Constructive Mathematics (2017)

ams.org·2 pts·kachnuv_ocasek·
0

Compiler Podcast

redhat.com·3 pts·kachnuv_ocasek·
0

An informal survey of real-world communications failures (2014)

queue.acm.org·19 pts·kachnuv_ocasek·
2

Containers under the Hood

linuxera.org·1 pts·kachnuv_ocasek·
0

The State of Enterprise Open Source

redhat.com·2 pts·kachnuv_ocasek·
0

Where Did Software Go Wrong?

blog.jse.li·4 pts·kachnuv_ocasek·
0

K vs. Coq as Language Verification Frameworks (2019)

runtimeverification.com·2 pts·kachnuv_ocasek·
0

Histogram: You have to know the past to understand the present

tomasp.net·3 pts·kachnuv_ocasek·
0

Ethical Tech Giving Guide

fsf.org·12 pts·kachnuv_ocasek·
4

A Survey of Symbolic Execution Techniques (2018)

arxiv.org·117 pts·kachnuv_ocasek·
35

Modern SAT solvers: fast, neat and underused

codingnest.com·465 pts·kachnuv_ocasek·
118

RFC 8565: Hypertext Jeopardy Protocol

tools.ietf.org·1 pts·kachnuv_ocasek·
0

A Survey of Symbolic Execution Techniques (2018)

arxiv.org·2 pts·kachnuv_ocasek·
0

Theories of Everything, Mapped

quantamagazine.org·4 pts·kachnuv_ocasek·
0

HoTTSQL – Formally proving SQL query rewrite rules correct

arxiv.org·1 pts·kachnuv_ocasek·
0

StyLit: Illumination-Guided Example-Based Stylization of 3D Renderings

dcgi.fel.cvut.cz·1 pts·kachnuv_ocasek·
0

Bandcamp, Downloads, Streaming, and the Inescapably Bright Future

blog.bandcamp.com·1 pts·kachnuv_ocasek·
0

Graph Isomorphism in Quasipolynomial Time

arxiv.org·16 pts·kachnuv_ocasek·
0

Writing a Compiler by Proving It Correct

liamoc.net·139 pts·kachnuv_ocasek·
10

Monochrome Chess (1996)

wunderland.com·34 pts·kachnuv_ocasek·
4
Page 1 of 3Next →