🏛️ Agda

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

7 Best Tents (2025), Tested: Camping, Family, and Outdoor Palaces
wired.com·6h
🧊Arctic Storage
Nicole’s guide to writing research statements
quantumfrontiers.com·14h
🔬Academic Search
Best practices for creating and editing OpenDocument Format (ODF) files
blog.documentfoundation.org·8h·
Discuss: Hacker News
📋Document Standards
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·5d·
Discuss: Hacker News
🦀Rust Macros
R0ML’s Ratio
blog.glyph.im·2d·
Discuss: Hacker News
🔍BitFunnel
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·6d·
Discuss: Hacker News
📼Tape Combinators
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·5d·
Discuss: Hacker News
💻Programming languages
Emacs meets Claude: AI-supported software development with the editor veteran
heise.de·3d
🌳Incremental Parsing
Apple taught an LLM to predict tokens up to 5x faster in math and coding tasks
9to5mac.com·2d·
Discuss: Hacker News
💻Local LLMs
Python performance myths and fairy tales
lwn.net·5d·
Discuss: Lobsters, Hacker News
💻Programming languages
Does AI Quality Matter?
frontierai.substack.com·3d·
Discuss: Substack
📏Code Metrics
libsemigroups: C++ library for semigroups and monoids
github.com·6d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Biometrics via Wi-Fi: Signal disruptions allow identification and monitoring
heise.de·22h
🏠Home Automation
Super-resolution microscopy reveals nanoscale architecture of antibody-receptor interactions
phys.org·1h
💾Disk Imaging
LunarG Announces KosmicKrisp As Vulkan-On-Metal Mesa Driver
phoronix.com·3h
🖥️Terminal Renaissance
OpenAI's habit of rug pulling—why we are moving on to competitors
reddit.com·2d·
Discuss: r/artificial
🔓Open Source Software
Accelerated NBR Oil Resistance Assessment via Multi-Modal Data Fusion & Deep Learning
dev.to·1d·
Discuss: DEV
🧲Magnetic Resonance
What Is The Best Language 🏆for AI Engineering❓
dev.to·4d·
Discuss: DEV
🔩Systems Programming
Chronos Synapse — BYOK Telemetry + AI Insights SDK For Cron Using Redis
dev.to·17h·
Discuss: DEV
👁️Observatory Systems
Chronos Synapse — BYOK Telemetry + AI Insights SDK For Cron Using Redis
dev.to·17h·
Discuss: DEV
👁️Observatory Systems