Show HN: Miniatur AI – Transform character images into figurine renders with AI
miniatur-ai.online·22h·
Discuss: Hacker News
✓Automated Theorem Proving
Alterego: Speech Intent to Input
alterego.io·1d·
Discuss: Hacker News, r/ErgoMechKeyboards, r/ErgoMechKeyboards
🍎Apple
Show HN: GTA AI – Convert Your Photos to GTA Style Artwork
gtaai.app·32m·
Discuss: Hacker News
📺Vintage Apple
The Android Linux Commander
hackaday.com·9h
🐳Containerization
Beyond Markdown (2018)
johnmacfarlane.net·2d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Rendering the Mandelbulb
4rknova.com·13h·
Discuss: Hacker News
🔄Finite State Machines
I used AI to make this song. The results, and its implications, startled me
sfchronicle.com·2d·
Discuss: Hacker News
🔬Unikernels
5 Times LLMs Help You Code… and 5 Times They Fail
shiftmag.dev·3d·
Discuss: r/programming
🤖Program Synthesis
A Humble Blog Post
nvegater.com·2d·
Discuss: Hacker News
💎Refinement Types
Prompt sensitivity is more nuanced (and useful) than we think
newsletter.aimuscle.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·1d
🩹Self-Healing Systems
Entropy – Favourite at Mind Sports Olympiad
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Verification Games
Language Models Do Not Follow Occam's Razor: A Benchmark for Inductive and Abductive Reasoning
arxiv.org·5d
🧩Parser Combinators
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents
arxiv.org·5d
🧠Automated Reasoning
AIs will greatly change engineering in AI companies well before AGI
lesswrong.com·9h
👁️System Observability
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·3d·
Discuss: Hacker News, r/rust
🔠Type-Level Programming
FloodVision: Urban Flood Depth Estimation Using Foundation Vision-Language Models and Domain Knowledge Graph
arxiv.org·1d
🧩Parser Combinators
Unveiling the Response of Large Vision-Language Models to Visually Absent Tokens
arxiv.org·5d
🧩Parser Combinators
Towards an Accurate and Effective Robot Vision (The Problem of Topological Localization for Mobile Robots)
arxiv.org·1d
🧩Separation Logic