First screen, captured .
Looks similar
TLA+ in Isabelle/HOL(davecturner.github.io)
71 points by kalaracey | 2 comments
Show HN: Dobb·E – towards home robots with an open-source platform(dobb-e.com)
360 points by MahiShafiullah | 103 comments
Project page for Dobb·E, an open-source framework for teaching household robots manipulation tasks via imitation learning, with paper, code, and dataset links.
Learning Algorithms(paedubucher.ch)
45 points by paedubucher | 15 comments
Related stories
Show HN: Factorio Blueprint Visualizer(github.com)
419 points by piebro | 91 comments
GitHub repository for a tool and web demo that artfully visualizes Factorio blueprints, updated for Factorio 2.0 and Space Age.
Show HN: Factorio but with unreliable components(think-twice.me)
15 points by zug_zug | 18 comments
Landing page for Rely, a browser-based automation puzzle game about building reliable systems from components that randomly fail.
Factorio: Space Age(factorio.com)
1318 points by haunter | 322 comments
Factorio Friday Facts #373 blog post announcing the game's expansion, Factorio: Space Age, by kovarex and Earendel.
Factorio that you can touch(factorio.com)
308 points by ibobev | 98 comments
Factorio Friday Facts #447 blog post from Wube Software about a physical, touchable version of Factorio items.
Solving Factorio Quality(exyr.org)
260 points by laurenth | 99 comments
Blog post by Simon Sapin on using matrix math to plan Factorio factories with the Quality mechanic, with a link to an online calculator tool.
Show HN: One – A new React framework unifying web, native and local-first(onestack.dev)
475 points by nwienert | 215 comments
Landing page for One, a new React framework built on Vite that unifies web and React Native apps with typed file-system routing and local-first support via Zero.