Harpedonaptai, the Indispensable "Rope Stretchers" of Ancient Egypt(2024)
labrujulaverde.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Blender Addon: Bonsai, a Building Information Model Authoring Platform Using IFC
extensions.blender.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
Unlimited Zip Game
zipgame.app·1d·
Discuss: Hacker News
🎮Verification Games
The Year of Peak Might and Magic
filfre.net·3d·
Discuss: Hacker News
🎮Verification Games
Hiding messages in a deck playing cards
asherfalcon.com·3d·
Discuss: Hacker News
🏹Effect Systems
Adulthood in the Zone
freddiedeboer.substack.com·2d·
Discuss: Substack
🎮Verification Games
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.pl·3d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
A Tour of Microsoft's Mac Lab
davidweiss.blogspot.com·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Super Performance
cpj.fyi·2d·
Discuss: Hacker News
🔄Reproducible Builds
[Project] DNS Forwarder — Simple DNS Forwarder in Go (with Docker)
reddit.com·2d·
Discuss: r/homelab
📡Network Protocol Design
Show HN: Fluent-state: a new fresh take on local React state
github.com·3d·
Discuss: Hacker News
🔄Finite State Machines
An AI Skeptic Uses AI for a Week
keithjgrant.com·6d·
Discuss: Hacker News
👁️System Observability
AI coding platform goes rogue during code freeze and deletes entire company database — Replit CEO apologizes after AI engine says it 'made a catastrophic error ...
tomshardware.com·12h·
Discuss: Hacker News
❄️Nixified Development
Improving Drug Identification in Overdose Death Surveillance using Large Language Models
arxiv.org·3d
🐫OCaml
Quantitative central limit theorems for exponential random graphs
arxiv.org·6d
💻CS
Thoughts on External Memory for LLMs
medium.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
A Neural Network Model of Complementary Learning Systems: Pattern Separation and Completion for Continual Learning
arxiv.org·5d
💻CS
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
arxiv.org·5d
✓Automated Theorem Proving
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·4d
✓Automated Theorem Proving
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·4d
🔍Formal Verification