🏛️ Agda

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

New Group Selection in the On Demand Comparison Report And New On Demand Analytics Report
cdlib.org·13h
🏛️OAIS Implementation
BUZZ: Beware The Bearish August-September Trend In Social Media Darling Stocks
seekingalpha.com·9h
🔍BitFunnel
Going to DEFCON? See my talk, "We are currently clean on OPSEC": The Signalgate Saga
micahflee.com·11h
🕳️Information Leakage
Scientists Are Hunting Down Humanity's Earliest Artificial Memories
popularmechanics.com·17h·
Discuss: Hacker News
🗝️Paleocryptography
Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.com·11h
🔩Systems Programming
Anthropic studied what gives an AI system its ‘personality’ — and what makes it ‘evil’
theverge.com·13h·
Discuss: Hacker News
🔍Vector Forensics
CUS-QA: Local-Knowledge-Oriented Open-Ended Question Answering Dataset
arxiv.org·2d
🧮Vector Embeddings
Cell-Free Massive MIMO SWIPT with Beyond Diagonal Reconfigurable Intelligent Surfaces
arxiv.org·1d
📡Information theory
🚀 The Best Programming Languages to Learn in 2026
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Overcome development disarray with Amazon Q Developer CLI custom agents
aws.amazon.com·1d
🔒WASM Capabilities
Python Packaging Best Practices: Build Professional, Reusable Components That Scale
dev.to·3d·
Discuss: DEV
❄️Nix Flakes
The Warm Future: Why Agentic AI Companies Build Empathy
dev.to·21h·
Discuss: DEV
🌍Cultural Algorithms
AI Agents for DevOps: Architect, Deploy, and Automate Like a Pro — Book Launch
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Python Lambda Functions: When to Use Them (and When Not To) [2025 Guide]
dev.to·4d·
Discuss: DEV
λLambda Formalization
Machine Learning Fundamentals: k-means example
dev.to·4d·
Discuss: DEV
👁️Observatory Systems
The Art of the Hack: From Suspicion to Submission
dev.to·23h·
Discuss: DEV
🚀Indie Hacking
Multilingual Self-Taught Faithfulness Evaluators
arxiv.org·4d
💻Local LLMs
Hanging Around: Cognitive Inspired Reasoning for Reactive Robotics
arxiv.org·4d
🔲Cellular Automata
AI Tools I'm using to 10x my productivity
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Secure Integrated Sensing and Communication Networks: Stochastic Performance Analysis
arxiv.org·1d
⚽Sphere Packing