🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📝 Term Rewriting

Equational Logic, Reduction Strategies, Confluence, Normalization

The Android Linux Commander
hackaday.com·6h
🐳Containerization
Master Foo and LLM Mountain
tusshah.github.io·22h·
Discuss: Hacker News
⚙️PL Implementation
A new experimental Go API for JSON
go.dev·23h·
Discuss: Lobsters, Hacker News, r/golang
🌐NetworkProtocols
Rust's Enterprise Breakthrough Year
rust-trends.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
OntoMotoOS: An "Operating System" Between Delusion and Scholarship
medium.com·1d·
Discuss: Hacker News
🔬Unikernels
A quarter century of chasing simplicity
loopwerk.io·20h·
Discuss: Hacker News
💾Retro Computing
Ambient Agents: The Next Frontier in Context-Aware AI
digitalocean.com·13h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: @Agent for Gitlab
github.com·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·1d
🩹Self-Healing Systems
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·6d
🐫OCaml
A Humble Blog Post
nvegater.com·2d·
Discuss: Hacker News
💎Refinement Types
SOLID Principles Unseen Questions with Answers Explained: Intermediate to Expert-Level
reddit.com·1d·
Discuss: r/programming
🔤DSLs
Benchmarking GPT-5 for biomedical natural language processing
arxiv.org·1d
🧩Parser Combinators
High-Resolution Global Land Surface Temperature Retrieval via a Coupled Mechanism-Machine Learning Framework
arxiv.org·1d
🧠Automated Reasoning
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
CLI-based multi-agent trading system using LLMs
github.com·1h·
Discuss: Hacker News
🐫OCaml
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·3d·
Discuss: Substack
📚Automata Learning
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·10h
🧩Parser Combinators
Billion-Line Days Demand Billion-Test Nights
momentic.ai·8h·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Bootstrapped Terraform Orchestration in OCaml
news.ycombinator.com·11h·
Discuss: Hacker News
🐳Containerization
Loading...Loading more...
AboutBlogChangelogRoadmap