🏛️ Agda

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

Six Acclaimed Artists Interpret Ecology and the Landscape for ‘Ground/work 2025’
thisiscolossal.com·7h
📐Mathematical Art
The Evolution of Endpoint Protection with Advanced Threats
sentinelone.com·3d
🚨Incident Response
Vanilla JavaScript scroll restoration for overflowing elements
restore-scroll.js.org·2d·
Discuss: Hacker News
🖋Typography
The Curious Case of Entropy
keccak-doomsday.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Turning observability into a team strength without a big overhaul
testdouble.com·3d
👁️System Observability
AI Chatbots Are Evil
newpolity.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Launch HN: Uplift (YC S25) – Voice models for under-served languages
news.ycombinator.com·2d·
Discuss: Hacker News
🎙️Whisper
Self-reinforcing cascades: How ideas, beliefs, and innovations spread in the digital age
phys.org·5h
🌡️Preservation Entropy
AI Captures Once-in-a-Lifetime Supernova That Glowed Twice
scitechdaily.com·2d
👁️Observatory Systems
Nanopore technique for measuring DNA damage could improve cancer therapy and radiological emergency response
phys.org·7h
🧲Magnetic Resonance
Y Combinator's Youngest Solo Founder Says Digital Identity Is The Internet's Biggest Infrastructure
hackernoon.com·2d
🚀Indie Hacking
OPTIC-ER: A Reinforcement Learning Framework for Real-Time Emergency Response and Equitable Resource Allocation in Underserved African Communities
arxiv.org·2d
🌊Stream Processing
Assessing Pedestrian Behavior Around Autonomous Cleaning Robots in Public Spaces: Findings from a Field Observation
arxiv.org·1d
🔶Voronoi Diagrams
Deep Learning Model for Amyloidogenicity Prediction using a Pre-trained Protein LLM
arxiv.org·2d
🧮Vector Embeddings
Automated Quantum Wire Defect Mapping via Multimodal Bayesian Inference
dev.to·3d·
Discuss: DEV
⚛️Quantum Error Correction
Who would be down to build a Bitnami alternative (at least on the most common apps)?
reddit.com·1d·
Discuss: r/kubernetes
🔓Open Source Software
Enhanced Sweetener Design via Hybrid Molecular Dynamics & Bayesian Optimization
dev.to·2d·
Discuss: DEV
☕Coffee Chemistry
Implicit-Explicit Scheme with Multiscale Vanka Two-Grid Solver for Heterogeneous Unsaturated Poroelasticity
arxiv.org·2d
💧Liquidhaskell
Automated Electrochemical Impedance Spectroscopy Analysis via Reinforcement Learning for Corrosion Prediction
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Puzzle: Patty Paper Trisection
denisegaskins.com·1d
📐Mathematical Art