🏛️ Agda

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

Legitimate Chrome VPN extension turns to browser spyware
infosecurity-magazine.com·7h·
Discuss: Hacker News
🕸️WebP Analysis
Rivian R1S suddenly went into limp mode: 4mph on a 8-lane intersection
old.reddit.com·5h·
Discuss: r/Rivian
⚡LZ4 Streaming
MoonBit Language Tour
tour.moonbitlang.com·6d·
Discuss: Lobsters
λLambda Formalization
OpenAI vs. Microsoft vs. Google: Wiring AI Within Products
docs.google.com·3d·
Discuss: Hacker News
🔌Interface Evolution
bitwarden/clients
github.com·3d
🧬Bitstream Evolution
Google’s AI Mode expands globally, adds new agentic features
techcrunch.com·3d
🌍Cultural Algorithms
Google is selling a version of Gemini for government agencies
engadget.com·3d
🏠Homelab Federation
Honey, I shrunk the image and now I'm pwned
theregister.com·3d
🎫Kerberos Attacks
How to Give Your RTX 4090 Nearly Infinite Memory for LLM Inference
medium.com·5d·
Discuss: Hacker News
⚡Homebrew CPUs
The 1970s Gave Us Industrial Decline. A.I. Could Bring Something Worse.
nytimes.com·23h·
Discuss: Hacker News
🍎Apple Computing
RAID recommendations
reddit.com·1d·
Discuss: r/homelab
💾Archive RAID
Boy, 15, and 54-year-old man arrested after fire at Ilford restaurant
the-independent.com·9h
🔱plan 9
Day 2 of 100
dev.to·4d·
Discuss: DEV
📝Concrete Syntax
Automated Formulation Optimization for Enhanced Contact Lens Solution Biofilm Control via Predictive Modeling
dev.to·3d·
Discuss: DEV
📄Document Digitization
DeCoT: Decomposing Complex Instructions for Enhanced Text-to-Image Generation with Large Language Models
arxiv.org·5d
🚀SIMD Text Processing
AI Agents Are Finally Delivering on the Semantic Web’s Promise
thenewstack.io·5d
🤖AI Curation
[D] PhD vs startup/industry for doing impactful AI research — what would you pick?
reddit.com·3d·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Why Did a $10 Billion Startup Let Me Vibe-Code for Them—and Why Did I Love It?
wired.com·3d·
Discuss: Hacker News, r/TrueReddit
🚀Indie Hacking
Integrated Take-off Management and Trajectory Optimization for Merging Control in Urban Air Mobility Corridors
arxiv.org·2d
🔌Interface Evolution
Zero-shot Volumetric CT Super-Resolution using 3D Gaussian Splatting with Upsampled 2D X-ray Projection Priors
arxiv.org·2d
🏺Computational Archaeology