🏛️ Agda

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

Humans intervened every 9 minutes in AAA test of driver assists
arstechnica.com·9h
💾Persistence Strategies
Physics+ Brachistochrone: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·2d·
Discuss: www.blogger.com
⚙Backus-Naur Form
Children of the TI: Write Once, Run Anywhere
bumbershootsoft.wordpress.com·4d
🎮Gameboy Emulation
How to Solve a Problem
henrikkarlsson.xyz·3d·
Discuss: Hacker News
❄️Nordic Design Philosophy
Speed wins when fuzzing Rust code with `#[derive(Arbitrary)]`
nnethercote.github.io·5d·
Discuss: r/rust
🦀Rust Macros
Microsoft boss troubled by rise in reports of 'AI psychosis'
bbc.com·9h·
Discuss: Hacker News, r/technews
🔓Hacking
Top AWS chip designer reportedly defects to Arm as it weighs push into silicon
theregister.com·1d
🖥️Hardware Architecture
How to Correctly Apply Limits on the Result in DAX (and SQL)
towardsdatascience.com·2d
🔗Constraint Handling
The Maintenance Algorithm: A Life Principle We Often Overlook
hackernoon.com·1d
💾Persistence Strategies
Offline Voice Assistant
hackster.io·1d
🎙️Whisper
Impacket: A collection of Python classes for working with network protocols
github.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Make Google Search Clean Again!
dev.to·1d·
Discuss: DEV
🔍BitFunnel
AI-Driven Adaptive Curriculum Design for Geriatric Caregiver Training Simulators
dev.to·3d·
Discuss: DEV
🗺️Competency Maps
Channels vs Mutexes In Go - the Big Showdown
dev.to·2d·
Discuss: DEV, r/golang
🌊Stream Processing
Fairness-Aware Multi-view Evidential Learning with Adaptive Prior
arxiv.org·2d
🧠Machine Learning
Value Exchange in Cybersecurity
paloaltonetworks.com·2d
🤝Distributed Consensus
Agentic AI’s security risks are challenging, but the solutions are surprisingly simple
techradar.com·1d
🎯Threat Hunting
Adaptive Resource Allocation in Coherent Memory Systems for AI Inference Acceleration
dev.to·5d·
Discuss: DEV
🖥️Hardware Architecture
Automated Anomaly Detection in Industrial CT Scans via Hyperdimensional Pattern Matching
dev.to·5d·
Discuss: DEV
🔍Vector Forensics
Deciding between AM5 Epyc and Epyc Milan or ROME
reddit.com·10h·
Discuss: r/homelab
⚡Homebrew CPUs