🏛️ Agda

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

Rethinking Europe’s Cloud Future: Balancing Regulation and Innovation
circleid.com·1d
🖥️Self-hosted Infrastructure
Stabbing in an Arizona high school classroom leaves one student dead and another facing murder charges
the-independent.com·1h
🧬PostgreSQL Forensics
[Chips and Cheese] Skymont in Gaming Workloads
old.chipsandcheese.com·21h·
Discuss: Hacker News, r/hardware
⚡Cache Coherence
How to check if your Apple silicon Mac is booting securely
eclecticlight.co·15h
🔒Hardware Attestation
Open Source Maintenance Fee business model example from WiX Toolset
github.com·1h·
Discuss: Hacker News
📦Package Managers
Linux Mainline on Arm Chromebooks
github.com·3h·
Discuss: Hacker News
🔌Operating system internals
Introducing: gonzo! The Go based TUI log analysis CLI tool (open source)
reddit.com·1d·
Discuss: r/golang
📟Terminal Forensics
CrossTrace: Efficient Cross-Thread and Cross-Service Span Correlation in Distributed Tracing for Microservices
arxiv.org·3d
👁️Observatory Systems
Is a new privacy protocol helping malicious actors more than Internet users?
techradar.com·13h
🔐Homomorphic Encryption
10 Inspiring Software Engineer Portfolios (Including Mine!)
dev.to·3h·
Discuss: DEV
🚀Indie Hacking
Retro-Expert: Collaborative Reasoning for Interpretable Retrosynthesis
arxiv.org·3d
🧮Theorem Proving
Is General-Purpose AI Reasoning Sensitive to Data-Induced Cognitive Biases? Dynamic Benchmarking on Typical Software Engineering Dilemmas
arxiv.org·3d
🧠Intelligence Compression
Fail-Operational Grid Resilience via Decentralized Learning & Predictive Maintenance
dev.to·5d·
Discuss: DEV
🛡️Error Boundaries
The Hidden Cost of "Free" AI: The Question Nobody's Asking
dev.to·1d·
Discuss: DEV
🤖AI Curation
The hidden pitfalls of AI in the cloud: here's what businesses need to know
techradar.com·1d
🌊Stream Processing
Graphon Mean-Field Logit Dynamic: Derivation, Computation, and Applications
arxiv.org·2d
🔲Cellular Automata
Software Test Advisory Services: Strategic QA for Complex Digital Environments
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
'DripDropper' Hackers Patch Their Own Exploit
darkreading.com·2d
🔓Hacking
OpenAI's GPT-OSS: The Dawn of a New Open-Weight AI Era
dev.to·5d·
Discuss: DEV
🔓Open Source Software
What is the Bias-Variance Trade-off?
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Bounds