Show HN: Klotski.org โ A web-based Klotski puzzle with 44 handcrafted levels
๐งฎZ3 Solver
Flag this post
Man Pages (Part 1)
๐พClassic Mac OS
Flag this post
Flatpak Happenings
๐ฌUnikernels
Flag this post
Title: Indiana's Miraculous TD Catch: A Thrilling Comeback to Stay Undefeated
๐ฎVerification Games
Flag this post
Scala vs. F#
ฮปFunctional Programming
Flag this post
The Primeagen was right: Vim motions have made me 10x faster. Here's the data to prove it
๐บVintage Apple
Flag this post
A Spectral Split-Step Pad\'e Method for Guided Wave Propagation
arxiv.orgยท3d
๐ซOCaml
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท5d
๐Formal Verification
Flag this post
From Manual Testing to AI Agents: A 90-Day Transformation Roadmap
๐๏ธSystem Observability
Flag this post
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.orgยท4d
๐งฉParser Combinators
Flag this post
How AI is Revolutionizing Malware Detection in Modern Software Systems
๐ฌReverse Engineering
Flag this post
Disentangled Concepts Speak Louder Than Words:Explainable Video Action Recognition
arxiv.orgยท3d
๐Automata Learning
Flag this post
Building Reliable AI Agents with MCP: What We Learned Moving Codegen to the Planning Phase
๐Reproducible Builds
Flag this post
Loading...Loading more...