Students present ideas for the town hall square in Büddenstedt
study-from-here.com·8h·
Discuss: Hacker News
💻CS
mkcd: The missing shell shortcut
dbohdan.com·1d·
Discuss: Hacker News
❄️Nix
What Makes Code Beautiful
thecoder.cafe·4d·
Discuss: r/programming
🔬Static Analysis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Encore Anxiety
workingtheorys.com·6h·
Discuss: Hacker News
🍎Apple
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·4d·
Discuss: Hacker News
🔠Type-Level Programming
EU-sponsored report says GenAI's 'fair use' defense does not compute
theregister.com·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Wrote a deep dive on LLM tool calling with step-by-step REST and Spring AI examples
muthuishere.medium.com·1d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🔍Formal Verification
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·3d
✓Automated Theorem Proving
SCoRE: Streamlined Corpus-based Relation Extraction using Multi-Label Contrastive Learning and Bayesian kNN
arxiv.org·4d
🔠Type-Level Programming
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3d
🔍Formal Verification
My 1st HakoForge build
reddit.com·19h·
Discuss: r/homelab
🔄Reproducible Builds
Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·23h·
Discuss: Hacker News
📦Unikernel Systems
Claude Opus Analysis of Twitter's 2023 ML Algorithm
github.com·1d·
Discuss: Hacker News
🛡️seL4
A chemical language model for molecular taste prediction
nature.com·5d·
Discuss: Hacker News
🐫OCaml
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·12h
✓Automated Theorem Proving
Hono Shows the Way for Microframeworks in a Post-React World
thenewstack.io·2d
🖥️Self-hosted Infrastructure
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·3d
⚙️PL Implementation
Bluish Veil Detection and Lesion Classification using Custom Deep Learnable Layers with Explainable Artificial Intelligence (XAI)
arxiv.org·3d
🍎Apple