< Prev Next >
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
1
Zlib-rs is faster than C – Trifecta Tech Foundation (trifectatech.org)
a month ago | todsacerdoti | trifectatech.org | newest
3
Mixing Up Public and Private Keys in OpenID Connect Deployments (hboeck.de)
a month ago | todsacerdoti | hboeck.de | frontpage
1
Testing Types in TypeScript (2ality.com)
a month ago | todsacerdoti | 2ality.com | newest
2
The future of fast code: giving hardware what it wants [video] (youtube.com)
a month ago | todsacerdoti | youtube.com | newest
1
Interprocedural sparse conditional type propagation (railsatscale.com)
a month ago | todsacerdoti | railsatscale.com | newest
4
Fullstack-Bench (convex.dev)
a month ago | todsacerdoti | convex.dev | newest
1
Tech Hype Cycles (alopex.li)
a month ago | todsacerdoti | alopex.li | newest
1
CVEs for End of Life? (opensourcesecurity.io)
a month ago | todsacerdoti | opensourcesecurity.io | newest
1
Comparing Strings as Integers with BitCast (openmymind.net)
a month ago | todsacerdoti | openmymind.net | newest
1
Mindbody improved query latency and optimized costs using Amazon Aurora Pos (amazon.com)
a month ago | todsacerdoti | amazon.com | newest
1
Why do frame pointers matter for OCaml? (lambdafoo.com)
a month ago | todsacerdoti | lambdafoo.com | frontpage
1
The Evolution of Agile Imposters: Why We Can't Estimate Our Own Software (junglecoder.com)
a month ago | todsacerdoti | junglecoder.com | newest
1
ICanProveItCanSort (unnamed.website)
a month ago | todsacerdoti | unnamed.website | newest
17
The DOS 3.3 sys.com bug hunt (brutman.com)
a month ago | todsacerdoti | brutman.com | frontpage
2
Explaining an apparent 17:1 female to male population question during the Neoli (sciencealert.com)
a month ago | todsacerdoti | sciencealert.com | frontpage
46
Defragging my old Dell's UEFI NVRAM (artemis.sh)
a month ago | todsacerdoti | artemis.sh | best
24
Trump 2.0 Brings Cuts to Cyber, Consumer Protections (krebsonsecurity.com)
a month ago | todsacerdoti | krebsonsecurity.com | frontpage
14
Emacs 30.1 Released (lists.gnu.org)
a month ago | todsacerdoti | gnu.org | frontpage
3
Three questions about Apple, encryption, and the U.K (cryptographyengineering.com)
a month ago | todsacerdoti | cryptographyengineering.com | newest
2
Calling private methods without losing sleep at night (searls.co)
a month ago | todsacerdoti | searls.co | newest
45
Why are QR Codes with capital letters smaller than QR codes with lower case? (shkspr.mobi)
a month ago | todsacerdoti | shkspr.mobi | best
51
Vine: A programming language based on Interaction Nets (vine.dev)
a month ago | todsacerdoti | vine.dev | best
3
Scrap Your ORM–Replacing Your ORM with Relational Algebra (youtube.com)
a month ago | todsacerdoti | youtube.com | frontpage
109
The $1.5B Bybit Hack (trailofbits.com)
a month ago | todsacerdoti | trailofbits.com | best
2
Bookmarklets (and Custom URL Schemes) Are Criminally Underrated (silly.business)
a month ago | todsacerdoti | silly.business | newest
1
Solving the JIT Calculator Challenge (ochagavia.nl)
a month ago | todsacerdoti | ochagavia.nl | newest
3
SystemV filesystem being removed from the Linux kernel (phoronix.com)
a month ago | todsacerdoti | phoronix.com | frontpage
1
Making a Datalog Engine in Clojure (shagunagrawal.me)
a month ago | todsacerdoti | shagunagrawal.me | newest
2
Ring Is Unmaintained (rustsec.org)
a month ago | todsacerdoti | rustsec.org | newest
2
Notes on code walking kubelet initialization (samof76.space)
a month ago | todsacerdoti | samof76.space | newest
2
Invoker Commands (Explainer) (open-ui.org)
a month ago | todsacerdoti | open-ui.org | frontpage
2
Nyx Space and Rust Power Firefly's Blue Ghost Lunar Landing (nyxspace.com)
a month ago | todsacerdoti | nyxspace.com | newest
2
NixOS: The Power of VM Tests (bmcgee.ie)
a month ago | todsacerdoti | bmcgee.ie | newest
1
Technologies That Didn't: CLNS (rule11.tech)
a month ago | todsacerdoti | rule11.tech | newest
1
Open letter to browser and OS makers (medium.com/boblord)
a month ago | todsacerdoti | medium.com | newest
2
GDScript Notes (alopex.li)
a month ago | todsacerdoti | alopex.li | newest
1
Neut Programming Language (vekatze.github.io)
a month ago | todsacerdoti | github.io | newest
1
Quint Deserves Rust (informal.systems)
a month ago | todsacerdoti | informal.systems | newest
1
Stack Auth Updates #4: Vanilla JavaScript library and more (stack-auth.beehiiv.com)
a month ago | todsacerdoti | beehiiv.com | newest
176
Docker limits unauthenticated pulls to 10/HR/IP from Docker Hub, from March 1 (docker.com)
a month ago | todsacerdoti | docker.com | best
2
Hello, Policy Gradient (kirkroerig.com)
a month ago | todsacerdoti | kirkroerig.com | newest
1
Subcutanean: Source Code Release (textories.com)
a month ago | todsacerdoti | textories.com | newest
3
What is wrong with the architecture of the Internet? (ouroboros.rocks)
a month ago | todsacerdoti | ouroboros.rocks | newest
1
A new interpreter in Python 3.14 delivers a free speed boost (infoworld.com)
a month ago | todsacerdoti | infoworld.com | newest
2
Meshtastic: Decentralized communication with low-power devices (lwn.net)
a month ago | todsacerdoti | lwn.net | frontpage
11
The Raspberry Pi RP2040 Gets a Surprise Speed Boost, Unlocks an Official 200MHz (hackster.io)
a month ago | todsacerdoti | hackster.io | frontpage
5
Demystifying monads in Rust through property-based testing (sunshowers.io)
a month ago | todsacerdoti | sunshowers.io | frontpage
52
Build your own SQLite in Rust, Part 5: Evaluating queries (sylver.dev)
a month ago | todsacerdoti | sylver.dev | best
2
Practical Alloy: A hands-on guide to formal software design (practicalalloy.github.io)
a month ago | todsacerdoti | github.io | newest
1
GymTok: Breaking TLS Using the Alt-Svc Header (pspaul.de)
a month ago | todsacerdoti | pspaul.de | newest
1
So you want better debug info? (walnut356.github.io)
a month ago | todsacerdoti | github.io | newest
2
Multiple Vulnerabilities in U-Boot (openwall.com)
a month ago | todsacerdoti | openwall.com | newest
4
An open source FPGA toolchain for a large European space-grade FPGA (yosyshq.com)
a month ago | todsacerdoti | yosyshq.com | newest
2
Being a Happy Nixer on a Mac (paretosecurity.com)
a month ago | todsacerdoti | paretosecurity.com | newest
2
The Pain of Linear Types in Rust (2017) (faultlore.com)
a month ago | todsacerdoti | faultlore.com | newest
9
Where are all the rewrite rules? (philipzucker.com)
a month ago | todsacerdoti | philipzucker.com | frontpage
4
Russian phishing campaigns exploit Signal's device-linking feature (bleepingcomputer.com)
a month ago | todsacerdoti | bleepingcomputer.com | frontpage
1
Proposal: Starting tasks synchronously from caller context (github.com/ktoso)
a month ago | todsacerdoti | github.com | newest
1
Programming with Math – The Lambda Calculus (youtube.com)
a month ago | todsacerdoti | youtube.com | newest
1
Learning: The hardest problem in computer science (herostrat.us)
a month ago | todsacerdoti | herostrat.us | newest
1
In Video Games, the Player Never Moves (youtube.com)
a month ago | todsacerdoti | youtube.com | newest
2
Add Wayland color-management protocol (freedesktop.org)
a month ago | todsacerdoti | freedesktop.org | newest
2
Serving Local LLMs with MLX (kconner.com)
a month ago | todsacerdoti | kconner.com | newest
1
Towards a Simple and Expressive Query Language [video] (youtube.com)
a month ago | todsacerdoti | youtube.com | newest
2
Bellroy Technology Team: 2024 in Review (bellroy.com)
a month ago | todsacerdoti | bellroy.com | newest
2
Representing Graphs in PostgreSQL with SQL/PGQ (enterprisedb.com)
a month ago | todsacerdoti | enterprisedb.com | newest
3
Phished Data Turns into Apple and Google Wallets (krebsonsecurity.com)
a month ago | todsacerdoti | krebsonsecurity.com | newest
1
Chris Biscardi: Growing little experiments (with Rust and Bevy) [video] (youtube.com)
a month ago | todsacerdoti | youtube.com | newest
2
Build Rails Apps with Components (terminalwire.com)
a month ago | todsacerdoti | terminalwire.com | newest
1
Exo software – A distributed LLM solution running on a cluster of computers, sm (cnx-software.com)
a month ago | todsacerdoti | cnx-software.com | newest
93
Reviewing the cryptography used by Signal (soatok.blog)
a month ago | todsacerdoti | soatok.blog | best
1
Go-attention: A full attention mechanism and transformer in pure Go (github.com/takara-ai)
a month ago | todsacerdoti | github.com | newest
1
Code Style Sheets: CSS for Code (arxiv.org)
a month ago | todsacerdoti | arxiv.org | newest
1
Learning Lean: Part 1 (rkirov.github.io)
a month ago | todsacerdoti | github.io | newest
1
Mtr Metrics (mk16.de)
a month ago | todsacerdoti | mk16.de | newest
1
New "faux bus" API merged for Linux 6.14, including both Rust and C bindings (phoronix.com)
a month ago | todsacerdoti | phoronix.com | newest
3
What's in a ring buffer? And using them in Rust (ntietz.com)
a month ago | todsacerdoti | ntietz.com | frontpage
24
How browsers really load web pages [video] (fosdem.org)
a month ago | todsacerdoti | fosdem.org | best
4
14 Years of Systemd (lwn.net)
2 months ago | todsacerdoti | lwn.net | newest
2
Summer Fellows Grants (ycombinator.com)
2 months ago | todsacerdoti | ycombinator.com | newest
1
Accessible Color Palette Tester (9elements.com)
2 months ago | todsacerdoti | 9elements.com | newest
3
Can I ethically use LLMs? (ntietz.com)
2 months ago | todsacerdoti | ntietz.com | newest
1
SharingGRDB: A SwiftData Alternative (pointfree.co)
2 months ago | todsacerdoti | pointfree.co | newest
1
UX Design Rework #1 – reworking my university hoarding (bhoot.dev)
2 months ago | todsacerdoti | bhoot.dev | newest
1
Why Test-First Development Is So Damn Hard (jarosz.dev)
2 months ago | todsacerdoti | jarosz.dev | newest
1
A Tutorial Introduction to the Lambda Calculus (2015) (arxiv.org)
2 months ago | todsacerdoti | arxiv.org | newest
1
F8 – an 8 bit architecture designed for C and memory efficiency [video] (fosdem.org)
2 months ago | todsacerdoti | fosdem.org | newest
47
The secret ingredients of word2vec (2016) (ruder.io)
2 months ago | todsacerdoti | ruder.io | best
2
The seven pillars of wisdom [pdf] (europa.eu)
2 months ago | todsacerdoti | europa.eu | newest
1
A Simple GitHub Report Generator (github.com/siddharth1729)
2 months ago | todsacerdoti | github.com | newest
1
Principles of a Reversible Programming Language (acm.org)
2 months ago | todsacerdoti | acm.org | newest
1
Dela: A task runner that delegates the work to other tools (github.com/aleyan)
2 months ago | todsacerdoti | github.com | newest
2
Civic Tech's Third Wave (jpt.sh)
2 months ago | todsacerdoti | jpt.sh | newest
8
Modding the Gulf of Mexico Back (In Google Maps) [video] (youtube.com)
2 months ago | todsacerdoti | youtube.com | frontpage
41
[flagged] GulfOfMexico: Perfect Programming Language (github.com/todepond)
2 months ago | todsacerdoti | github.com | frontpage
12
Devenv Telemetry Warning (chaos.social)
2 months ago | todsacerdoti | chaos.social | frontpage
1
A transient feed aggregator built with Gleam (github.com/facundoolano)
2 months ago | todsacerdoti | github.com | newest
1
Parallel Random Numbers: As Easy as 1, 2, 3 [pdf] (thesalmons.org)
2 months ago | todsacerdoti | thesalmons.org | newest
< Prev Next >