🏛️ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

Moan-routine: LO's Predicate Signatures
lmika.org·3d
🔗Functional Compilers
vanhauser-thc/thc-hydra
github.com·1d
🛡️eBPF Security
The Right Approach to Authorization in RAG
osohq.com·4d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Clustered PostgreSQL
arch.dog·3d·
Discuss: Lobsters, Hacker News
🏠Homelab Clusters
Show HN: I made a private, portable, virtual LLM OS with JavaScript and Gemini
oopisos.neocities.org·1d·
Discuss: Hacker News
🔌Operating system internals
Tools using tools
cassidoo.co·1d·
Discuss: Hacker News
⚡Proof Automation
Upcoming const breakthrough
reddit.com·11h·
Discuss: r/rust
🔒Type Safety
Stop Converting Your REST APIs to MCP
jlowin.dev·2d·
Discuss: Hacker News
📞Session Types
Why 87% of Developers Write Trash Prompts (And How You Can Level Up)
dev.to·1d·
Discuss: DEV
📐Proof Assistants
Can Your LLM Handle an Invoice? I Tested 5—Here’s the Truth
hackernoon.com·18h
📄Document Digitization
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3d
⚙️TLA+
Kimi K2: A New Frontier for Developers
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Abstract Syntax Trees (ASTs) in Action: Build Your Own Python Code Sniffer
dev.to·3d·
Discuss: DEV
🌳Incremental Parsing
Anyone working with Go + Cap’n Proto?
reddit.com·1d·
Discuss: r/golang
⚡gRPC
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·4d
🧬Functional Programming
🔥 React Advanced is landing in Toronto!
dev.to·4h·
Discuss: DEV
🎬WebCodecs
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·3d
🎙️Whisper
Better Together: Quantifying the Benefits of AI-Assisted Recruitment
arxiv.org·9h
🌍Cultural Algorithms
The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?
arxiv.org·9h
✨Effect Handlers
What Factors Affect LLMs and RLLMs in Financial Question Answering?
arxiv.org·9h
🌳Context free grammars