Broadcom BCM5780 Mid-and-South Bridges (PCIe Power Mac G5)
lowendmac.com·13h
🍎Apple Computing
Better git status
purpleidea.com·11h
🌳Git Internals
How Supercomputing Will Evolve, According to Jack Dongarra
wired.com·3h·
Discuss: r/technews
⚛️Quantum Tape
Unpacking Qualys Agentic AI: Technical Insights into Its Architecture and Capabilities
blog.qualys.com·23h
⚙️TLA+
The Future of Accrescent
blog.accrescent.app·11h·
Discuss: Hacker News, r/selfhosted
🔄Sync Engine
How to Write Inductive Invariants
quint-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
What is the Basic Formula for Plumbing?
dev.to·1d·
Discuss: DEV
🐚Shell Calculus
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·5d·
Discuss: Hacker News
📝Concrete Syntax
Roll Your Own Virtual Ontology with Claude Code
github.com·1d·
Discuss: Hacker News
📋Document Grammar
ASCII Art Signatures in the Wild (2012)
geon.github.io·3d·
Discuss: Hacker News
🔧KAITAI
Show HN: Gomoku game in JavaScript (GitHub and live demo)
github.com·2d·
Discuss: Hacker News, r/javascript
⚡Homebrew CPUs
Rails ViewComponent 4.0.0
github.com·23h·
Discuss: Hacker News
🦋Format Metamorphosis
How to Handle Multiple Assignment and Unpacking
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Rethinking Evidence Hierarchies in Medical Language Benchmarks: A Critical Evaluation of HealthBench
arxiv.org·1d
🧠Intelligence Compression
Recommendations for small home wireless NAS/Storage thing?
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
Building a Linear-Inspired Issue Tracker with Electron: Local-First, Keyboard-Driven, and Lightweight
dev.to·23h·
Discuss: DEV
🔓Open Source Software
Quantum framework offers new approach to analyzing complex network data
phys.org·18h
⚛️Quantum Circuits
SU-ESRGAN: Semantic and Uncertainty-Aware ESRGAN for Super-Resolution of Satellite and Drone Imagery with Fine-Tuning for Cross Domain Evaluation
arxiv.org·1d
📸TIFF Archaeology
Python Fundamentals: confluent-kafka
dev.to·2d·
Discuss: DEV
🌊Apache Kafka
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·5d
🎯Performance Proofs