All
5+
10+
25+
50+
100+
< Prev
Next >
1
AI is a gamechanger for TLA+ users (buttondown.com/hillelwayne)
a month ago |
todsacerdoti
| buttondown.com
|
newest
2
APLearn: Machine Learning Library (github.com/bobmcdear)
a month ago |
todsacerdoti
| github.com
|
newest
1
Nvidia ISO-26262 Spark Process (nvidia.github.io)
a month ago |
todsacerdoti
| github.io
|
newest
73
DNS4EU for Public Is Available (joindns4.eu)
a month ago |
todsacerdoti
| joindns4.eu
|
best
1
Storing arbitrary data in Pokemon emerald (sardap.github.io)
a month ago |
todsacerdoti
| github.io
|
newest
6
I Think I'm Done Thinking About GenAI for Now (glyph.im)
a month ago |
todsacerdoti
| glyph.im
|
frontpage
2
Redesigned Swift.org is now live (swift.org)
a month ago |
todsacerdoti
| swift.org
|
newest
1
Gg: GG – GUI for JJ (github.com/gulbanana)
a month ago |
todsacerdoti
| github.com
|
newest
1
The Works of Peter Naur (naur.com)
a month ago |
todsacerdoti
| naur.com
|
newest
31
When memory was measured in kilobytes: The art of efficient vision (softwareheritage.org)
a month ago |
todsacerdoti
| softwareheritage.org
|
best
1
DejaGNU (2011) (airs.com)
a month ago |
todsacerdoti
| airs.com
|
newest
1
How Reladiff Works – A Journey Through the Challenges and Techniques of Data En (eshsoft.com)
a month ago |
todsacerdoti
| eshsoft.com
|
newest
1
Formalizing a proof in lean using GitHub Copilot and canonical (youtube.com)
a month ago |
todsacerdoti
| youtube.com
|
newest
4
Jujutsu v0.30.0 Released (github.com/jj-vcs)
a month ago |
todsacerdoti
| github.com
|
newest
2
No More Shading Languages: Compiling C++ to Vulkan Shaders [pdf] (xol.io)
a month ago |
todsacerdoti
| xol.io
|
newest
1
Red Language Reference Manual (iment.com)
a month ago |
todsacerdoti
| iment.com
|
newest
122
DiffX – Next-Generation Extensible Diff Format (diffx.org)
a month ago |
todsacerdoti
| diffx.org
|
best
1
Coding Through Chaos: Addiction, Recovery and Acceptance (corecursive.com)
a month ago |
todsacerdoti
| corecursive.com
|
newest
2
Chocolate-quake: A purist Quake source port (github.com/henrique194)
a month ago |
todsacerdoti
| github.com
|
newest
2
Things are different between system and application monitoring (utcc.utoronto.ca)
a month ago |
todsacerdoti
| utoronto.ca
|
newest
1
Zero-Cost 'Tagless Final' in Rust with GADT-Style Enums (inferara.com)
a month ago |
todsacerdoti
| inferara.com
|
newest
5
From Prometheus to RRDtool Graphs (isatty.net)
a month ago |
todsacerdoti
| isatty.net
|
frontpage
1
Building Industrial Strength Software Without Unit Tests (chrispenner.ca)
a month ago |
todsacerdoti
| chrispenner.ca
|
newest
3
Don't McBlock Me (schneems.com)
a month ago |
todsacerdoti
| schneems.com
|
newest
2
Where did <random> go wrong? [pdf] (codingnest.com)
a month ago |
todsacerdoti
| codingnest.com
|
newest
2
AI coding assistants destroy the virtue of laziness and possibly impatience too (slophole.net)
a month ago |
todsacerdoti
| slophole.net
|
newest
2
How to build a high-performance network fuzzer with LibAFL and libdesock (lolcads.github.io)
a month ago |
todsacerdoti
| github.io
|
newest
102
[dupe] Covert Web-to-App Tracking via Localhost on Android (localmess.github.io)
a month ago |
todsacerdoti
| github.io
|
best
3
Example of Splitting a PR (jefftk.com)
a month ago |
todsacerdoti
| jefftk.com
|
newest
1
Tpde: A fast framework for writing baseline compiler back-ends in C++ (github.com/tpde2)
a month ago |
todsacerdoti
| github.com
|
newest
1
What's higher-order about so-called higher-order references? (williamjbowman.com)
a month ago |
todsacerdoti
| williamjbowman.com
|
newest
40
GenAI Is Our Polyester (culture.ghost.io)
a month ago |
todsacerdoti
| ghost.io
|
frontpage
35
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
a month ago |
todsacerdoti
| mongodb.com
|
best
2
Tests should not contain logic (snork.dev)
a month ago |
todsacerdoti
| snork.dev
|
newest
1
Public/protected/private is an unnecessary feature (catern.com)
a month ago |
todsacerdoti
| catern.com
|
newest
1
GoDaddy Issues Certificates That Don't Work in Safari (Again) (sslmate.com)
a month ago |
todsacerdoti
| sslmate.com
|
newest
57
CVE 2025 31200 (noahhw.dev)
a month ago |
todsacerdoti
| noahhw.dev
|
best
2
Can a Chrome Extension Host a Terminal Emulator? (pomdtr.me)
a month ago |
todsacerdoti
| pomdtr.me
|
newest
1
WebAIM: Up and Coming ARIA (webaim.org)
a month ago |
todsacerdoti
| webaim.org
|
newest
2
WhisperD: Linux voice-to-text using OpenAI whisper-1 transcription (github.com/icholy)
a month ago |
todsacerdoti
| github.com
|
newest
18
Reducing Cargo target directory size with -Zno-embed-metadata (kobzol.github.io)
a month ago |
todsacerdoti
| github.io
|
frontpage
1
My idea of how a modern mailing service should work (utcc.utoronto.ca)
a month ago |
todsacerdoti
| utoronto.ca
|
newest
2
We Migrated 30 Kubernetes Clusters to Terraform (medium.com/learnings-from-the-paas)
a month ago |
todsacerdoti
| medium.com
|
newest
1
A tour of upcoming RFCs for the Hare programming language (harelang.org)
a month ago |
todsacerdoti
| harelang.org
|
newest
2
Hypervisors for Memory Introspection and Reverse Engineering (secret.club)
a month ago |
todsacerdoti
| secret.club
|
frontpage
34
Is It JavaScript? (jim-nielsen.com)
a month ago |
todsacerdoti
| jim-nielsen.com
|
frontpage
1
Wl-kbptr: Control the mouse pointer with the keyboard on Wayland (github.com/moverest)
2 months ago |
todsacerdoti
| github.com
|
newest
1
The 3D Gaussian Splatting Adventure: Past, Present, Future [video] (youtube.com)
2 months ago |
todsacerdoti
| youtube.com
|
newest
46
[dupe] How I like to install NixOS (declaratively) (stapelberg.ch)
2 months ago |
todsacerdoti
| stapelberg.ch
|
best
36
Structured Errors in Go (2022) (southcla.ws)
2 months ago |
todsacerdoti
| southcla.ws
|
best
29
Why Use Structured Errors in Rust Applications? (expurple.me)
2 months ago |
todsacerdoti
| expurple.me
|
frontpage
2
WebSockets guarantee order – so why are my messages scrambled? (sitongpeng.com)
2 months ago |
todsacerdoti
| sitongpeng.com
|
newest
8
Kees Cook Account Disabled (kernel.org)
3 months ago |
todsacerdoti
| kernel.org
|
frontpage
1
PunchCard Key Backup (volution.ro)
3 months ago |
todsacerdoti
| volution.ro
|
newest
1
Configure Your Git [video] (youtube.com)
3 months ago |
todsacerdoti
| youtube.com
|
newest
1
Half Spectre, Full Exploit: Hardening Rowhammer Attacks with Half-Spectre Gadge [pdf] (vusec.net)
3 months ago |
todsacerdoti
| vusec.net
|
newest
3
Standard Completions (standardcompletions.org)
3 months ago |
todsacerdoti
| standardcompletions.org
|
frontpage
1
FOSS Tools for Infrastructure Testing (bitfehler.srht.site)
3 months ago |
todsacerdoti
| srht.site
|
newest
17
Implementing a Forth (ratfactor.com)
a month ago |
todsacerdoti
| ratfactor.com
|
best
41
Simpler Backoff (commaok.xyz)
3 months ago |
todsacerdoti
| commaok.xyz
|
best
1
C++ to Rust Phrasebook (brown.edu)
3 months ago |
todsacerdoti
| brown.edu
|
newest
1
Interactive Development (lambdaisland.com)
3 months ago |
todsacerdoti
| lambdaisland.com
|
newest
5
What Is Racket Doing? (defn.io)
3 months ago |
todsacerdoti
| defn.io
|
newest
5
The Book of Shen (shenlanguage.org)
3 months ago |
todsacerdoti
| shenlanguage.org
|
newest
1
Programming Beyond Practices [pdf] (skillstopractice.com)
3 months ago |
todsacerdoti
| skillstopractice.com
|
newest
1
Refactored in prison (youtube.com)
3 months ago |
todsacerdoti
| youtube.com
|
newest
3
Using MCP Servers with Authentication (agno.com)
3 months ago |
todsacerdoti
| agno.com
|
newest
2
Types and other techniques as an accessibility tool for the ADHD brain [video] (youtube.com)
3 months ago |
todsacerdoti
| youtube.com
|
newest
1
ICU4X 2.0 Released (unicode.org)
3 months ago |
todsacerdoti
| unicode.org
|
newest
1
A Poor Man's Types (snork.dev)
3 months ago |
todsacerdoti
| snork.dev
|
newest
2
Three Level Summary: Neural Radiance Fields vs. 3D Gaussian Splatting (edwardahn.me)
3 months ago |
todsacerdoti
| edwardahn.me
|
newest
3
Domain/OS Design Principles (1989) [pdf] (bitsavers.org)
3 months ago |
todsacerdoti
| bitsavers.org
|
frontpage
2
The-One-True-Lisp-Style-Guide (github.com/foxsae)
3 months ago |
todsacerdoti
| github.com
|
frontpage
87
U.S. sanctions cloud provider 'Funnull' as top source of 'pig butchering' scams (krebsonsecurity.com)
3 months ago |
todsacerdoti
| krebsonsecurity.com
|
best
3
Revisiting Loop Recognition in C++ in Rust (blomqu.ist)
3 months ago |
todsacerdoti
| blomqu.ist
|
frontpage
1
Grog: The mono-repo build tool for the grug-brained dev (grog.build)
3 months ago |
todsacerdoti
| grog.build
|
newest
1
Instacart Built a Modern Search Infrastructure on Postgres (instacart.com)
3 months ago |
todsacerdoti
| instacart.com
|
newest
24
Net-Negative Cursor (lukasatkinson.de)
3 months ago |
todsacerdoti
| lukasatkinson.de
|
frontpage
4
Which New Language Should I Learn for Web Development? (mtlynch.io)
3 months ago |
todsacerdoti
| mtlynch.io
|
frontpage
2
Making openat(2) and friends more useful in practice (undeadly.org)
3 months ago |
todsacerdoti
| undeadly.org
|
newest
1
How to do some magic with indexedDB (2014) (codeproject.com)
3 months ago |
todsacerdoti
| codeproject.com
|
newest
1
The Coming AI Revolution in Distributed Systems (zfhuang99.github.io)
3 months ago |
todsacerdoti
| github.io
|
newest
4
A Break from Programming Languages (lexi-lambda.github.io)
3 months ago |
todsacerdoti
| github.io
|
frontpage
3
We rewrote large parts of our API in Go using AI (turso.tech)
3 months ago |
todsacerdoti
| turso.tech
|
newest
2
The case for using a web browser as your terminal (pomdtr.me)
3 months ago |
todsacerdoti
| pomdtr.me
|
newest
2
Why Your AI Coding Assistant Keeps Doing It Wrong, and How to Fix It (thepete.net)
3 months ago |
todsacerdoti
| thepete.net
|
newest
1
First version of Elicitation to the MCP draft specification (modelcontextprotocol.io)
3 months ago |
todsacerdoti
| modelcontextprotocol.io
|
newest
1
François-René Rideau: Orthogonal Persistence, the Model [video] (youtube.com)
3 months ago |
todsacerdoti
| youtube.com
|
newest
1
Golden File Testing (matttproud.com)
3 months ago |
todsacerdoti
| matttproud.com
|
newest
2
Helonium's Hartree-Fock Program (panadestein.github.io)
3 months ago |
todsacerdoti
| github.io
|
newest
1
Ways JavaScript Frameworks Render the DOM [video] (youtube.com)
3 months ago |
todsacerdoti
| youtube.com
|
newest
1
Workflows for AI Coding (anniecherkaev.com)
3 months ago |
todsacerdoti
| anniecherkaev.com
|
newest
2
Zero-overhead checks with fake stack overflows (bernsteinbear.com)
3 months ago |
todsacerdoti
| bernsteinbear.com
|
frontpage
1
Link Text Automation in Sphinx (technicalwriting.dev)
3 months ago |
todsacerdoti
| technicalwriting.dev
|
newest
1
Performance of ES6 features relative to the ES5 baseline operations per second (incaseofstairs.com)
3 months ago |
todsacerdoti
| incaseofstairs.com
|
newest
3
LispOS Archives (tunes.org)
3 months ago |
todsacerdoti
| tunes.org
|
newest
10
Ray Tracing in J (nprescott.com)
3 months ago |
todsacerdoti
| nprescott.com
|
best
1
Linux Mount Namespaces and Persistence (jmtd.net)
3 months ago |
todsacerdoti
| jmtd.net
|
newest
89
Compiling a neural net to C for a speedup (slightknack.dev)
3 months ago |
todsacerdoti
| slightknack.dev
|
best
1
Pipedream Gave Lleverage the Fast Lane to SaaS Integration Coverage (pipedream.com)
3 months ago |
todsacerdoti
| pipedream.com
|
newest
< Prev
Next >