🏛️ Agda

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

FydeOS vs ChromeOS Flex vs ZorinOS: Comparative Analysis
blackmoreops.com·16h
🔌Operating system internals
Final Fantasy 14 on macOS with a 36 key keyboard
xeiaso.net·2d
🍎XNU Internals
First 5GW off grid data center
datacenterdynamics.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How to store weather forecast data for fast time-series APIs
openmeteo.substack.com·3d·
Discuss: Substack
📈Time Series
Alerting Best Practices
victoriametrics.com·4d·
Discuss: Hacker News
👁️Observatory Systems
Bring Your Own Model to Chat in Visual Studio
devblogs.microsoft.com·4d·
Discuss: Hacker News
🎙️Whisper
The Endless August Recess
newyorker.com·18h
📄Text Chunking
Pseudolaw is high theater, but no laughing matter for the courts
phys.org·20h
🏛Digital humanities
Google NotebookLM goes global with multilingual AI video summaries of your notes
techradar.com·6h
🏛Digital humanities
Hackers Lied In Wait, Then Knocked Out Iran Ship Comms
darkreading.com·12h
🔓Hacking
ClickFix Attack Tricks AI Summaries Into Pushing Malware
darkreading.com·14h
🔓Hacking
SecureBitChat v4.01.412 Release
github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Stand-Up – Why are we using a public meeting for performance management?
medium.com·1d·
Discuss: Hacker News
📊Feed Optimization
Classification in Supervised Learning: Classify Me If You Can
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Automated Calibration of Microbalance Sensors via Bayesian Optimization and Neural Network Emulation
dev.to·4d·
Discuss: DEV
🔧Hardware Verification
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.org·4d
🔲Cellular Automata
Dine Brands: Pipeline Re-Growth Possible With Early Stabilization And Dual-Branded Approach
seekingalpha.com·31m
📡RSS
On This Day in Math - August 21
pballew.blogspot.com·5d·
Discuss: www.blogger.com
📐Mathematical Art
My One-Month Journey with the Cursor Editor: An Honest Review
dev.to·3d·
Discuss: DEV
🔄Language Evolution
[$] Bringing restartable sequences out of the niche
lwn.net·4d
🔩Systems Programming