๐Ÿฟ๏ธ 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

I still prefer ems over rems
gomakethings.comยท14hยท
Discuss: Hacker News
๐ŸŽXNU Internals
A new experimental Go API for JSON
go.devยท1dยท
Discuss: Lobsters, Hacker News, r/golang
๐ŸŒNetworkProtocols
OntoMotoOS: An "Operating System" Between Delusion and Scholarship
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
Show HN: @Agent for Gitlab
github.comยท14hยท
Discuss: Hacker News
๐ŸงฑImmutable Infrastructure
A Humble Blog Post
nvegater.comยท2dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
AIs will greatly change engineering in AI companies well before AGI
lesswrong.comยท13h
๐Ÿ‘๏ธSystem Observability
SOLID Principles Unseen Questions with Answers Explained: Intermediate to Expert-Level
reddit.comยท1dยท
Discuss: r/programming
๐Ÿ”คDSLs
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.orgยท2d
๐ŸฉนSelf-Healing Systems
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.comยท1dยท
Discuss: Substack
๐Ÿ“šAutomata Learning
Yet Another TypeSafe and Generic Programming Candidate for C
github.comยท4dยท
Discuss: Hacker News
๐ŸซEmbedded OCaml
Benchmarking GPT-5 for biomedical natural language processing
arxiv.orgยท2d
๐ŸงฉParser Combinators
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ยท16h
๐ŸงฉParser Combinators
High-Resolution Global Land Surface Temperature Retrieval via a Coupled Mechanism-Machine Learning Framework
arxiv.orgยท2d
๐Ÿง Automated Reasoning
CLI-based multi-agent trading system using LLMs
github.comยท8hยท
Discuss: Hacker News
๐ŸซOCaml
We're training LLMs to hallucinate by rewarding them for guessing
lightcapai.medium.comยท2dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
The exceptionalism of software is unwarranted
overbring.comยท20hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
LaraUtilX โ€“ A Utility Package for Laravel
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠRuntime Verification
Billion-Line Days Demand Billion-Test Nights
momentic.aiยท15hยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Show HN: Bootstrapped Terraform Orchestration in OCaml
news.ycombinator.comยท18hยท
Discuss: Hacker News
๐ŸณContainerization
Loading...Loading more...
AboutBlogChangelogRoadmap