Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·3d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Item Patterns and Struct Await
noratrieb.dev·3d·
Discuss: Hacker News
🦀Rust Macros
Let's Prove Leftpad
github.com·6d·
Discuss: Hacker News
📜Proof Carrying Code
A Proof of the Riemann Hypothesis
dev.to·4d·
Discuss: DEV
⚔️Lean Theorem
Best Approach for workflow - homelab deployment with private github repo
reddit.com·22h·
Discuss: r/homelab
📦Git LFS
Building Trust for AI Agents — ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.to·2d·
Discuss: DEV
🌳Archive Merkle Trees
Easily generate different NLP Task prompts for popular generative models
github.com·12h·
Discuss: Hacker News
🎙️Whisper
Automated Phenotyping of Cardiac Fibrosis via Multi-Modal Imaging Fusion and Deep Learning
dev.to·13h·
Discuss: DEV
🤖Advanced OCR
You Have Been LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives Using Large Language Models
arxiv.org·6d·
Discuss: Hacker News
🦠Parasitic Archives
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·2d·
Discuss: DEV
🔤Character Classification
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Note
hsu.cy·1d
🔍Archive Semantics
Prompt Injection 2.0: The New Frontier of AI Attacks
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
HLA-A*31:01-Associated Drug-Induced Stevens-Johnson Syndrome Prediction via Multi-Modal Federated Learning
dev.to·1d·
Discuss: DEV
📈Mutual Information
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·4d·
Discuss: DEV
🏠Homelab Orchestration
Updated Homelab Fall 2025 (issues resolved??)
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Modeling Time-Lapse Trajectories to Characterize Cranberry Growth
arxiv.org·4h
🧠Machine Learning
Counterfactually Fair Conformal Prediction
arxiv.org·4h
🧮Kolmogorov Bounds
Safety Analysis of eVTOL Operations based on STPA
arxiv.org·4h
🔐Capability Systems
Handling 100+ Website Scrapers with Python's asyncio
dev.to·1d·
Discuss: DEV
📰RSS Archaeology