All
5+
10+
25+
50+
100+
< Prev
Next >
2
From unique to cleanups and weak: new low-level tools for efficiency (go.dev)
a month ago |
todsacerdoti
| go.dev
|
newest
2
Types as a Design Tool (interjectedfuture.com)
a month ago |
todsacerdoti
| interjectedfuture.com
|
newest
1
Xit Is Coming (radarroark.github.io)
a month ago |
todsacerdoti
| github.io
|
newest
2
The ZAnt Project (zigtinybook.github.io)
a month ago |
todsacerdoti
| github.io
|
newest
2
My changes to the default Phoenix boilerplate (mediremi.com)
a month ago |
todsacerdoti
| mediremi.com
|
newest
1
The Causal Testing Framework (theoj.org)
a month ago |
todsacerdoti
| theoj.org
|
newest
1
Testing Causality in Scientific Modelling Software [pdf] (arxiv.org)
a month ago |
todsacerdoti
| arxiv.org
|
newest
2
A good memory allocator in 200 lines of code (github.com/ziglang)
a month ago |
todsacerdoti
| github.com
|
frontpage
103
Git without a forge (greenend.org.uk)
a month ago |
todsacerdoti
| greenend.org.uk
|
best
1
Generality (alexgaynor.net)
a month ago |
todsacerdoti
| alexgaynor.net
|
newest
3
Basecamp release GitHub extension for offline CI signoff (github.com/basecamp)
a month ago |
todsacerdoti
| github.com
|
newest
1
Rocket Science of Simulation Testing – HYTRADBOI2025 (youtube.com)
a month ago |
todsacerdoti
| youtube.com
|
newest
1
Cross-platform floating-point determinism out of the box [video] (youtube.com)
a month ago |
todsacerdoti
| youtube.com
|
newest
73
Why “alias” is my last resort for aliases (evanhahn.com)
a month ago |
todsacerdoti
| evanhahn.com
|
frontpage
1
Floating Points and Boxes (toast.cafe)
a month ago |
todsacerdoti
| toast.cafe
|
newest
2
Bad Apple but it's SSH keys (5snb.club)
a month ago |
todsacerdoti
| 5snb.club
|
newest
1
A Plea for More Mikado – Software Engineering and Stuff (dmathieu.com)
a month ago |
todsacerdoti
| dmathieu.com
|
newest
1
Answer Set Programming 01 – Just the Facts (charmiq.ai)
a month ago |
todsacerdoti
| charmiq.ai
|
newest
5
Cobalt Networks CobaltOS: Proxmox Port (archive.org)
a month ago |
todsacerdoti
| archive.org
|
newest
2
Lean 4, Release v4.17.0 (github.com/leanprover)
a month ago |
todsacerdoti
| github.com
|
newest
2
Encoding Hangeul, Koreas writing system (brookjeynes.dev)
a month ago |
todsacerdoti
| brookjeynes.dev
|
frontpage
2
Miners on CI/CD pipelines for Drone/Gitlab servers with open registrations (manganiello.social)
a month ago |
todsacerdoti
| manganiello.social
|
newest
12
Rayhunter: A New Open-Source Tool from EFF to Detect Cellular Spying (eff.org)
a month ago |
todsacerdoti
| eff.org
|
frontpage
44
Solving SICP (lockywolf.wordpress.com)
a month ago |
todsacerdoti
| wordpress.com
|
best
9
Performance optimization, and how to do it wrong (genna.win)
a month ago |
todsacerdoti
| genna.win
|
frontpage
1
Triangle of Separation (thoughtbot.com)
a month ago |
todsacerdoti
| thoughtbot.com
|
newest
1
Performance Debugging with LLVM-mca: Simulating the CPU (johnnysswlab.com)
a month ago |
todsacerdoti
| johnnysswlab.com
|
newest
1
How to Test and Measure Content in UX (smashingmagazine.com)
a month ago |
todsacerdoti
| smashingmagazine.com
|
newest
1
Thaiger Sprint 2025: Starring H2O, the HTTP Server (& Dropping Nginx) (toast.al)
a month ago |
todsacerdoti
| toast.al
|
newest
1
TigerBeetle Architecture (github.com/tigerbeetle)
a month ago |
todsacerdoti
| github.com
|
newest
2
Building a Hand-Drawn Digit Recognizer with PyTorch and Mnist (zackproser.com)
a month ago |
todsacerdoti
| zackproser.com
|
newest
2
A case for feminism in programming language design (hytradboi.com)
a month ago |
todsacerdoti
| hytradboi.com
|
newest
3
Exploiting Python Pickles (davidhamann.de)
a month ago |
todsacerdoti
| davidhamann.de
|
frontpage
8
The Botfly Test: Characterizing parasitic automated behavior in online communit (hannahilea.com)
a month ago |
todsacerdoti
| hannahilea.com
|
frontpage
1
You Need Much Less Memory Than Time (computationalcomplexity.org)
a month ago |
todsacerdoti
| computationalcomplexity.org
|
newest
4
Use Firefox in 2025 (alexn.org)
a month ago |
todsacerdoti
| alexn.org
|
frontpage
4
VT220 Font Emulation in Browser (janiczek.cz)
a month ago |
todsacerdoti
| janiczek.cz
|
frontpage
1
(Haskell in Haskell) 2. Lexing – Cronokirby (cronokirby.com)
a month ago |
todsacerdoti
| cronokirby.com
|
frontpage
2
Polars' Rgonomic Patterns (emilyriederer.com)
a month ago |
todsacerdoti
| emilyriederer.com
|
newest
1
AI: Where in the Loop Should Humans Go? (honeycomb.io)
a month ago |
todsacerdoti
| honeycomb.io
|
newest
108
The power of interning: making a time series database smaller (gendignoux.com)
a month ago |
todsacerdoti
| gendignoux.com
|
best
1
Some things that make Rust lifetimes hard to learn (ntietz.com)
a month ago |
todsacerdoti
| ntietz.com
|
newest
1
Hateris – Obsession, Friendship, and World Records (corecursive.com)
a month ago |
todsacerdoti
| corecursive.com
|
newest
1
Ax, DX, and UX (jim-nielsen.com)
a month ago |
todsacerdoti
| jim-nielsen.com
|
newest
3
See Yourself, at Runtime (ryelang.org)
a month ago |
todsacerdoti
| ryelang.org
|
newest
2
Basic Awareness in Addition to Deep Understanding (openmymind.net)
a month ago |
todsacerdoti
| openmymind.net
|
newest
2
Illuminant – ActivityPub server with NNTP interface (koldfront.dk)
a month ago |
todsacerdoti
| koldfront.dk
|
newest
1
What to know about Mistral AI: The company behind the latest GPT-4 rival (zdnet.com)
a month ago |
todsacerdoti
| zdnet.com
|
newest
2
A Distributed Snowflake-Like ID Generator (siddharthsabron.in)
a month ago |
todsacerdoti
| siddharthsabron.in
|
newest
22
Alibaba Launches C930 RISC-V Chip Amid Shift from Western Tech (hpcwire.com)
a month ago |
todsacerdoti
| hpcwire.com
|
frontpage
43
Linux laptop maker called me a Zombie (thelibre.news)
a month ago |
todsacerdoti
| thelibre.news
|
best
1
When Nanoseconds Matter: Ultrafast Trading Systems in C++ [video] (youtube.com)
a month ago |
todsacerdoti
| youtube.com
|
newest
2
Principles for Package Repository Security (openssf.org)
a month ago |
todsacerdoti
| openssf.org
|
newest
11
Rackmounting that which should not be rackmounted (calbryant.uk)
a month ago |
todsacerdoti
| calbryant.uk
|
frontpage
1
Gguser – A Simple CLI to Manage Multiple Git Profiles (npmjs.com)
a month ago |
todsacerdoti
| npmjs.com
|
newest
1
Infrastructural problems and instabilities caused by cloud services (mental-reverb.com)
a month ago |
todsacerdoti
| mental-reverb.com
|
newest
2
Nginx Explorer – Upload (izissise.net)
a month ago |
todsacerdoti
| izissise.net
|
newest
4
Lisp in Your Language (danthedev.com)
a month ago |
todsacerdoti
| danthedev.com
|
frontpage
3
Hardware Discovery: ACPI and Device Tree (blogsystem5.substack.com)
a month ago |
todsacerdoti
| substack.com
|
newest
2
Is Rust a good fit for business apps? (bartoszsypytkowski.com)
a month ago |
todsacerdoti
| bartoszsypytkowski.com
|
newest
29
The cost of Go's panic and recover (jub0bs.com)
a month ago |
todsacerdoti
| jub0bs.com
|
best
2
Deno shows us there's a better way (macchaffee.com)
a month ago |
todsacerdoti
| macchaffee.com
|
frontpage
9
Notorious Malware, Spam Host "Prospero" Moves to Kaspersky Lab (krebsonsecurity.com)
a month ago |
todsacerdoti
| krebsonsecurity.com
|
frontpage
1
Let's Hold Hands (sonnet.io)
a month ago |
todsacerdoti
| sonnet.io
|
newest
1
Leader Election with S3 and If-Match (quanttype.net)
a month ago |
todsacerdoti
| quanttype.net
|
newest
2
Garnix Modules (garnix.io)
a month ago |
todsacerdoti
| garnix.io
|
newest
142
WASM Wayland Web (WWW) (joeyh.name)
a month ago |
todsacerdoti
| joeyh.name
|
best
4
Building Query Compilers [pdf] (uni-mannheim.de)
a month ago |
todsacerdoti
| uni-mannheim.de
|
frontpage
2
Show HN: Connect Proxy – 1000s of API integrations in your app or agent (pipedream.com)
a month ago |
todsacerdoti
| pipedream.com
|
newest
2
Streaming algorithms for embedding and computing edit distance in the low dista [pdf] (cuni.cz)
a month ago |
todsacerdoti
| cuni.cz
|
newest
1
Branded Types (learningtypescript.com)
a month ago |
todsacerdoti
| learningtypescript.com
|
newest
16
Accessing region-locked iOS features, such as EU app stores (downrightnifty.me)
a month ago |
todsacerdoti
| downrightnifty.me
|
frontpage
103
Goodbye K-9 Mail (cketti.de)
a month ago |
todsacerdoti
| cketti.de
|
best
4
What's New in Fish 4.0 (fishshell.com)
a month ago |
todsacerdoti
| fishshell.com
|
newest
2
Servo Security Findings and Solutions (servo.org)
a month ago |
todsacerdoti
| servo.org
|
newest
2
ARCO: The Smartest Way to Access Big Geospatial Data (lobelia.earth)
a month ago |
todsacerdoti
| lobelia.earth
|
newest
4
Why Are Jujutsu's ID Prefixes So Short? (jonathan-frere.com)
a month ago |
todsacerdoti
| jonathan-frere.com
|
frontpage
5
Git for Fansubbing: Probably a Mistake (redvice.org)
a month ago |
todsacerdoti
| redvice.org
|
newest
4
Testing Numbs Us to Our Loss of Intellectual Control (2020) (computer.org)
a month ago |
todsacerdoti
| computer.org
|
newest
9
We Designed TigerBeetle's Docs from Scratch (tigerbeetle.com)
a month ago |
todsacerdoti
| tigerbeetle.com
|
newest
1
The Pipe Operator in Generics Is Not a Sum Type (jerf.org)
a month ago |
todsacerdoti
| jerf.org
|
newest
1
Applying Purity to the Imperative World (jerf.org)
a month ago |
todsacerdoti
| jerf.org
|
newest
2
Compact normal forms and linear types = efficient network communication (2017) (tweag.io)
a month ago |
todsacerdoti
| tweag.io
|
newest
49
U.S. soldier charged in AT&T hack searched "can hacking be treason" (krebsonsecurity.com)
a month ago |
todsacerdoti
| krebsonsecurity.com
|
frontpage
1
GPU Mode Kernel Leaderboard (gpu-mode.github.io)
a month ago |
todsacerdoti
| github.io
|
newest
3
Tech and the Climate Crisis (macchaffee.com)
a month ago |
todsacerdoti
| macchaffee.com
|
newest
1
Socrates Is a State Machine (sminez.dev)
a month ago |
todsacerdoti
| sminez.dev
|
newest
2
There's no such thing as an isomorphic layout effect (smoores.dev)
a month ago |
todsacerdoti
| smoores.dev
|
newest
1
Generate a Markdown document of your codebase for AI (github.com/tesserato)
a month ago |
todsacerdoti
| github.com
|
newest
1
Snippets Everywhere on Windows with Autohotkey (elliotclyde.nz)
a month ago |
todsacerdoti
| elliotclyde.nz
|
newest
2
The Framework Desktop (frame.work)
a month ago |
todsacerdoti
| frame.work
|
newest
59
The need for memory safety standards (googleblog.com)
a month ago |
todsacerdoti
| googleblog.com
|
frontpage
1
Intent to Experiment for Longer (kizu.dev)
a month ago |
todsacerdoti
| kizu.dev
|
newest
1
Programming Is Simple Mathematics (bertrandmeyer.com)
a month ago |
todsacerdoti
| bertrandmeyer.com
|
newest
1
Standard proposal for memory-Safety in C (2024) [pdf] (open-std.org)
a month ago |
todsacerdoti
| open-std.org
|
frontpage
1
The bug that led to SimKube 2.0 (appliedcomputing.io)
a month ago |
todsacerdoti
| appliedcomputing.io
|
newest
16
Turbocharging V8 with mutable heap numbers · V8 (v8.dev)
a month ago |
todsacerdoti
| v8.dev
|
frontpage
1
Rust Edition 2024 Annotated (bertptrs.nl)
a month ago |
todsacerdoti
| bertptrs.nl
|
newest
1
ReScript: A Better Typed JavaScript? [video] (youtube.com)
a month ago |
todsacerdoti
| youtube.com
|
newest
1
Why Common Lisp (kingcons.io)
a month ago |
todsacerdoti
| kingcons.io
|
newest
< Prev
Next >