Writing effective tools for LLM agents–using LLM agents
anthropic.com·1h·
Discuss: Hacker News
💎Refinement Types
Using Haskell in Production
agentultra.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
You Can Just Do Things
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·4h·
Discuss: Hacker News
➡️Category Theory
Nanonext: breaking down language barriers in data science
tidyverse.org·7h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
The Case for Cowboy Coding
bevel.work·2d·
Discuss: Hacker News
💎Refinement Types
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·7h·
Discuss: Hacker News
🧩Separation Logic
Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
arxiv.org·17h
🤖Program Synthesis
Generating Website Banners Algorithmically
golfed.xyz·7h·
Discuss: Hacker News
💾Retro Computing
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·14h·
Discuss: Substack
📚Automata Learning
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·2d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·1d·
Discuss: Hacker News
👁️System Observability
The Little Book of Everything
github.com·3d·
Discuss: Hacker News
➡️Category Theory
Using Linters to Direct Agents
factory.ai·2d·
Discuss: Hacker News
🔄Reproducible Builds
Large Language Model Hacking: Quantifying the Hidden Risks of Using LLMs for Text Annotation
arxiv.org·17h
🛡️seL4
Large Language Mode(ration)
ashley.rolfmore.com·11h·
Discuss: Hacker News
🩹Self-Healing Systems
Rewriting Dataframes for MicroHaskell
mchav.github.io·3d·
Discuss: Hacker News, r/programming
🧮Lambda Calculus
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Tokenizing Loops of Antibodies
arxiv.org·17h
🧮Lambda Calculus
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·2d·
Discuss: Hacker News
🔄Reproducible Builds