Should you use AsyncLocalStorage? (2023)
eytanmanor.medium.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: BuildKit 2.0 – the shadcn for AI integrations
buildkit.picaos.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Isolated(any)
nshipster.com·4d·
Discuss: Hacker News
🧮Lambda Calculus
Pydantic AI Reaches V1
pydantic.dev·23h·
Discuss: Hacker News
🔄Reproducible Builds
Real-Time Solutions at the "Cosmic Edge"
windriver.com·1d·
Discuss: Hacker News, r/space
🔧Unikernel Development
C++'s Greatest Flaw
harshal.is-cool.dev·1d·
Discuss: Hacker News
🔬Static Analysis
Vibe Coding Our Way to Disaster
softwarearthopod.substack.com·1d·
Discuss: Substack
🤖Program Synthesis
Semantically Reflected Programs
arxiv.org·1d
💎Refinement Types
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·1d·
Discuss: Hacker News
💎Refinement Types
Galactic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Learning General Policies From Examples
arxiv.org·1d
📚Automata Learning
Why language models hallucinate
openai.com·14h·
Discuss: Hacker News
📚Automata Learning
INCPrompt: Task-Aware incremental Prompting for Rehearsal-Free Class-incremental Learning
arxiv.org·1d
🎮Verification Games
Natural Latents: Latent Variables Stable Across Ontologies
lesswrong.com·1d
📝Term Rewriting
How Causal Reasoning Addresses the Limitations of LLMs in Observability
infoq.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·1d
📊Runtime Verification
The gen on function perilogues (2010)
jdebp.uk·3d·
Discuss: Hacker News
🐫Embedded OCaml
ReScript's Generalized Algebraic Data Types
rescript-lang.org·13h·
Discuss: Hacker News
🔠Type-Level Programming
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·2d
📚Automata Learning
Writing a C compiler in 500 lines of Python
vgel.me·2d·
Discuss: Hacker News, r/programming
🐫OCaml