Behind The Scenes of Bun Install
bun.com·3d·
Discuss: Lobsters, Hacker News, r/programming, r/programming
📊Performance Profiling
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·3d·
Discuss: Hacker News
💻Programming languages
RIP pthread_cancel
eissing.org·17h·
Discuss: Lobsters, Hacker News
📏Linear Types
Gauss, an Agent for Autoformalization
math.inc·2d·
Discuss: Hacker News, Hacker News, Hacker News
📐Formal Methods
File preallocation on macOS in Ruby
tenderlovemaking.com·4d·
Discuss: Hacker News
📏Linear Types
WASM GIF
igorbedesqui.com·1d·
Discuss: Hacker News
💻Programming languages
An Open-Source Maintainer's Guide to Saying No
jlowin.dev·15h·
Discuss: Hacker News
🧩Microservices
Gemini (2023)
geminiquickst.art·1h·
Discuss: Hacker News
📮Message Queues
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·1d·
Discuss: Hacker News
📏Linear Types
And by "garbage" I mean it. Linus
lore.kernel.org·18h·
Discuss: Hacker News
📏Linear Types
Fenwick layout for interval trees
purplesyringa.moe·4d·
Discuss: Lobsters, Hacker News, r/programming
🗃️Database Internals
PythonBPF – Writing eBPF Programs in Pure Python
xeon.me·1d·
Discuss: Hacker News
💻Programming languages
Bring back your old Mac: 5 ways to refresh the OS on elderly Apples
theregister.com·23h·
Discuss: Hacker News
📊Performance Profiling
Perplexity's Comet browser is magic
medium.com·21h·
Discuss: Hacker News
📮Message Queues
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
📏Linear Types
Made a project to integrate GPT models into directly Ghidra
github.com·19h·
Discuss: Hacker News
💻Programming languages
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·3d·
Discuss: Hacker News
📮Message Queues
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·2d·
Discuss: Hacker News
🗃️Database Internals
Skill Issue Acceptance
mtende.blog·1h·
Discuss: Hacker News
📐Formal Methods
Preview of LibrePCB 2.0's Next-Gen UI
librepcb.org·1d·
Discuss: Hacker News
💻Programming languages