🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Lambda Calculus
Combinatory Logic, Church Encoding, Beta Reduction, Type Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 8
•
Page 10 »