SAT problems are kind of cool
blog.karanjanthe.me·4d·
Discuss: Hacker News
🧮SMT Solvers
A Guide for WireGuard VPN Setup with Pi-Hole Adblock and Unbound DNS
psyonik.tech·1d·
Discuss: Hacker News
🌐DNS over QUIC
The Future of Authenticity: The Human-Made Mark
samueleamato.xyz·12h·
Discuss: Hacker News
🎧Learned Audio
Why it took 4 years to get a lock files specification
snarky.ca·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Language Evolution
Item Patterns and Struct Await
noratrieb.dev·3d·
Discuss: Hacker News
🦀Rust Macros
Let's Prove Leftpad
github.com·5d·
Discuss: Hacker News
📜Proof Carrying Code
A Proof of the Riemann Hypothesis
dev.to·4d·
Discuss: DEV
⚔️Lean Theorem
Building Trust for AI Agents — ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.to·2d·
Discuss: DEV
🌳Archive Merkle Trees
More Than Code: Gearing Up for the Hackathon of the Year!🚀
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Easily generate different NLP Task prompts for popular generative models
github.com·10h·
Discuss: Hacker News
🎙️Whisper
Updated Homelab Fall 2025 (issues resolved??)
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Modeling Time-Lapse Trajectories to Characterize Cranberry Growth
arxiv.org·1h
🧠Machine Learning
Counterfactually Fair Conformal Prediction
arxiv.org·1h
🧮Kolmogorov Bounds
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·2d·
Discuss: DEV
🔤Character Classification
Safety Analysis of eVTOL Operations based on STPA
arxiv.org·1h
🔐Capability Systems
Handling 100+ Website Scrapers with Python's asyncio
dev.to·1d·
Discuss: DEV
📰RSS Archaeology
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·4d·
Discuss: DEV
🏠Homelab Orchestration
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·4d
📊Graph Databases
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·4d
💻Programming languages
WUGNECTIVES: Novel Entity Inferences of Language Models from Discourse Connectives
arxiv.org·1h
🔢Denotational Semantics