Show HN: Impossible Machines: declaratively program the physical world
Hey all —<p>Sharing a thought experiment I put together. The premise: what might declarative programming feel like for the physical world?<p>We’re already familiar with this paradigm in software land (eg SQL etc where we declare what we want and the execution engine figures out how).<p>I didn’t have access to an actuator so I mocked up the concept in software. The way it works is you demonstrate the effect and the system figures out how to achieve it. So say you want to ring a bell and you have a crank. The system will find a way to connect the two. If you add obstacles it figures out how to work around them (runs a constraint solver runs behind the scenes).<p>I think what’s interesting about this is being able to think about the problem at a higher level of abstraction, with the system figuring out a way to achieve the intended effect.<p>Anyways, curious to read reactions, feedback, and interesting ideas on how to extend this!
Wettbewerber & Alternativen
Show HN: I made a portals physics engine to prove my point
I assume everyone has seen the supposedly portal "paradox" where a blue portal comes smashing down on a cube and people…
Show HN: Confetti – Start designing hardware with plain English prompts
Hey HN! We're Tianyi and Lucas from Confetti (YC F26) (<a href="https://confetti.build/">https://confetti.build/</a>).…
Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"
On October 26, OpenAI announced a claimed "bare existence" proof in Balaban's RG programme on pure R^4—but notably stop…
Show HN: Scalar.dev – Python/SQLite server-rendered starter app, no build step
Hi HN, I'm Felipe.<p>AI-assisted coding is great, but complexity is still complexity. The more you have it, the harder…
Show HN: Y Recombinator – The HN threads HN keeps recommending
A lot of the best stuff I've read on HN I found through a comment saying "this old thread is worth reading." So, I trie…