AI Quests: Bringing AI literacy to the classroom
blog.google·6h
🗺️Competency Maps
Disaggregation: A New Architecture for Cloud Databases
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🗄️Database Sharding
Wrote an in-depth blog on scaling modern transformers with n-D parallelism
jaxformer.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Switch modder who acted as his own lawyer now owes Nintendo $2 million
arstechnica.com·8h·
Discuss: Hacker News
📺Retrogaming
Figma – The Untold Story
platforms.substack.com·3h·
Discuss: Substack
🌍Cultural Algorithms
Algebraic Effects in Practice with Flix
relax.software·2d·
Discuss: Lobsters, Hacker News, r/programming
✨Algebraic Effects
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
⚙️Proof Engineering
I tested this cheaper rival to Bose and Shokz' cuff-style open earbuds and other brands could learn a lot from it
techradar.com·1d
🎵Audio Streaming
I built an extensible Speech-to-Text app for Linux. With built-in visualization support for COSMIC DE
reddit.com·2d·
Discuss: r/linux
🎙️Whisper
Expanding Lenovo Tiny Proxmox host with 8-bay backplane (like Jonsbo N3)
reddit.com·14h·
Discuss: r/homelab
🕸️WebAssembly
Radxa CM4 – A Raspberry Pi CM4 replacement with Rockchip RK3576 Edge AI SoC, up to 16GB RAM
cnx-software.com·4d
🔌Single Board PC
Automated Trajectory Optimization for Aerobraking Entry Vehicle Guidance with Stochastic Wind Models
dev.to·13h·
Discuss: DEV
⚡Incremental Computation
Revolutionizing Cybersecurity with AI: The CAI Framework
dev.to·9h·
Discuss: DEV
⚡Proof Automation
E Ink Display Reaches the Realm of LCD Screens
spectrum.ieee.org·1d·
Discuss: r/hardware, r/technews
🖥️Modern Terminals
BatStation: Toward In-Situ Radar Sensing on 5G Base Stations with Zero-Shot Template Generation
arxiv.org·18h
📊PCAP Analysis
Spatial Transcriptomics: Automated Cell Type Deconvolution via Multi-Scale Graph Neural Networks
dev.to·1d·
Discuss: DEV
🌀Hyperbolic Geometry
A “Beam Versus Dataflow” Conversation
oreilly.com·1d
🌊Stream Processing
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·7h·
Discuss: Hacker News
⚡Proof Automation
Exposing Agents as MCP Servers with mcp-agent
dev.to·9h·
Discuss: DEV
⚙️TLA+
A New Hybrid Model of Generative Adversarial Network and You Only Look Once Algorithm for Automatic License-Plate Recognition
arxiv.org·18h
👁️Perceptual Hashing