How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·2d
🌊Streaming Systems
Absurd fallacies of "minimalist" Linux setups
self-rover.bearblog.dev·6h·
Discuss: r/linux
🔌Operating system internals
Who Invented the Johnson Decade Counter (and Why)?
eejournal.com·3d·
Discuss: Hacker News
⚡Homebrew CPUs
Microsoft hypes PCs with NPUs, still can't offer a good reason to buy one
theregister.com·2d·
Discuss: Hacker News
🔌Operating system internals
The Great Software Quality Collapse Or, How We Normalized Catastrophe
techtrenches.substack.com·2d·
Discuss: Substack
🛡️Error Boundaries
Open Lineage
usenix.org·2d
🔌Interface Evolution
Intent Weaving for AI Coding Agents
autohand.ai·2d·
Discuss: Hacker News
⚡Proof Automation
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6d·
Discuss: DEV
📏Code Metrics
Handling 100+ Website Scrapers with Python's asyncio
dev.to·14h·
Discuss: DEV
📰RSS Archaeology
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·2d
⛪Church Encoding
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·2d
⚙️Compression Benchmarking
Scriptable mutating admission hook?
reddit.com·1d·
Discuss: r/kubernetes
🎯Gradual Typing
The Porcelain to Come
stackdiver.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·2d·
Discuss: Hacker News
✨Effect Handlers
Day 29 of python code series..
dev.to·2h·
Discuss: DEV
🔩Systems Programming
The Custom Conveyor: Building Your Own Iterators
dev.to·1d·
Discuss: DEV
🔄Burrows-Wheeler
Real-time Anomaly Detection in Financial Transactions via Hybrid Reinforcement Learning and Graph Neural Networks
dev.to·20h·
Discuss: DEV
🔍Vector Forensics
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·2d·
Discuss: DEV
✅Format Validation
Does OpenCode Support Hooks? A Complete Guide to Extensibility
dev.to·2d·
Discuss: DEV
🔓Open Source Software
CLI tool that translates plain English into Linux commands
reddit.com·1d·
Discuss: r/linux
📝Shell Parsing