🐿️ 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

Show HN: Notion – a strongly typed Python client for Notion
ultimate-notion.com·4h·
Discuss: Hacker News
🐫OCaml
What Is the Fourier Transform?
quantamagazine.org·23h·
Discuss: Hacker News
🏹Effect Systems
Let's make PostgreSQL multi-threaded (2023)
postgresql.org·9h·
Discuss: Hacker News
⚡Process Calculi
Apollo Client 4.0: A Leaner and Cleaner GraphQL Client with No Compromises
apollographql.com·17h·
Discuss: Hacker News
🔄Reproducible Builds
It's Not a Framework · Taro
taro.codes·1d·
Discuss: r/programming
🧱Immutable Infrastructure
Test-Driven Infrastructure
maxdaten.io·8h·
Discuss: Hacker News
🔄Reproducible Builds
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Systems Engineering for Agentic Applications
agenticapplications.substack.com·2d·
Discuss: r/programming
🩹Self-Healing Systems
All Hype, No Bite: The "Your Brain on ChatGPT.." Preprint
residualinsights.com·18h·
Discuss: Hacker News
📚Automata Learning
A Constructive Look at TempleOS (2015)
codersnotes.com·3d·
Discuss: Hacker News
🔬Unikernels
Fantastic Pretraining Optimizers and Where to Find Them
arxiviq.substack.com·1d·
Discuss: Substack
📚Automata Learning
Next.js Is Infuriating - Dominik's Blog
blog.meca.sh·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·1d·
Discuss: Hacker News
📚Automata Learning
Neuron V2 Released – AI Agentic Workflows in PHP
github.com·4h·
Discuss: Hacker News, r/webdev
🔧Unikernel Development
Optimizing AI Inference with Edge Computing
edgee.cloud·1d·
Discuss: Hacker News
📚Automata Learning
Supervised In-Context Fine-Tuning for Generative Sequence Labeling
arxiv.org·1d
📚Automata Learning
Show HN: CompareGPT – Making LLMs More Trustworthy by Reducing Hallucinations
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Debugging Rustler on Illumos
system-illumination.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔬Static Analysis
Vibe-Coding as We Need to Eat Our Own Dog Food
kevinkuipers.substack.com·2d·
Discuss: Substack
🧱Immutable Infrastructure
Show HN: Fst – Lightweight C utility for detailed directory statistics LGPL 3.0
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Unikernels
Loading...Loading more...
AboutBlogChangelogRoadmap