Show HN: CoverPaste – A simple cover letter generator
app.coverpaste.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Simple stat method for <=5 datapoints
ohmurphy.substack.com·1d·
Discuss: Substack
🔠Type-Level Programming
Book Review: Arguments About Aborigines
astralcodexten.com·12h·
Discuss: Hacker News
🍎Apple
Show HN: I built a tool to sync localStorage between devices
htmlsync.io·2h·
Discuss: Hacker News
🧱Immutable Infrastructure
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·4d·
Discuss: Hacker News
🛡️seL4
The second wave of spaced repetition apps
hiandrewquinn.github.io·2d·
Discuss: Hacker News
🎮Verification Games
C++ Coroutines Advanced: Converting std:future to asio:awaitable
ddhigh.com·23h·
Discuss: Hacker News, r/cpp
👁️System Observability
floccinaucinihilipilification
en.wiktionary.org·5d·
Discuss: Hacker News
🐫OCaml
Learning to never give up by following you're passion
thelabyrinthoftimesedge.com·2d·
Discuss: Hacker News
🎮Verification Games
The Spiritual World
pilledtexts.com·2d·
Discuss: Hacker News
🎮Verification Games
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·4d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Chip4Mac68000 – A Chip8 emulator for the original Macintosh
github.com·11h·
Discuss: Hacker News
💾Retro Computing
Show HN: DataFlow: makes LLM data processing fast, powerful, and EASY
github.com·1d·
Discuss: Hacker News
🔤DSLs
The Engineer's Dilemma: A Review of Establishing a Legal Framework for Integrating Machine Learning in Construction by Navigating Precedents and Industry Expect...
arxiv.org·21h
🏹Effect Systems
I Built an Open Source Offline ChatGPT Alternative in 40MB
news.ycombinator.com·17h·
Discuss: Hacker News
🐫Embedded OCaml
The Color Doesn't Matter
tristanpemble.com·2d·
Discuss: Hacker News
🏹Effect Systems
TruckV2X: A Truck-Centered Perception Dataset
arxiv.org·21h
🏹Effect Systems
MobiWorld: World Models for Mobile Wireless Network
arxiv.org·21h
📡Network Protocol Design
PanoDiff-SR: Synthesizing Dental Panoramic Radiographs using Diffusion and Super-resolution
arxiv.org·21h
🤖Program Synthesis
GT-Loc: Unifying When and Where in Images Through a Joint Embedding Space
arxiv.org·21h
💻CS