Next >
1
Original Congruence Closure Paper in Python with Egglog (egglog-python.readthedocs.io)
8 hours ago | todsacerdoti | readthedocs.io | newest
2
Efficient Nix Derivations with File Sets (johns.codes)
9 hours ago | todsacerdoti | johns.codes | newest
2
Let's learn how modern JavaScript frameworks work by building one (nolanlawson.com)
10 hours ago | todsacerdoti | nolanlawson.com | newest
2
All I want is to know what's different [re: validating metrics] (benn.substack.com)
13 hours ago | todsacerdoti | substack.com | newest
3
Dotfile Stewardship for the Indolent (rednafi.com)
17 hours ago | todsacerdoti | rednafi.com | newest
1
Binding Source Code Files Together Like a Book (1a-insec.net)
18 hours ago | todsacerdoti | 1a-insec.net | newest
43
Review: A Dive into Mikrotik's Weird SmartNIC (2022) (alyx.sh)
22 hours ago | todsacerdoti | alyx.sh | best
3
Oils Winter Status Update (oilshell.org)
a day ago | todsacerdoti | oilshell.org | newest
7
Fixing Canvas (2010) (macgui.com)
a day ago | todsacerdoti | macgui.com | frontpage
1
How to overcome pushback for composable architecture (netlify.com)
a day ago | todsacerdoti | netlify.com | newest
1
Will quantum computers break your passkeys? (1password.com)
a day ago | todsacerdoti | 1password.com | newest
58
Cloudflare Gen 12 Server: Bigger, Better, Cooler in a 2U1N Form Factor (cloudflare.com)
a day ago | todsacerdoti | cloudflare.com | best
2
You (probably) don't need DateTime (scorpil.com)
a day ago | todsacerdoti | scorpil.com | newest
2
Autonomous Accessibility Testing in Squidler (squidler.io)
a day ago | todsacerdoti | squidler.io | newest
2
Advent of Svelte (sveltesociety.dev)
a day ago | todsacerdoti | sveltesociety.dev | newest
1
File Stores: Cloud File Storage for Your Workflows (pipedream.com)
a day ago | todsacerdoti | pipedream.com | newest
1
Video and transcript: Apoorva Metha, founder and former CEO, Instacart (eladgil.com)
a day ago | todsacerdoti | eladgil.com | newest
1
Advent of Code on Replit (replit.com)
a day ago | todsacerdoti | replit.com | newest
1
Apache Maven Build Cache Extension (apache.org)
a day ago | todsacerdoti | apache.org | newest
69
"Useless Ruby sugar": Endless (one-line) methods (zverok.space)
a day ago | todsacerdoti | zverok.space | best
1
Apple Marks World Aids Day with (Red)
a day ago | todsacerdoti | ycombinator.com | newest
2
First bits of a Haiku compatibility layer (netbsd.org)
2 days ago | todsacerdoti | netbsd.org | newest
2
Bfcoq: Brainfuck Compiler in Coq (github.com/thaliaarchi)
2 days ago | todsacerdoti | github.com | newest
2
Guide to fast websites with Next.js: Tips for maximizing server speeds and mini (vercel.com)
2 days ago | todsacerdoti | vercel.com | newest
5
How pgroll works under the hood (xata.io)
2 days ago | todsacerdoti | xata.io | newest
179
You do need a technical co-founder [video] (ycombinator.com)
2 days ago | todsacerdoti | ycombinator.com | best
1
From the pages of our Insider newsletter: How to use GitHub Copilot (github.blog)
2 days ago | todsacerdoti | github.blog | newest
1
YC Happy Hour at JP Morgan Healthcare Conference 2024 (ycombinator.com)
2 days ago | todsacerdoti | ycombinator.com | newest
1
Replit and Weights and Biases: Building a RAG Bot (replit.com)
2 days ago | todsacerdoti | replit.com | newest
3
Game of Trees 0.94 Released (gameoftrees.org)
2 days ago | todsacerdoti | gameoftrees.org | newest
1
Apple announces expanded partnership with Amkor for silicon packaging
2 days ago | todsacerdoti | ycombinator.com | newest
3
A disability advocate preserves his voice with iPhone
2 days ago | todsacerdoti | ycombinator.com | newest
2
Securing our home labs: Home Assistant code review (github.blog)
2 days ago | todsacerdoti | github.blog | frontpage
2
GDlog: A GPU-Accelerated Deductive Engine (arxiv.org)
3 days ago | todsacerdoti | arxiv.org | newest
3
App Store Award winners announced (developer.apple.com)
3 days ago | todsacerdoti | apple.com | newest
5
Apple unveils App Store Award winners, the best apps and games of 2023
3 days ago | todsacerdoti | ycombinator.com | newest
1
Asia Pacific's award winning app and game developers (blog.google)
3 days ago | todsacerdoti | blog.google | newest
1
Node.js 16 Deprecation (vercel.com)
3 days ago | todsacerdoti | vercel.com | newest
1
Compiler Error Messages Considered Unhelpful: Text-Based Programming Error Mess [pdf] (brettbecker.com)
3 days ago | todsacerdoti | brettbecker.com | newest
2
Okta: Breach Affected All Customer Support Users (krebsonsecurity.com)
3 days ago | todsacerdoti | krebsonsecurity.com | newest
1
Developer secrets keep leaking. Can we stop the flood? (1password.com)
3 days ago | todsacerdoti | 1password.com | newest
1
Using Answer Set Programming to Solve Puzzle Haunted (rdivyanshu.github.io)
3 days ago | todsacerdoti | github.io | newest
1
Replit's Community Standards (replit.com)
4 days ago | todsacerdoti | replit.com | newest
2
Cyber Week: Analyzing Internet traffic and e-commerce trends (cloudflare.com)
4 days ago | todsacerdoti | cloudflare.com | newest
1
The power of headless: Ecommerce success with Next.js, Vercel, and Shopify (vercel.com)
4 days ago | todsacerdoti | vercel.com | newest
1
How to ensure everyone's voice is heard in a virtual meeting (1password.com)
4 days ago | todsacerdoti | 1password.com | newest
2
ID Theft Service Resold Access to USInfoSearch Data (krebsonsecurity.com)
4 days ago | todsacerdoti | krebsonsecurity.com | newest
3
Express yourself with Google Registry's .meme top-level domain (blog.google)
4 days ago | todsacerdoti | blog.google | newest
1
Better debugging for Cloudflare Workers, now with breakpoints (cloudflare.com)
4 days ago | todsacerdoti | cloudflare.com | newest
60
Semantic fuzzing of the Rust compiler and interpreter [pdf] (ethz.ch)
4 days ago | todsacerdoti | ethz.ch | best
3
Apple unveils the top books of 2023 and a new Year in Review experience
4 days ago | todsacerdoti | ycombinator.com | newest
2
Apple shares the most popular podcasts of 2023
4 days ago | todsacerdoti | ycombinator.com | newest
46
[dupe] Red Hat Enterprise Linux 10 Plans for Wayland and Xorg Server (redhat.com)
4 days ago | todsacerdoti | redhat.com | best
4
Pesky Little Scripts (rednafi.com)
4 days ago | todsacerdoti | rednafi.com | newest
2
Jami release: Eleutheria, for more enjoyable private, and secure communication (jami.net)
4 days ago | todsacerdoti | jami.net | newest
2
A Qmail example of dealing with unavoidable race conditions (plover.com)
4 days ago | todsacerdoti | plover.com | newest
1
Use Reactions, Presenter Overlay, and other effects when videoconferencing on M (support.apple.com)
5 days ago | todsacerdoti | apple.com | newest
1
Steve Bray: Why I joined Cloudflare (cloudflare.com)
5 days ago | todsacerdoti | cloudflare.com | newest
2
Least effort self-destructing email addresses with Fastmail (mikejsavage.co.uk)
5 days ago | todsacerdoti | mikejsavage.co.uk | newest
1
Dependency Rejection (amontalenti.com)
5 days ago | todsacerdoti | amontalenti.com | newest
2
Cloudflare Named a Leader in Forrester Edge Development Platforms Wave, Q4 202 (cloudflare.com)
5 days ago | todsacerdoti | cloudflare.com | newest
3
Friendship Ended with Obsidian/LaTeX, Now Typst Is My Best Friend (ersei.net)
5 days ago | todsacerdoti | ersei.net | newest
1
MiniLogger, MiniFormat, MiniOStream: lightweight C++ logging/formatting (github.com/snej)
6 days ago | todsacerdoti | github.com | newest
1
Interceptors Are Functions Too (gist.github.com)
6 days ago | todsacerdoti | github.com | newest
64
Making a font (kokorobot.ca)
6 days ago | todsacerdoti | kokorobot.ca | best
3
Using AI to Parse Election Results (thescoop.org)
a week ago | todsacerdoti | thescoop.org | newest
5
Another way to botch the security analysis of Kyber-512 (cr.yp.to)
a week ago | todsacerdoti | yp.to | frontpage
3
No Three in a Line (apieceofthepi.substack.com)
a week ago | todsacerdoti | substack.com | newest
1
The Full-Source Bootstrap: Building from source all the way down (guix.gnu.org)
a week ago | todsacerdoti | gnu.org | newest
1
Offices, Betting on Serendipity, and Water Coolers (ewencp.org)
a week ago | todsacerdoti | ewencp.org | newest
33
Offpunk 2.0 (ploum.net)
a week ago | todsacerdoti | ploum.net | best
32
Workarounds to Computer Access in Healthcare: Password or a Dead Patient? (2015) (dartmouth.edu)
a week ago | todsacerdoti | dartmouth.edu | best
5
Git Discussion Bingo (wizardzines.com)
a week ago | todsacerdoti | wizardzines.com | frontpage
2
Do hackers eat turkey? And other Thanksgiving Internet trends (cloudflare.com)
a week ago | todsacerdoti | cloudflare.com | newest
1
Can a passenger hack an airplane? Ethical hacker Ken Munro has the answer (1password.com)
a week ago | todsacerdoti | 1password.com | newest
1
Write Package Definitions in a Breeze (guix.gnu.org)
a week ago | todsacerdoti | gnu.org | newest
110
"Useless Ruby sugar": Argument forwarding (zverok.space)
a week ago | todsacerdoti | zverok.space | best
2
TDD Outcomes (tidyfirst.substack.com)
a week ago | todsacerdoti | substack.com | newest
15
My First PCB (2019) (lindzey.github.io)
a week ago | todsacerdoti | github.io | best
2
FlakeTools: A simpler and less bug-prone flake-utils alternative (github.com/rgbcube)
a week ago | todsacerdoti | github.com | newest
1
Aitertools: Well-tested utility functions dealing with async iterables (github.com/dahlia)
a week ago | todsacerdoti | github.com | newest
1
Life of a Bug Report (1a-insec.net)
a week ago | todsacerdoti | 1a-insec.net | newest
117
Bluetooth stack modifications to improve audio quality on headphones without AA (2019) (habr.com)
a week ago | todsacerdoti | habr.com | best
4
Upgrading Ruby v2.7 to v3.2 (vercel.com)
a week ago | todsacerdoti | vercel.com | frontpage
37
Workers AI Update: Stable Diffusion, Code Llama and Workers AI in 100 Cities (cloudflare.com)
a week ago | todsacerdoti | cloudflare.com | best
2
Bug Bounties Tips from the Triager (mike-sheward.medium.com)
a week ago | todsacerdoti | medium.com | newest
1
There are no strings on me (scattered-thoughts.net)
a week ago | todsacerdoti | scattered-thoughts.net | newest
1
Did you know that import maps can be rendered client-side? (baldurbjarnason.com)
a week ago | todsacerdoti | baldurbjarnason.com | newest
2
New features in Fortran 2023 [pdf] (bcs.org)
a week ago | todsacerdoti | bcs.org | newest
6
Litterbox – Analysis of Scratch Projects (uni-passau.de)
a week ago | todsacerdoti | uni-passau.de | frontpage
3
Anastasis (gnu.org)
a week ago | todsacerdoti | gnu.org | frontpage
1
Convert Comments on deployments to Jira issues (vercel.com)
a week ago | todsacerdoti | vercel.com | newest
1
The foundations of the Front end Cloud (vercel.com)
a week ago | todsacerdoti | vercel.com | newest
3
Spreadsheets and Small Software (nilenso.com)
a week ago | todsacerdoti | nilenso.com | newest
2
Stage: Text Adventure Game Engine (hellomouse.net)
a week ago | todsacerdoti | hellomouse.net | newest
3
Attribution Armored Code (joeyh.name)
a week ago | todsacerdoti | joeyh.name | newest
2
For Good First Issue: Introducing a new way to contribute (github.blog)
a week ago | todsacerdoti | github.blog | newest
2
Workers AI Update: Hello Mistral 7B (cloudflare.com)
a week ago | todsacerdoti | cloudflare.com | newest
2
Zig May Pass Everything by Reference (1a-insec.net)
a week ago | todsacerdoti | 1a-insec.net | newest
4
RFC 9498: The GNU Name System (lists.gnu.org)
a week ago | todsacerdoti | gnu.org | newest
Next >