🏛️ Agda

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

Why Are We Seeing Different Findings About AI?
daniel.industries·3d
🛠Language Design
Evidence of active sound production by a shark
royalsocietypublishing.org·2d·
Discuss: Hacker News
📡Frequency Archaeology
Perceived Personality in Generative AI
joshtronic.com·3d
🎙️Whisper
Will Cogley's DIY Animatronic Eye Mechanism Control Board
nmrobots.com·1d·
Discuss: Hacker News
🔌Single Board PC
There Is No Trolley Problem
the-reframe.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Racket 8.18 Released
blog.racket-lang.org·5d·
Discuss: Hacker News
🧠Lisp Dialects
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io·6d·
Discuss: Hacker News
🔤Unicode Normalization
Critical Docker Desktop flaw lets attackers hijack Windows hosts
bleepingcomputer.com·1d·
Discuss: Hacker News
📦Container Security
When doing too much is a symptom, not a solution
kevinavignon.com·1d·
Discuss: Hacker News
❄️Nix Flakes
Ask HN: Why hasn't x84 caught up with Apple M series?
news.ycombinator.com·1d·
Discuss: Hacker News
🔌Operating system internals
Using Derive_more for Errors in Rust
quamserena.com·5d·
Discuss: Hacker News
🦀Rust Borrowing
The Bizarre Material No Container Can Hold: Scientists Create Liquid Carbon in the Lab for the First Time
scitechdaily.com·2d
🌈Spectroscopy
First absolute superconducting switch developed in a magnetic device
phys.org·1d·
Discuss: Hacker News
⚛️Quantum Tape
I, Me and AI-Self – Dance or a Trance?
dev.to·1d·
Discuss: DEV
🤖AI Curation
How to Show that Studying Philosophy Improves Thinking Skills
dailynous.com·1d
🏛️Philosophy
Can someone explain me how create a gateway class for a multi provider cluster
reddit.com·2d·
Discuss: r/kubernetes
⚡gRPC
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·6d·
Discuss: Hacker News
⚡Proof Automation
Master Arduino Programming - Lesson #6
hackster.io·6d
🔗Concatenative Programming
Predicting brain tumour enhancement from non-contrast MR imaging with artificial intelligence
arxiv.org·1d
🔍Vector Forensics
Hybrid Quantum-Classical Learning for Multiclass Image Classification
arxiv.org·1d
⚛️Quantum Codes