🏛️ Agda

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

Enigma Crypto Transmission on Saturday August 30, 2025 @ 2000 GMT
radiomarine.org·1d·
Discuss: Hacker News
🔍Polish Cryptanalysis
Large language models are cultural technologies. What might that mean?
programmablemutter.com·1d
🔲Cellular Automata
Android sideloading faces new restrictions as Google blocks unverified developers
techspot.com·1d·
Discuss: r/technews
🛡️ARM TrustZone
Google improves Gemini AI image editing with “nano banana” model
arstechnica.com·1d
🗜️LZW Variants
Condor Computing’s Cuzco, a High-Perf RISC-V Design at Hot Chip 2025
servethehome.com·2d·
Discuss: Hacker News
🧩RISC-V
Japan launches its first homegrown quantum computer
livescience.com·1d·
Discuss: Hacker News, r/hardware, r/technews
⚛️Quantum Tape
AMD RDNA 4 GPU Architecture at Hot Chips 2025
servethehome.com·1d·
Discuss: Hacker News, r/hardware
⚡Homebrew CPUs
AI tools like ChatGPT sharply reduce jobs for young workers in exposed fields, study shows
the-decoder.com·1d
🗺️Competency Maps
Does Rust complexity ever bother you?
reddit.com·5d·
Discuss: r/rust
🦀Rust Borrowing
A little of that human touch: rethinking CX in the Age of AI
techradar.com·13h
🔌Interface Evolution
AI-Driven Automation in Business Operations
dev.to·2d·
Discuss: DEV
🌊Stream Processing
This AI model simulates 1,000 years of the current climate in just one day
phys.org·2d
🔲Cellular Automata
Common metal, unusual power: Manganese complex sets new standard in photochemistry
phys.org·5h
🌈Spectroscopy
Rare isotopes in our neighboring stars provide new insights into the origin of carbon and oxygen
phys.org·1d
🌈Spectroscopy
Scaling Expert Oversight of AI: HackerOne's Human-in-the-Loop Methodology
hackerone.com·6d
⚡Proof Automation
Welcome to AI Week 2025
blog.cloudflare.com·3d
👁️Observatory Systems
A XAI-based Framework for Frequency Subband Characterization of Cough Spectrograms in Chronic Respiratory Disease
arxiv.org·2d
📊Spectrograms
A.I. Is Coming for Culture
newyorker.com·2d
🎯Content Recommendation
The Quantum Shift Is Here: A Survival Guide for the New Era of Software
devops.com·1d
🔄Language Evolution
BrainPath: Generating Subject-Specific Brain Aging Trajectories
arxiv.org·1d
🌀Differential Geometry