All
5+
10+
25+
50+
100+
< Prev
Next >
2
Are We Serious About Using TLA+ for Statistical Properties? (emptysqua.re)
3 months ago |
todsacerdoti
| emptysqua.re
|
newest
1
Secure by Design: Google's Perspective on Memory Safety (2024) [pdf] (storage.googleapis.com)
3 months ago |
todsacerdoti
| googleapis.com
|
newest
1
Lume 3 Was Released (lume.land)
3 months ago |
todsacerdoti
| lume.land
|
newest
19
Gimp to Discuss Changing Name (floss.social)
3 months ago |
todsacerdoti
| floss.social
|
frontpage
2
Introduction to Universal Scene Description (2021) (openusd.org)
3 months ago |
todsacerdoti
| openusd.org
|
frontpage
2
Testing sourcery.ai and GitHub Copilot for cockpit PR reviews (piware.de)
3 months ago |
todsacerdoti
| piware.de
|
newest
2
Bold linker v0.2.0 release – bold just got faster (github.com/kubkon)
3 months ago |
todsacerdoti
| github.com
|
frontpage
61
Slow software for a burning world (bonfirenetworks.org)
3 months ago |
todsacerdoti
| bonfirenetworks.org
|
best
1
Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (googleprojectzero.blogspot.com)
3 months ago |
todsacerdoti
| blogspot.com
|
newest
1
Spatial Data-Management (1979) [pdf] (media.mit.edu)
3 months ago |
todsacerdoti
| mit.edu
|
newest
9
Algebraic Effects: Another mistake carried through to perfection? (kjosib.github.io)
3 months ago |
todsacerdoti
| github.io
|
frontpage
1
Lix 2.93 "Bici Bici" (lix.systems)
3 months ago |
todsacerdoti
| lix.systems
|
newest
2
Joys and sorrows of designing a language [video] (youtube.com)
3 months ago |
todsacerdoti
| youtube.com
|
newest
4
Branchless Development (2015) (tedunangst.com)
3 months ago |
todsacerdoti
| tedunangst.com
|
newest
5
Ada in China (1994) (acm.org)
3 months ago |
todsacerdoti
| acm.org
|
frontpage
3
Run your own MCP servers for 1000s of APIs (pipedream.com)
3 months ago |
todsacerdoti
| pipedream.com
|
newest
1
Composition: The feature I've wanted in Flox since I joined the company (tinkering.xyz)
3 months ago |
todsacerdoti
| tinkering.xyz
|
newest
3
Write the most clever code you can (buttondown.com/hillelwayne)
3 months ago |
todsacerdoti
| buttondown.com
|
frontpage
4
WASM 2.0 Completed (webassembly.org)
3 months ago |
todsacerdoti
| webassembly.org
|
newest
1
Rusty Nu POSIX (mort.io)
3 months ago |
todsacerdoti
| mort.io
|
newest
1
Easy parsing with reasonable error messages in OCaml's Angstrom (dev.to)
3 months ago |
todsacerdoti
| dev.to
|
newest
5
Wikipedia legally challenges 'flawed' online safety rules (bbc.co.uk)
3 months ago |
todsacerdoti
| bbc.co.uk
|
frontpage
11
Implementing State Machines in PostgreSQL (2017) (felixge.de)
3 months ago |
todsacerdoti
| felixge.de
|
frontpage
2
$100K/day cloud bill isn't a Bug – it's by Design (reddit.com)
3 months ago |
todsacerdoti
| reddit.com
|
newest
2
Ivar: Ruby's Missing Instance Variable Typo Warnings (avdi.codes)
3 months ago |
todsacerdoti
| avdi.codes
|
newest
9
2.5D Rendering on PlayDate (ligeiagames.com)
3 months ago |
todsacerdoti
| ligeiagames.com
|
frontpage
3
Build your own ResponseWriter: safer HTTP in Go (anto.pt)
3 months ago |
todsacerdoti
| anto.pt
|
newest
3
PostgreSQL 18 Beta 1 Released (postgresql.org)
3 months ago |
todsacerdoti
| postgresql.org
|
newest
1
Spritely Oaken (spritely.institute)
3 months ago |
todsacerdoti
| spritely.institute
|
newest
3
Memory Safety Features in Zig (gencmurat.com)
3 months ago |
todsacerdoti
| gencmurat.com
|
frontpage
1
Anemll: Large Language Models for Apple Neural Engine (anemll.com)
3 months ago |
todsacerdoti
| anemll.com
|
newest
90
Pakistani firm shipped fentanyl analogs, scams to us (krebsonsecurity.com)
3 months ago |
todsacerdoti
| krebsonsecurity.com
|
best
22
How to Average in Prolog (2017) (storytotell.org)
3 months ago |
todsacerdoti
| storytotell.org
|
frontpage
1
Implement Your Language Twice (futhark-lang.org)
3 months ago |
todsacerdoti
| futhark-lang.org
|
newest
2
A Rust API Inspired by Python, Powered by Serde (ohadravid.github.io)
3 months ago |
todsacerdoti
| github.io
|
newest
2
Are 'CSS Carousels' Accessible? (sarasoueidan.com)
3 months ago |
todsacerdoti
| sarasoueidan.com
|
newest
1
Newtyped Indices Are Proofs (eikopf.bearblog.dev)
3 months ago |
todsacerdoti
| bearblog.dev
|
newest
12
Optimizing Common Lisp (fosskers.ca)
3 months ago |
todsacerdoti
| fosskers.ca
|
frontpage
1
Argo CD v3.0.0 (github.com/argoproj)
3 months ago |
todsacerdoti
| github.com
|
newest
1
Recreating an iOS Animation with GLSL (interactive tutorial) (nmattia.com)
3 months ago |
todsacerdoti
| nmattia.com
|
newest
1
"Vibe Coding" by Emergent Garden [video] (youtube.com)
3 months ago |
todsacerdoti
| youtube.com
|
newest
2
Glossary Web Component (dbushell.com)
3 months ago |
todsacerdoti
| dbushell.com
|
newest
3
Wikimedia Cloud VPS: IPv6 Support (wikimedia.org)
3 months ago |
todsacerdoti
| wikimedia.org
|
frontpage
1
How to build a fleet of networked offsite backups using Linux, WireGuard and rs (ounapuu.ee)
3 months ago |
todsacerdoti
| ounapuu.ee
|
newest
3
Performance Improvements in JDK 24 (inside.java)
3 months ago |
todsacerdoti
| inside.java
|
frontpage
1
Data Safety Levels Framework: The foundation of how we look at data in Block (cash.app)
3 months ago |
todsacerdoti
| cash.app
|
newest
1
Overengineering PR Create with Jj (crespo.business)
3 months ago |
todsacerdoti
| crespo.business
|
newest
5
The future of web development is AI. Get on or get left behind (alex.party)
3 months ago |
todsacerdoti
| alex.party
|
frontpage
1
Smaller, faster serialization for Ruby apps and beyond (oldmoe.blog)
3 months ago |
todsacerdoti
| oldmoe.blog
|
newest
2
V8 JavaScript engine gets eager compilation hints, but will devs use sparingly (devclass.com)
3 months ago |
todsacerdoti
| devclass.com
|
newest
1
Augmentation / Replacement (olano.dev)
3 months ago |
todsacerdoti
| olano.dev
|
newest
65
An appeal to companies doing AI (soatok.blog)
3 months ago |
todsacerdoti
| soatok.blog
|
frontpage
35
Helmdar: 3D Scanning Brooklyn on Rollerblades (owentrueblood.com)
3 months ago |
todsacerdoti
| owentrueblood.com
|
best
37
Typed Lisp, a Primer (alhassy.com)
3 months ago |
todsacerdoti
| alhassy.com
|
best
2
Debugging a Logic Circuit in IDP-Z3 (simonvandevelde.be)
3 months ago |
todsacerdoti
| simonvandevelde.be
|
frontpage
29
Feather: A Rust web framework that does not use async (github.com/bersisse)
3 months ago |
todsacerdoti
| github.com
|
frontpage
10
Stringly Typed (stefanjudis.com)
3 months ago |
todsacerdoti
| stefanjudis.com
|
frontpage
1
A site for making bots for the Fediverse (fedibot.club)
3 months ago |
todsacerdoti
| fedibot.club
|
newest
2
Filtering GitHub Actions by changed files (nedbatchelder.com)
3 months ago |
todsacerdoti
| nedbatchelder.com
|
newest
3
RFC 5081: Using OpenPGP Keys for Transport Layer Security (TLS) Authentication (rfc-editor.org)
3 months ago |
todsacerdoti
| rfc-editor.org
|
newest
3
New Go Garbage Collector (bsky.app)
3 months ago |
todsacerdoti
| bsky.app
|
newest
1
Kangaroo: A new flash cache optimized for tiny objects (2021) (fb.com)
3 months ago |
todsacerdoti
| fb.com
|
newest
12
Single day Firebase bill for $100k (serverlesshorrors.com)
3 months ago |
todsacerdoti
| serverlesshorrors.com
|
frontpage
1
Dying for Beauty (norbauer.com)
3 months ago |
todsacerdoti
| norbauer.com
|
newest
1
Wide Models and Active Record custom validation contexts (island94.org)
3 months ago |
todsacerdoti
| island94.org
|
newest
1
Refactoring Rhythm (choly.ca)
3 months ago |
todsacerdoti
| choly.ca
|
newest
9
Hello My Perverted Friend (hackerfactor.com)
3 months ago |
todsacerdoti
| hackerfactor.com
|
frontpage
107
Gorgeous-GRUB: collection of decent community-made GRUB themes (github.com/jacksaur)
3 months ago |
todsacerdoti
| github.com
|
best
1
A Better Man Page Viewer (visualmode.dev)
3 months ago |
todsacerdoti
| visualmode.dev
|
newest
16
Understanding-j: An introduction to the J programming language that gets to the (github.com/bugsbugsbux)
3 months ago |
todsacerdoti
| github.com
|
frontpage
2
Progressive Dehancement (dbushell.com)
3 months ago |
todsacerdoti
| dbushell.com
|
newest
2
A LoRa LoRa Faff (nicecupoftea.org)
3 months ago |
todsacerdoti
| nicecupoftea.org
|
newest
1
Jj Tips and Tricks (zerowidth.com)
3 months ago |
todsacerdoti
| zerowidth.com
|
newest
7
Circuitpainter: Create PCBs using a simplfiied graphics language (github.com/blinkinlabs)
3 months ago |
todsacerdoti
| github.com
|
frontpage
13
Stop treating `AGI' as the north-star goal of AI research (arxiv.org)
3 months ago |
todsacerdoti
| arxiv.org
|
frontpage
2
Progressive enhancement is a moral argument (2016) (archive.org)
3 months ago |
todsacerdoti
| archive.org
|
newest
3
Cross-Platform Software Development – Yes, Bytes Can Be 9 Bits (reddit.com)
3 months ago |
todsacerdoti
| reddit.com
|
newest
9
Kate and Python Language Server (akselmo.dev)
3 months ago |
todsacerdoti
| akselmo.dev
|
frontpage
1
Cross-Platform Software Development – Yes, Bytes Can Be 9 Bits (reddit.com)
3 months ago |
todsacerdoti
| reddit.com
|
newest
2
Adaptive Hashing (quotenil.com)
3 months ago |
todsacerdoti
| quotenil.com
|
frontpage
3
Prompt chaining reimagined with type inference (haskellforall.com)
3 months ago |
todsacerdoti
| haskellforall.com
|
frontpage
2
My tips on giving technical talks (marcusnoble.co.uk)
3 months ago |
todsacerdoti
| marcusnoble.co.uk
|
frontpage
1
Correct application of the Lanczos filter in 2D (github.com/pixelflinger)
3 months ago |
todsacerdoti
| github.com
|
newest
1
Core Unix Programs (wizardzines.com)
3 months ago |
todsacerdoti
| wizardzines.com
|
newest
67
xAI dev leaks API key for private SpaceX, Tesla LLMs (krebsonsecurity.com)
3 months ago |
todsacerdoti
| krebsonsecurity.com
|
best
3
Vibe Coding, Final Word (funcall.blogspot.com)
3 months ago |
todsacerdoti
| blogspot.com
|
newest
1
Cofi: Free and open-source coffee brew timer (github.com/rozpierog)
3 months ago |
todsacerdoti
| github.com
|
newest
2
Astro Linker Chrome Extension – A Fun Personal Project (thelinell.com)
3 months ago |
todsacerdoti
| thelinell.com
|
newest
2
Digital Dams That Don't Hold: Why Internet Censorship Fails as Technical Policy (maych.in)
3 months ago |
todsacerdoti
| maych.in
|
newest
2
Minidisc: Zero-config service discovery for Tailscale networks (github.com/mscheidegger)
3 months ago |
todsacerdoti
| github.com
|
newest
1
A Quick Demo of Core.async.flow (youtube.com)
3 months ago |
todsacerdoti
| youtube.com
|
newest
4
Easier Layout with Margin-Trim (webkit.org)
3 months ago |
todsacerdoti
| webkit.org
|
newest
6
Elm Test Distributions (janiczek.cz)
3 months ago |
todsacerdoti
| janiczek.cz
|
frontpage
1
Curing a Case of Git-UX (2022) (oppi.li)
3 months ago |
todsacerdoti
| oppi.li
|
newest
1
Understanding the recent criticism of the Chatbot Arena (simonwillison.net)
3 months ago |
todsacerdoti
| simonwillison.net
|
newest
81
Pwning the Ladybird Browser (jessie.cafe)
3 months ago |
todsacerdoti
| jessie.cafe
|
best
4
The Rise and Fall of Erlang at Ericsson AB (2023) (iknek.github.io)
4 months ago |
todsacerdoti
| github.io
|
newest
1
Alleged 'Scattered Spider' Member Extradited to U.S. (krebsonsecurity.com)
4 months ago |
todsacerdoti
| krebsonsecurity.com
|
newest
68
Linux Kernel Exploitation: Attack of the Vsock (hoefler.dev)
4 months ago |
todsacerdoti
| hoefler.dev
|
best
4
Future of OSL in Jeopardy (osuosl.org)
4 months ago |
todsacerdoti
| osuosl.org
|
newest
< Prev
Next >