TU Graz Develops Hook-and-Loop Fastener for Building Components
3dprintingindustry.com·1h·
Discuss: Hacker News
🔄Reproducible Builds
Measuring Explicit Congestion Notification
potaroo.net·1d·
Discuss: Lobsters
📡Network Protocol Design
Shoot, Move, Communicate
ihoka.me·23h·
Discuss: Hacker News
⚙Operational Semantics
Eating the Future: The Metabolic Logic of AI Slop
e-flux.com·6h·
Discuss: Hacker News
🩹Self-Healing Systems
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·4d·
Discuss: Hacker News
💎Refinement Types
MCANet: A Multi-Scale Class-Specific Attention Network for Multi-Label Post-Hurricane Damage Assessment using UAV Imagery
arxiv.org·1d
📚Automata Learning
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·1d
🧠Automated Reasoning
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·5d
🧠Automated Reasoning
The Last Programmers
xipu.li·1d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Entropy – Favourite at Mind Sports Olympiad
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Verification Games
Systematic Review and Meta-analysis of AI-driven MRI Motion Artifact Detection and Correction
arxiv.org·1d
💎Refinement Types
FloodVision: Urban Flood Depth Estimation Using Foundation Vision-Language Models and Domain Knowledge Graph
arxiv.org·1d
🧩Parser Combinators
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·1d
🧩Parser Combinators
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org·1d
🧩Parser Combinators
AWS cost us 48 hours
medium.com·1d·
Discuss: Hacker News
📊Runtime Verification
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·1d
🧩Parser Combinators
FSP: Novel Compression Algorithm Based on Pattern Similarity Unlike the Others
news.ycombinator.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
The Ping Pong Ball Paradox
en.wikipedia.org·3d·
Discuss: Hacker News
🧠Automated Reasoning
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.org·1d·
Discuss: Hacker News
📚Automata Learning
Automatic segmentation of Organs at Risk in Head and Neck cancer patients from CT and MRI scans
arxiv.org·1d
🐳Containerization