How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·2d
🌊Streaming Systems
CVE-2025-59397 - Open Web Analytics SQL Injection
seclists.org·3d
🛡Cybersecurity
History rides again
robinsloan.com·1d
✨Effect Handlers
Absurd fallacies of "minimalist" Linux setups
self-rover.bearblog.dev·4h·
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
Cold Calculation
kae3g.codeberg.page·17h·
Discuss: Hacker News
⚡Incremental Computation
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
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6d·
Discuss: DEV
📏Code Metrics
Scriptable mutating admission hook?
reddit.com·1d·
Discuss: r/kubernetes
🎯Gradual Typing
Vibe Coding: Closing The Feedback Loop With Traceability
blog.sentry.io·4d·
Discuss: Hacker News
⚡Proof Automation
Handling 100+ Website Scrapers with Python's asyncio
dev.to·12h·
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
[P] PKBoost: Biologically-Inspired Rust Gradient Booster for Drift/Adversarial ML (“Out-of-the-Box” Wins vs XGBoost/LGBM/CB)
reddit.com·21h·
Discuss: r/MachineLearning
⚡Homebrew CPUs
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
The Custom Conveyor: Building Your Own Iterators
dev.to·1d·
Discuss: DEV
🔄Burrows-Wheeler
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·2d·
Discuss: DEV
✅Format Validation