🏛️ Agda

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

NASA’s Rovers Keep Getting Stuck and We Just Found Out Why
scitechdaily.com·17h
📟Terminal Physics
The pains of Intel: From CPU design and process technology challenges to internal clashes and political pressure
tomshardware.com·17h
🖥️Modern Terminals
OpenHands ZombAI Exploit: Prompt Injection To Remote Code Execution
embracethered.com·2d
🎫Kerberos Attacks
Optimising Docker Layers for Better Caching with Nix - Graham Christensen
grahamc.com·23h
📦METS Containers
Palaeolithic carbonised plant food remains from Franchthi and Shanidar [pdf]
cambridge.org·1d·
Discuss: Hacker News
🗝️Paleocryptography
Counting Leading Zeros in a Byte
nemanjatrifunovic.substack.com·1d·
Discuss: Substack
🔬Binary Analysis
Virtual 6NF
minimalmodeling.substack.com·4d·
Discuss: Substack
💾Database Formats
6 Things I Learned While Building an Incident Response Simulation (IR Sim 101)
infosecwriteups.com·1d
🎯Threat Hunting
Kotakin: Simplifying Development Environment Management
dev.to·1d·
Discuss: DEV
📦METS Containers
ChatGPT is bringing back 4o as an option because people missed it
dev.to·58m·
Discuss: DEV
🔓Open Source Software
Improving Crash Data Quality with Large Language Models: Evidence from Secondary Crash Narratives in Kentucky
arxiv.org·5d
🧠Machine Learning
Google Gemini has started spiraling into infinite loops of self-loathing – and AI chatbots have never felt more human
techradar.com·23h
🌀Brotli Internals
An Explainable Machine Learning Framework for Railway Predictive Maintenance using Data Streams from the Metro Operator of Portugal
arxiv.org·4d
🧠Machine Learning
Day 60: When AI Shows You What Being Human Actually Means
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Beyond the Cache: AI-Driven Incident Management with Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
AttriLens-Mol: Attribute Guided Reinforcement Learning for Molecular Property Prediction with Large Language Models
arxiv.org·4d
🤖Grammar Induction
Enhanced Adiabatic Process Modeling via Iterative Ensemble Kalman Filtering
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Show HN: MemU: Let AI Memorize You
github.com·3d·
Discuss: Hacker News, r/opensource, r/selfhosted
🌀Brotli Internals
Natural Language-Driven Viewpoint Navigation for Volume Exploration via Semantic Block Representation
arxiv.org·10h
🏺Computational Archaeology
Introduction to AI Agents: Building Your First Chatbot with Flowise and LangChain
dev.to·2d·
Discuss: DEV
🎙️Whisper