Work in Progress
i.redd.it·2d·
Discuss: r/homelab
🖥Self-Hosting
How to Choose and Use Stir Bars: An Authoritative Guide for Lab Managers
blog.jmscience.com·1h·
Discuss: Hacker News
🩹Self-Healing Systems
WebKit Features in Safari 26.0
webkit.org·9h·
Discuss: Lobsters, Hacker News, r/webdev
🍎Apple
A Positive Lambda: '+[]{}'
stackoverflow.com·3d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Review: SpikingBrain Technical Spiking Brain-Inspired Large Models
arxiviq.substack.com·2d·
Discuss: Substack
🐫Embedded OCaml
LLM AGI may reason about its goals and discover misalignments by default
lesswrong.com·11h
🧠Automated Reasoning
An introduction to program synthesis
mchav.github.io·4d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Pragmatic Frames Evoked by Gestures: A FrameNet Brasil Approach to Multimodality in Turn Organization
arxiv.org·22h
📐Denotational Semantics
Why designing will be the key skill in the age of AI
shuvrojit.substack.com·9h·
Discuss: Substack
🔄Finite State Machines
Automatic Regression for Governing Equations with Control (ARGOSc)
arxiv.org·22h
🩹Self-Healing Systems
Compass-v3: Scaling Domain-Specific LLMs for Multilingual E-Commerce in Southeast Asia
arxiv.org·3d
🔤DSLs
Energy-Based Transformers Are Scalable Learners and Thinkers
alexiglad.github.io·2d·
Discuss: Hacker News
🧩Parser Combinators
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·22h
🧠Automated Reasoning
Segment Anything for Cell Tracking
arxiv.org·22h
🍎XNU Internals
Which NPM package has the largest version number?
adamhl.dev·23h·
Discuss: Hacker News
❄️Nixified Development
Characterization of the computed homology and cohomology bases -- technical report
arxiv.org·3d
🧮Lambda Calculus
Link Graveyard: A snapshot of my abandoned browser tabs
timkellogg.me·3d·
Discuss: Lobsters, Hacker News
🧩Parser Combinators
I Vibe Coded an R Package
jcarroll.com.au·3d·
Discuss: Lobsters, Hacker News
🧩Parser Combinators
Gambit: An efficient implementation of the Scheme programming language
github.com·2d·
Discuss: Hacker News
🐫OCaml
I Put ChatGPT into Jail and Let Him Code Anyays
indiehackers.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving