🏛️ Agda

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

Getting the most out of a request in Warp
warp.dev·5d
🌊Streaming Systems
Building the mouse Logitech won't make
samwilkinson.io·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
WeakC4, or Distilling an Emergent Object
2swap.github.io·4d·
Discuss: Hacker News
🔲Cellular Automata
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·4d·
Discuss: Hacker News
🔲Cellular Automata
Agentic Browser Security: Indirect Prompt Injection in Perplexity Comet
simonwillison.net·1d·
Discuss: Hacker News
🛡️WASM Security
Teams Grow Organically
frederickvanbrabant.com·1d·
Discuss: Hacker News, r/programming
🔄Lens Laws
AI browsers could leave users penniless: A prompt injection warning
malwarebytes.com·1d
🚀Indie Hacking
Computing Technology I Use
verber.com·1d·
Discuss: Hacker News
🍎Apple Computing
How Python Software Enhances Post Construction Cleaning
dev.to·1d·
Discuss: DEV
🔄Document Workflows
Forget the warm fuzzies of finding common ground: To beat polarization, try changing your expectations
phys.org·1d
🧲Magnetic Philosophy
This quiet but powerful pedestal fan blew me away during testing – here’s why I’ve rated it 5 stars
techradar.com·17h
🖥️Modern Terminals
Amazon is betting on agents to win the AI race
theverge.com·5d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
High-binding-energy material achieves record QLED efficiency and lifetime
phys.org·1d
⚛️Quantum Tape
Building AI Products in the Probabilistic Era
giansegato.com·5d·
Discuss: Hacker News
🧠Intelligence Compression
Show HN: Simple visual tools for common situations in your LLM via mcp-UI
github.com·13h·
Discuss: Hacker News
🪟Awesome windows command-line
25th August – Threat Intelligence Report
research.checkpoint.com·1d
🔓Hacking
The Human Centered Blueprint for Maximizing Your AI Investment
dev.to·1d·
Discuss: DEV
🤖AI Curation
Decoding clues in Bennu's surface composition to make sense of far-flung asteroids
phys.org·15h
🦴Database Paleontology
Advices for configuring homelab
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab
Framework is now selling the first gaming laptop that lets you easily upgrade its GPU — with Nvidia’s blessing
theverge.com·13h·
Discuss: Hacker News, r/hardware
🖥️Modern Terminals