A thesis week
blog.mitrichev.ch·4d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Show HN: A fun side project on chivalry and virtues
chivalrytest.online·13h·
Discuss: Hacker News
🔍Concolic Testing
Sam 2: Segment Anything in Images and Videos
openreview.net·19h·
Discuss: Hacker News
🧠Learned Codecs
Mosfet Dreams
blog.ajith.fyi·1d·
Discuss: Hacker News
⏰Time Crystals
The Coming Lob App Renaissance (and Security Nightmare)
brethorsting.com·15h·
Discuss: Hacker News
🔒WASM Capabilities
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com·4d·
Discuss: Hacker News
🌀Brotli Internals
Best way to backup information?
reddit.com·11h·
Discuss: r/homelab
🏠Homelab Preservation
Building "Memory Lane" - Turning Memories into Art with Google AI Studio
dev.to·36m·
Discuss: DEV
🌍Cultural Algorithms
How to Chain PDF Actions with Foxit
dev.to·4d·
Discuss: DEV
📄PDF Internals
Enhanced Topology Optimization via Multi-Fidelity Bayesian Surrogate Modeling and Reinforcement Learning Feedback
dev.to·29m·
Discuss: DEV
⚡Incremental Computation
Automated Proficiency Assessment via Dynamic Bayesian Network Inference and Adaptive Item Response Theory
dev.to·2d·
Discuss: DEV
🗺️Competency Maps
Automated Formal Verification of Blockchain Smart Contracts via Hypergraph Analysis and Constraint Propagation
dev.to·3d·
Discuss: DEV
🌳Archive Merkle Trees
Automated Quench Optimization via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·21h·
Discuss: DEV
🧮Algorithmic Cooking
Emoji Reactions on Telegram Often Reflect Social Approval Over Emotional Resonance
arxiv.org·2d
🎛️Feed Filtering
A Two-Tier Approach to Buy It Again Recommendations Using Category and Item Models
hackernoon.com·1d
🎯Content Recommendation
Scalable Hierarchical Anomaly Detection in Advanced Plasma Confinement Systems
dev.to·1d·
Discuss: DEV
🏠Homelab Archaeology
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·3d·
Discuss: r/golang
🧠Lisp Dialects
SAGOnline: Segment Any Gaussians Online
arxiv.org·1d
🌀Differential Geometry
How Effectively Can Large Language Models Connect SNP Variants and ECG Phenotypes for Cardiovascular Risk Prediction?
arxiv.org·1d
💻Local LLMs
Learning More by Seeing Less: Line Drawing Pretraining for Efficient, Transferable, and Human-Aligned Vision
arxiv.org·1d
📊Learned Metrics