I'm Unschooled. Yes, I Can Write.: How I Learned to Read and Write
yes-i-can-write.blogspot.com·3h·
Discuss: Hacker News
💾Retro Computing
New WeTransfer ToS allows them to make derivative works of yours without payment
akanchasrivastava.org·1d·
Discuss: Hacker News
📦Unikernel Systems
Hey potential cofounder, I won't sign your NDA
developerwithacat.com·1h·
Discuss: Hacker News
🛡️seL4
Show HN: Refine – A Local Alternative to Grammarly
refine.sh·2d·
Discuss: Hacker News
🍎Apple
Video printers were just CRTs and cameras in boxes (1983)
buttondown.com·23h·
Discuss: Hacker News
💾Retro Computing
Sell Yourself Well – What Soham Parekh Can Teach Us
fldr.zip·1d·
Discuss: Hacker News
🛡️seL4
The Velvet Sundown and how AI audio anarchy created a planet of the punks
georgehopkin.com·2h·
Discuss: Hacker News
🔬Unikernels
Hanami and the Elephant in the Room
hanamirb.org·4d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
A deep dive into deeply recursive Go
mattermost.com·4d·
Discuss: Hacker News
🔠Type-Level Programming
Prompt Injection in LLM-Driven Systems
blog.gopenai.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Slack grew with an invite loop. Dropbox with a referral loop. But you'll fail
northstardispatch.substack.com·2d·
Discuss: Substack
🎮Verification Games
Fine-tune TabPFN on proprietary tabular data
medium.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·21h·
Discuss: Hacker News
🤖Program Synthesis
The "Pathfinder: 2nd Edition" AI Subreddit
aigamesmag.com·2d·
Discuss: Hacker News
🎮Verification Games
ExpStar: Towards Automatic Commentary Generation for Multi-discipline Scientific Experiments
arxiv.org·1d
✓Automated Theorem Proving
Towards High Supervised Learning Utility Training Data Generation: Data Pruning and Column Reordering
arxiv.org·1d
🧪Property-Based Testing
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·1d
✓Automated Theorem Proving
Memory in Stateless Memory
news.ycombinator.com·2d·
Discuss: Hacker News
🎮Verification Games
Backscatter Device-aided Integrated Sensing and Communication: A Pareto Optimization Framework
arxiv.org·1d
📡Network Protocol Design
Orchestrator-Agent Trust: A Modular Agentic AI Visual Classification System with Trust-Aware Orchestration and RAG-Based Reasoning
arxiv.org·8h
🎮Verification Games