🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Lambda Calculus

Combinatory Logic, Church Encoding, Beta Reduction, Type Theory

Your Biggest Customer Might Be Your Biggest Bottleneck
densumesh.dev·18h·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Impossible rational triangles
johndcook.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Lessons from building an AI data analyst
pedronasc.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
It's Not a Framework · Taro
taro.codes·1d·
Discuss: r/programming
🧱Immutable Infrastructure
All Hype, No Bite: The "Your Brain on ChatGPT.." Preprint
residualinsights.com·15h·
Discuss: Hacker News
📚Automata Learning
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·18h·
Discuss: Hacker News
🎮Verification Games
The case against Almost Always `auto` (AAA)
gist.github.com·2d·
Discuss: Hacker News, r/cpp
📚Automata Learning
Prompt sensitivity is more nuanced (and useful) than we think
newsletter.aimuscle.com·15h·
Discuss: Hacker News
📚Automata Learning
A Constructive Look at TempleOS (2015)
codersnotes.com·3d·
Discuss: Hacker News
🔬Unikernels
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·3d
🧠Automated Reasoning
Exploring LLMs for ICD Coding – Part 1
medium.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Evaluating Cumulative Spectral Gradient as a Complexity Measure
arxiv.org·1d
💻CS
ChatCLIDS: Simulating Persuasive AI Dialogues to Promote Closed-Loop Insulin Adoption in Type 1 Diabetes Care
arxiv.org·1d
🎮Verification Games
Accelerating PDE Solvers with Equation-Recast Neural Operator Preconditioning
arxiv.org·1d
🐫OCaml
Next.js Is Infuriating - Dominik's Blog
blog.meca.sh·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
MILO: A Lightweight Perceptual Quality Metric for Image and Latent-Space Optimization
arxiv.org·1d
🐫OCaml
Exploring and Mitigating Fawning Hallucinations in Large Language Models
arxiv.org·1d
🧩Parser Combinators
SegFormer Fine-Tuning with Dropout: Advancing Hair Artifact Removal in Skin Lesion Analysis
arxiv.org·1d
🐫OCaml
Neuron V2 Released – AI Agentic Workflows in PHP
github.com·1h·
Discuss: Hacker News, r/webdev
🔧Unikernel Development
Optimizing AI Inference with Edge Computing
edgee.cloud·1d·
Discuss: Hacker News
📚Automata Learning
Loading...Loading more...
AboutBlogChangelogRoadmap