TU Graz Develops Hook-and-Loop Fastener for Building Components
3dprintingindustry.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
Stop Using CPU Limits on Kubernetes (2022)
home.robusta.dev·14h·
Discuss: Lobsters
⎈Kubernetes
Show HN: Miniatur AI – Transform character images into figurine renders with AI
miniatur-ai.online·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Get Started Using Generative AI for Content Creation With ComfyUI and NVIDIA RTX AI PCs
blogs.nvidia.com·20h·
Discuss: Hacker News
💾Retro Computing
I don’t want AI agents controlling my laptop
sophiebits.com·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
The United Arab Emirates Releases a Tiny But Powerful AI Model
wired.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Eating the Future: The Metabolic Logic of AI Slop
e-flux.com·22h·
Discuss: Hacker News
🩹Self-Healing Systems
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.org·2d
🐫OCaml
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·11h·
Discuss: Hacker News
⚙️PL Implementation
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·5d·
Discuss: Hacker News
💎Refinement Types
Promptware Attacks Against LLM-Powered Assistants in Production
sites.google.com·2d·
Discuss: Hacker News
🛡️seL4
MCANet: A Multi-Scale Class-Specific Attention Network for Multi-Label Post-Hurricane Damage Assessment using UAV Imagery
arxiv.org·2d
📚Automata Learning
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org·2d
🧠Automated Reasoning
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·6d
🧠Automated Reasoning
The Last Programmers
xipu.li·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
Entropy – Favourite at Mind Sports Olympiad
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Verification Games
We're training LLMs to hallucinate by rewarding them for guessing
lightcapai.medium.com·2d·
Discuss: Hacker News
📚Automata Learning
Systematic Review and Meta-analysis of AI-driven MRI Motion Artifact Detection and Correction
arxiv.org·2d
💎Refinement Types
FloodVision: Urban Flood Depth Estimation Using Foundation Vision-Language Models and Domain Knowledge Graph
arxiv.org·2d
🧩Parser Combinators
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·23h·
Discuss: r/homelab
🏠HomeLab