🏛️ Agda

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

I really like Home Assistant’s triggers and actions model for its flexibility
hamatti.org·11h
🏠Home Automation
22.00.0125 I created my own platform
johnnydecimal.com·5h
🏠Personal Archives
Scaling AI through our global network footprint
blog.arelion.com·1d
🕸️Mesh Networking
Shedding Light on PoisonSeed’s Phishing Kit
blog.nviso.eu·1d
🎫Kerberos Attacks
InfoSec News Nuggets 8/12/2025
aboutdfir.com·23h
🔓Hacking
Galactic Rosetta Stone
physicalsciences.uchicago.edu·11h·
Discuss: Hacker News
🧲Magnetic Domains
The CSS if() function: Conditional styling will never be the same - LogRocket Blog
blog.logrocket.com·1d
🔗Constraint Handling
Grafana Cloud Metrics memory corruption issue resolved
grafana.com·2d·
Discuss: Hacker News
👁️Observatory Systems
The August 2025 Security Update Review
thezdi.com·17h
🔓Hacking
Linux Address Space Isolation "ASI" Revived After Lowering 70% Performance Hit To 13%
phoronix.com·15h·
Discuss: r/linux
🔩Systems Programming
$10,000 Google Bug Bounty: How a Deserialization RCE in AppSheet Could Have Led to Remote Code…
infosecwriteups.com·3d
🌐WASI
Exploring the Technical Knowledge Interaction of Global Digital Humanities: Three-decade Evidence from Bibliometric-based perspectives
arxiv.org·7h
📚Digital Humanities
LLMs vs. Chinese Anime Enthusiasts: A Comparative Study on Emotionally Supportive Role-Playing
arxiv.org·2d
🇯🇵Japanese Computing
Overconfidence in LLM-as-a-Judge: Diagnosis and Confidence-Driven Solution
arxiv.org·2d
✓Automated Theorem Proving
I Built a Comprehensive AI Coding Tools Directory
dev.to·2d·
Discuss: DEV
🔌Archive APIs
Enhanced Membrane Distillation Optimization via Hybrid AI-Driven Process Modeling
dev.to·1d·
Discuss: DEV
☕Precision Brewing
Audio-Thinker: Guiding Audio Language Model When and How to Think via Reinforcement Learning
arxiv.org·1d
🎵Audio ML
Discovering Spatial Correlations between Earth Observations in Global Atmospheric State Estimation by using Adaptive Graph Structure Learning
arxiv.org·1d
🌊Spectral Clustering
TAR-TVG: Enhancing VLMs with Timestamp Anchor-Constrained Reasoning for Temporal Video Grounding
arxiv.org·1d
⏱️SMPTE Timecode
EchoAid: Enhancing Livestream Shopping Accessibility for the DHH Community
arxiv.org·1d
✋Tactile Computing