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

What Artifacts Teach Us
systemsapproach.org·2d
📡Network Archaeology
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·3d
💻Programming languages
Flag this post
AMD's Zen 5 RDSEED Issue Is Causing Headaches For Optimized CachyOS Builds
phoronix.com·1d
🤝Paxos Consensus
Flag this post
Demo Day (feat. Murphy’s Law)
reddit.com·10h·
Discuss: r/kubernetes
👁️Observatory Systems
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·2d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
Recent research in Relational Adversarial Generation (RAG) s
dev.to·11h·
Discuss: DEV
🔄Graph Rewriting
Flag this post
Unleash AI Potential: Mastering Automated Data Labeling for Unprecedented Model Accuracy
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Flag this post
Generative Universal Verifier as Multimodal Meta-Reasoner
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Disciplined Biconvex Programming
arxiv.org·2d
🎯Performance Proofs
Flag this post
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.org·1d
📋Document Grammar
Flag this post
A beginner's guide to the Flux-Fast model by Prunaai on Replicate
dev.to·3h·
Discuss: DEV
🌊Streaming Algorithms
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·3d·
Discuss: DEV
Proof Automation
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·3d
🧠Learned Indexing
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·1d·
Homebrew CPUs
Flag this post
Building an AI-Powered E-Shopping Platform with Intelligent Product Recommendations
dev.to·2d·
Discuss: DEV
🤖AI Curation
Flag this post
From Stack to Impact: What Actually Worked in My 3 AI Tool Sites
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Flag this post
Open Character Training: Shaping the Persona of AI Assistants through Constitutional AI
arxiv.org·2d
🎙️Whisper
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·2d
⚛️Quantum Archives
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·2d
📋Document Grammar
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·2d
Effect Handlers
Flag this post