HNHacker News
TopNewBestAskShowJobs

henrikhorluck

145 karma · joined January 13, 2020

submissionscomments

AI Lattice Proofs with Chris Peikert

securitycryptographywhatever.com·1 pts·henrikhorluck·
0

DuckLake v1.0

ducklake.select·22 pts·henrikhorluck·
4

Announcing DuckDB 1.5.2

duckdb.org·1 pts·henrikhorluck·
0

CCBench

ccbench.org·1 pts·henrikhorluck·
0

Go proposal: Type-safe error checking

antonz.org·6 pts·henrikhorluck·
1

Marimo launches VS Code and Cursor extensions

marimo.io·3 pts·henrikhorluck·
1

Breaking the Million-Token Barrier

techcommunity.microsoft.com·3 pts·henrikhorluck·
0

Python steering council accepts lazy imports

lwn.net·7 pts·henrikhorluck·
0

JSON evolution in Go: from v1 to v2

antonz.org·5 pts·henrikhorluck·
0

(On | No) Syntactic Support for Error Handling

go.dev·416 pts·henrikhorluck·
579

Arrow IPC Support in DuckDB

duckdb.org·4 pts·henrikhorluck·
0

Subnanosecond flash memory enabled by 2D-enhanced hot-carrier injection

nature.com·3 pts·henrikhorluck·
0

Poetry 2.0.0

python-poetry.org·7 pts·henrikhorluck·
0

Architectural Styles and the Design of Network-Based Software Architectures

ics.uci.edu·2 pts·henrikhorluck·
0

David Tolnay on the "RustConf Keynote Fiasco"

gist.github.com·45 pts·henrikhorluck·
97

MARV Robotics: A ROS Data Management Platform

ternaris.com·1 pts·henrikhorluck·
1