🏛️ Agda

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

This “smart coach” helps LLMs switch between text and code
news.mit.edu·3d
💻Local LLMs
Reinforcement Learning with Nvidia NeMo-RL
nvidia-nemo.github.io·19h·
Discuss: Hacker News
📊Quantization
The Internet is a Series of Webs (2024)
aramzs.xyz·41m·
Discuss: Hacker News
📡BGP Archaeology
A PhD's Apology
cappadokes.github.io·4d·
Discuss: Hacker News
🧮Theoretical Computer Science
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com·2d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·2d·
Discuss: Hacker News
🔒WASM Capabilities
The New Surprising Number of Steam Games That Use GenAI
totallyhuman.io·1d·
Discuss: Hacker News, r/TwoBestFriendsPlay
📼Retro Games
Homelab Tour (2022)
taoofmac.com·1d·
Discuss: Hacker News
🏠Homelab Archaeology
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·3d·
Discuss: Hacker News
⚡Performance Mythology
A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·2d·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Book Review: Origin of Consciousness in the Breakdown of the Bicameral Mind
slatestarcodex.com·1h·
Discuss: Hacker News
🧮Theoretical Computer Science
Decart launches MirageLSD, an AI model that transforms live video feeds in real time
the-decoder.com·1d
🌊Streaming Algorithms
Thoughts on External Memory for LLMs
medium.com·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
I built CodeMocker: AI-powered mock coding interviews
dev.to·2d·
Discuss: DEV
🎙️Whisper
The Power of HTML - Part 5: Accessibility Unleashed: Inclusive Design with HTML
dev.to·3h·
Discuss: DEV
🌐Web Standards
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·3d
🔍Information Retrieval
The Switch 2’s next killer app is already here
theverge.com·2h
🗜️LZW Variants
The Power of HTML - Part 21: HTML for AI Web Apps: Rendering Models and Data Viz
dev.to·2h·
Discuss: DEV
🌐Web Standards
Setting up proper documentation with Sphinx docs — Building stocksimpy 1
dev.to·1d·
Discuss: DEV
⚡Proof Automation
UTCP: The DNS of the Agentic World
dev.to·2d·
Discuss: DEV
🔌Interface Evolution