🏛️ Agda

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

A CT scanner reveals surprises inside the 386 processor's ceramic package
righto.com·12h·
Discuss: Hacker News
⚡Circuit Archaeology
Security with network protocols Android Developers
developer.android.com·54m·
Discuss: Hacker News
🌐NetworkProtocols
GNOME 49 Backlight Changes
blog.sebastianwick.net·1d·
Discuss: Lobsters, Hacker News, r/linux
🌈Color Archaeology
I’ve driven the new electric Mercedes G-Wagen – and the rough-and-ready EV makes very little sense, which is why it’s perfect
techradar.com·18h
🖥️Modern Terminals
Coding in the Red-Queen Era
corecursive.com·3d
📏Code Metrics
Acoustic Guardian
hackster.io·8h
🎙️Whisper
Pinecone Price Increase 😱 Is Chroma Cloud the Best Alternative?
dev.to·1d·
Discuss: DEV
🔄Sync Engine
The Next Evolution of Docker Hardened Images: Customizable, FedRAMP Ready, AI Migration Agent, and Deeper Integrations
docker.com·3d
📦Container Security
🚀 DSA: The 8-Week Grind – Join Me in This Challenge! (Week 1, Day 1 Recap)
dev.to·4d·
Discuss: DEV
🗂Data structures
Tech stack breakdown of dblayer – Go + Next.js 15 + Express + PostgreSQL
reddit.com·4d·
Discuss: r/golang
🐚Nordic Shell
Python Fundamentals: contextlib
dev.to·3d·
Discuss: DEV
🌳Incremental Parsing
Show HN: Principles of Building AI Agents book [pdf]
github.com·3d·
Discuss: Hacker News
⚡Proof Automation
Taming Go's Garbage Collector for Blazing-Fast, Low-Latency Apps
dev.to·2d·
Discuss: DEV
🎯Emulator Accuracy
The Convention Generation Experiment: Why AI Can't Build What I Hoped It Could
dev.to·5d·
Discuss: DEV
🔌Interface Evolution
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.org·5d
🌳Context free grammars
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·5d
💻Local LLMs
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·5d
🧮Datalog
Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data
arxiv.org·5d
🛡️Error Boundaries
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·5d
💻Local LLMs
A Start Of A Journey: BillsTechDeck
dev.to·4d·
Discuss: DEV
📡RSS Automation