Raku: First Programming Language?
wayland.github.io·4d·
Discuss: Hacker News
⚙️PL Implementation
About 30% of Humanity's Last Exam chemistry/biology answers are likely wrong
futurehouse.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The evolution of life may have its origins in outer space
mpg.de·2d·
Discuss: Hacker News
🐫OCaml
Hidden black and white feathers found to intensify blue and yellow bird plumage
phys.org·12h·
Discuss: Hacker News
🍎Apple
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Categorizing Book Notes with AI
mieubrisse.substack.com·6d·
Discuss: Substack
🔬Unikernels
The Magic at the Heart of Quantum Computers Has Finally Worked
popularmechanics.com·3d·
Discuss: Hacker News
💾Retro Computing
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.org·5d
🏹Effect Systems
VERIRAG: Healthcare Claim Verification via Statistical Audit in Retrieval-Augmented Generation
arxiv.org·2d
🎮Verification Games
The vibe coder's career path is doomed
blog.florianherrengt.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.com·4d·
Discuss: Hacker News
🎮Verification Games
Choosing Public Datasets for Private Machine Learning via Gradient Subspace Distance
arxiv.org·2d
🔠Type-Level Programming
Fmtlib / fmt A modern formatting library
github.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
Users claim Discord’s age verification test can be tricked with video game characters
thepinknews.com·1d·
Discuss: Hacker News
🎮Verification Games
Proxmox VS Incus
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Lenovo ThinkCentere 2.5 Gb ethernet upgrade
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Uncertainty-Aware Knowledge Transformers for Peer-to-Peer Energy Trading with Multi-Agent Reinforcement Learning
arxiv.org·4d
✓Automated Theorem Proving
Security Bite: How to password protect sensitive image files on Mac
9to5mac.com·2d
🍎Apple
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·4d
✓Automated Theorem Proving
From Typing to Trusting AI: The 5 Levels of Coding Today — Which One Are You In?
reddit.com·18h·
Discuss: r/programming
✓Automated Theorem Proving