All
5+
10+
25+
50+
100+
25
Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
8 hours ago |
SchwKatze
| fdsa-book.net
|
best
2
Why Strong Consistency? (brooker.co.za)
16 hours ago |
SchwKatze
| brooker.co.za
|
newest
3
Polar Signals is 70% faster by switching from Parquet to Vortex (polarsignals.com)
a day ago |
SchwKatze
| polarsignals.com
|
newest
2
What Now? Handling Errors in Large Systems (brooker.co.za)
5 days ago |
SchwKatze
| brooker.co.za
|
newest
2
Why Strong Consistency? (brooker.co.za)
a week ago |
SchwKatze
| brooker.co.za
|
newest
4
The Advent of Compiler Optimisations [video] (youtube.com)
a week ago |
SchwKatze
| youtube.com
|
newest
5
Wired: An underground HN alternative (jocadbz.xyz)
2 weeks ago |
SchwKatze
| jocadbz.xyz
|
newest
2
Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators (arxiv.org)
3 weeks ago |
SchwKatze
| arxiv.org
|
newest
17
Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
2 weeks ago |
SchwKatze
| xavierleroy.org
|
frontpage
3
The purported benefits of effect systems (typesanitizer.com)
3 weeks ago |
SchwKatze
| typesanitizer.com
|
best
2
Dioxus 0.7.0 (github.com/dioxuslabs)
3 weeks ago |
SchwKatze
| github.com
|
newest
2
A Complete Guide to Lock Convoys (davekilian.com)
4 weeks ago |
SchwKatze
| davekilian.com
|
newest
1
Context Switches (matklad.github.io)
a month ago |
SchwKatze
| github.io
|
newest
4
Building a programming language using SQLite's VM – Pt 1 (el-yawd.github.io)
a month ago |
SchwKatze
| github.io
|
newest
1
Are Jump Tables Always Fastest? (cipht.net)
a month ago |
SchwKatze
| cipht.net
|
newest
1
Let Maintainers Be Maintainers (graydon2.dreamwidth.org)
a month ago |
SchwKatze
| dreamwidth.org
|
newest
64
Building a message queue with only two UNIX signals (leandronsp.com)
a month ago |
SchwKatze
| leandronsp.com
|
best
6
Rust is renaming the default branch from master to main (rust-lang.org)
a month ago |
SchwKatze
| rust-lang.org
|
newest
2
Is Systems Research Just About Making Numbers Bigger? (brooker.co.za)
a month ago |
SchwKatze
| brooker.co.za
|
newest
2
Operable Software (ferd.ca)
a month ago |
SchwKatze
| ferd.ca
|
newest
34
Goiaba: An experimental Go compiler, written in Rust (github.com/raphamorim)
a month ago |
SchwKatze
| github.com
|
best
2
Anyblox: One data encoding to rule them all (github.com/anyblox)
a month ago |
SchwKatze
| github.com
|
newest
14
Using information theory to solve Mastermind (goranssongaspar.com)
3 months ago |
SchwKatze
| goranssongaspar.com
|
frontpage
3
A Complete Guide to LLVM for Programming Language Creators (mukulrathi.com)
3 months ago |
SchwKatze
| mukulrathi.com
|
newest
1
Deterministic Simulation Testing in Rust: A Theater of State Machines (polarsignals.com)
3 months ago |
SchwKatze
| polarsignals.com
|
newest
3
How Turso made connections to SQLite databases 575x faster (turso.tech)
4 months ago |
SchwKatze
| turso.tech
|
frontpage
3
Car Hacking: How to Hack Hazard Lights with Arduino and an MCP2515 (leandrobalta.github.io)
4 months ago |
SchwKatze
| github.io
|
newest
1
Optimized JITed and compiled Brainfuck, written in Rust (github.com/rodrigodd)
5 months ago |
SchwKatze
| github.com
|
newest
1
Compiling Brainfuck Code – Part 1: An Optimized Interpreter (rodrigodd.github.io)
5 months ago |
SchwKatze
| github.io
|
newest
1
Public Bet (el-yawd.github.io)
5 months ago |
SchwKatze
| github.io
|
newest
47
Career advice, or something like it (brooker.co.za)
5 months ago |
SchwKatze
| brooker.co.za
|
best
3
Extracting Router Firmware Using SMD Grippers (getuliovictor.github.io)
5 months ago |
SchwKatze
| github.io
|
frontpage
1
Good Performance for Bad Days (brooker.co.za)
6 months ago |
SchwKatze
| brooker.co.za
|
newest
1
Climbing trees 3: from trees to forests (mathpn.com)
6 months ago |
SchwKatze
| mathpn.com
|
newest
1
Climbing trees 2: implementing decision trees (mathpn.com)
6 months ago |
SchwKatze
| mathpn.com
|
newest
10
Climbing trees 1: what are decision trees? (mathpn.com)
6 months ago |
SchwKatze
| mathpn.com
|
frontpage
3
Limbo is almost 2x faster than SQLite (twitter.com/penberg)
7 months ago |
SchwKatze
| twitter.com
|
newest
1
Computer Learning Reading Materials (enhancedformysql.github.io)
7 months ago |
SchwKatze
| github.io
|
newest
1
A Pragmatic Analysis of an Overconnected Society (jocadbz.xyz)
8 months ago |
SchwKatze
| jocadbz.xyz
|
newest
0
How I learn any type of new technology (As a Senior Developer) (dev.to)
8 months ago |
SchwKatze
| dev.to
|
newest
1
Career advice for young system programmers (2023) (glaubercosta-11125.medium.com)
8 months ago |
SchwKatze
| medium.com
|
newest
9
Magic isn't real (pthorpe92.dev)
8 months ago |
SchwKatze
| pthorpe92.dev
|
frontpage
1
From Rust to TypeScript: A New Chapter for Prisma ORM (prisma.io)
10 months ago |
SchwKatze
| prisma.io
|
newest
1
Bridging Rust and Native Go (yuchanns.xyz)
10 months ago |
SchwKatze
| yuchanns.xyz
|
newest
12
Scalable OLTP in the Cloud: What's the Big Deal? (muratbuffalo.blogspot.com)
10 months ago |
SchwKatze
| blogspot.com
|
frontpage
3
Billion Taxi Rides with SQLite, Parquet and HDFS (marksblogg.com)
10 months ago |
SchwKatze
| marksblogg.com
|
newest
1
Stop Being a Junior (kentcdodds.com)
10 months ago |
SchwKatze
| kentcdodds.com
|
newest
1
Harper Spellchecking speed by 90% using FST (grantlemons.com)
10 months ago |
SchwKatze
| grantlemons.com
|
newest
1
The Essence of Information (2017) (endler.dev)
10 months ago |
SchwKatze
| endler.dev
|
newest
2
I Love Programming (2017) (endler.dev)
10 months ago |
SchwKatze
| endler.dev
|
newest
1
Follow the Hackers (endler.dev)
10 months ago |
SchwKatze
| endler.dev
|
newest
3
Bad Apple but it's 6,500 regular expressions in Vim (twitter.com/itseieio)
10 months ago |
SchwKatze
| twitter.com
|
frontpage
7
What is an invariant? (2023) (matklad.github.io)
10 months ago |
SchwKatze
| github.io
|
frontpage
11
CCL: Categorical Configuration Language (chshersh.com)
10 months ago |
SchwKatze
| chshersh.com
|
frontpage
1
Implementing end-to-end encryption for Dropbox teams (dropbox.tech)
11 months ago |
SchwKatze
| dropbox.tech
|
newest
1
INTELLLECT_1 Technical Report [pdf] (github.com/primeintellect-ai)
12 months ago |
SchwKatze
| github.com
|
newest
2
WebChat: Chat with Anyone on Any Website (github.com/molvqingtai)
a year ago |
SchwKatze
| github.com
|
newest
2
Durabit: A Bitcoin-Native Incentive Mechanism for Data Distribution [pdf] (github.com/4de67a207019fd4d855ef0a188b4...
a year ago |
SchwKatze
| github.com
|
newest
2
The Evolution of Trust (ncase.me)
a year ago |
SchwKatze
| ncase.me
|
newest
2
Safety and Liveness: Eventual Consistency Is Not Safe (bailis.org)
a year ago |
SchwKatze
| bailis.org
|
newest
1
Uncle Bob spawning in the Brazilian dev bubble to defend OOP (twitter.com/christopy_)
a year ago |
SchwKatze
| twitter.com
|
newest
1
Learnings from My First Freelance (diegoreis.me)
a year ago |
SchwKatze
| diegoreis.me
|
newest
4
Ask HN: Tips for a third-world JR Dev seeking international Job
a year ago |
SchwKatze
| ycombinator.com
|
newest
1
How to Model Leaderboards for 1M Player Game with ScyllaDB (scylladb.com)
a year ago |
SchwKatze
| scylladb.com
|
newest
3
X has 24 hours to act or will be suspended in Brazil (twitter.com/stf_oficial)
a year ago |
SchwKatze
| twitter.com
|
newest
32
DisTrO – a family of low latency distributed optimizers (github.com/nousresearch)
a year ago |
SchwKatze
| github.com
|
best