๐Ÿฟ๏ธ 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ยท18hยท
Discuss: Hacker News
๐ŸŽXNU Internals
Stop Using CPU Limits on Kubernetes (2022)
home.robusta.devยท14hยท
Discuss: Lobsters
โŽˆKubernetes
Flagged by the Algorithm: Klarna Thought I'm a Fraudster
algorithmwatch.orgยท10hยท
Discuss: Hacker News
๐ŸŽApple
The argument against the existence of a Theory of Everything
bigthink.comยท1dยท
Discuss: Hacker News
โžก๏ธCategory Theory
OntoMotoOS: An "Operating System" Between Delusion and Scholarship
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
SOLID Principles Unseen Questions with Answers Explained: Intermediate to Expert-Level
reddit.comยท2dยท
Discuss: r/programming
๐Ÿ”คDSLs
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.comยท1dยท
Discuss: Substack
๐Ÿ“šAutomata Learning
The Next Generation of Compound on GroqCloud
groq.comยท5dยท
Discuss: Hacker News
๐ŸซOCaml
Billion-Line Days Demand Billion-Test Nights
momentic.aiยท18hยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Show HN: Bootstrapped Terraform Orchestration in OCaml
news.ycombinator.comยท21hยท
Discuss: Hacker News
๐ŸณContainerization
Prompt injection as a solution to make agents reliable
controlpla.inยท4dยท
Discuss: Hacker News
โœ“Automated Theorem Proving
The exceptionalism of software is unwarranted
overbring.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.orgยท2d
๐Ÿ”„Reproducible Builds
LaraUtilX โ€“ A Utility Package for Laravel
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠRuntime Verification
The canonical agent architecture: A while loop with tools
braintrust.devยท2dยท
Discuss: Hacker News
โš™Operational Semantics
AI in Government
schneier.comยท1dยท
Discuss: Hacker News
๐ŸฉนSelf-Healing Systems
Context Engineering for Trustworthiness: Rescorla Wagner Steering Under Mixed and Inappropriate Contexts
arxiv.orgยท2d
๐Ÿ“šAutomata Learning
A multiplayer DOOM-like in pure SQL
github.comยท2hยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Linguistic Hooks: Investigating The Role of Language Triggers in Phishing Emails Targeting African Refugees and Students
arxiv.orgยท2d
๐ŸŒNetworkProtocols
I built diff2ai โ€” a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.comยท13hยท
Discuss: r/programming
๐Ÿ”„Reproducible Builds
Loading...Loading more...
AboutBlogChangelogRoadmap