🇨🇿 Czech MIR

Czechoslovak Computing, Tesla Computers, Socialist Hardware, SMEP Systems

Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
Waabi's Mixed Reality Testing Pushes the Boundaries of AV Safety
waabi.ai·9h·
Discuss: Hacker News
🎯Emulator Accuracy
The Kepler Problem (Part 2)
johncarlosbaez.wordpress.com·1d·
Discuss: Hacker News
⚙Backus-Naur Form
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5h·
Discuss: Hacker News
🎯Interactive Provers
Meta to invest hundreds of billions of dollars into several multi-GW datacenters
datacenterdynamics.com·1d·
Discuss: Hacker News
🏠Homelab Federation
How to Avoid Data Access Bottlenecks When Using Trino
starburst.io·9h·
Discuss: Hacker News
⚡Redis Internals
A Collection of Lightning Detectors
hackaday.com·11h
⚡Circuit Design
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
bluewave-labs/Checkmate
github.com·1h
🔄Sync Engine
C-ZUPT: Stationarity-Aided Aerial Hovering
arxiv.org·23h
⚙️Tape Mechanics
I Tried Going on a Date With Elon Musk's New AI Girlfriend
lifehacker.com·5h
🌀Brotli Internals
Grok 4 VS Claude Opus 4: Which is Better?
dev.to·40m·
Discuss: DEV
🌀Brotli Internals
Enhancing Your Matillion Python Component with a Custom Matillion Python Package Powered by Amazon Q Developer
dev.to·19h·
Discuss: DEV
🤖Network Automation
⚡ Special Features of Mojo: The Python Killer?
dev.to·1d·
Discuss: DEV
💧Liquid Types
Machine Learning Fundamentals: decision trees project
dev.to·11h·
Discuss: DEV
🔗Topological Sorting
*This is a submission for the [World's Largest Hackathon Writing Challenge](https://dev.to/challenges/wlh): Building with Bolt.*
dev.to·5h·
Discuss: DEV
🌊Streaming Systems
Claude Code Unleashed
ymichael.com·8h·
Discuss: Hacker News
⚡Proof Automation
My little homelab under a pinball machine
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Radxa E24C and E54C Rockchip RK3528A/RK3582 network computers features four Gigabit Ethernet ports
cnx-software.com·1d
🔌Single Board PC
Why Enterprises Are Choosing Botpress Development for Chatbots
dev.to·16h·
Discuss: DEV
🗣️Domain-Specific Languages