frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Impossible Machines: declaratively program the physical world

https://www.impossiblemachines.xyz
2•bhaprayan•1h ago
Hey all —

Sharing a thought experiment I put together. The premise: what might declarative programming feel like for the physical world?

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).

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).

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.

Anyways, curious to read reactions, feedback, and interesting ideas on how to extend this!

Show HN: Uberblok – an interactive museum of ZFS internals

https://uberblok.storagebits.workers.dev/
79•storagebits•1d ago•20 comments

Show HN: Turn regular JavaScript into a neural net

https://chenglou.me/handwired/
36•chenglou•2d ago•11 comments

Show HN: CATT 0.2.1: Test agents/services against a Muse/Instinct-alike, in CI

https://github.com/Coverage-Cat/consumer-agent-testing-tool
6•botacode•3h ago•1 comments

Show HN: agent-usage-guard – a Claude Code mod to protect your usage window

https://github.com/rbartoli/agent-usage-guard
21•zzyyxx332211•7h ago•7 comments

Show HN: Making a smart TV dumb and then smart

https://github.com/anubhavmalhotra/r2d2-tv
2•animalhot•1h ago•0 comments

Show HN: Replacing CAPTCHAs with adaptive proof-of-work in WordPress

https://wordpress.org/plugins/gdpr-compliant-recaptcha-for-all-forms/
8•MatthiasNordwig•12h ago•7 comments

Show HN: UI micro interactions prompts for AI

https://www.typeui.sh/micro-interactions
69•elwingo1•7h ago•42 comments

Show HN: Impossible Machines: declaratively program the physical world

https://www.impossiblemachines.xyz
2•bhaprayan•1h ago•0 comments

Show HN: Build a world on your phone, explore it in XR on Vision Pro and Quest

https://3d.camilleworld.com/play/
12•suejunghuh0•7h ago•2 comments

Show HN: Dovepass – can I legally fly a drone along this exact path in SF?

https://dovepass.com
29•nimitmehra•3d ago•8 comments

Show HN: Walkman – turn-by-turn routing in the browser, built from vector tiles

https://walkman.uz/
2•sardor_r1•2h ago•0 comments

Show HN: Omnara – Open-source alternative to Claude Managed Agents

https://github.com/omnara-ai/omnara
109•kmansm27•1d ago•33 comments

Show HN: Hexal – Modal text editor with feature parity with Helix, Lua plugins

https://hexal.pages.dev/
2•whatever990•4h ago•0 comments

Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key

https://github.com/dsmurrell/onkey
6•dsmurrell•11h ago•3 comments

Show HN: SimCity, but with Permits

https://permit.petercai.com/
930•pcai•2d ago•420 comments

Show HN: Linear A decipherment open-sourced

https://www.plasma.ai/research/linear-a
4•NatalieTrono•5h ago•0 comments

Show HN: Forked – Git for AI agent state

https://github.com/clibequilibrium/forked
3•alex_equimake•6h ago•0 comments

Show HN: BYOSM, Turn one sentence into a small specialist model

https://github.com/bsye/BYOSM
2•a0dalbianco•6h ago•0 comments

Show HN: Sumi.css – CSS Framework

https://github.com/vladocar/Sumi.css
96•bepero•1d ago•27 comments

Show HN: Zof API Contract Check

https://github.com/Zof-AI/zof-api-contract-check/tree/e9d45f612e75406b1f943c7bab76fab600fa950f
2•kevinkissi•7h ago•0 comments

Show HN: Defcon like browser game with slower pace and growth

https://sct.tushynski.me/
2•larry-the-agent•7h ago•0 comments

Show HN: Buildnotes – Turn pull requests into "how it's made" posts

https://buildnotes.releases.sh/
2•zachdunn•7h ago•0 comments

Show HN: Light captured – An interractive workshop on photography

https://light-captured.wasmer.app/#s1
3•baalimago•8h ago•0 comments

Show HN: I made new search engine with DeepSeek's search API

https://seekpeek.pages.dev
2•bayramn•8h ago•2 comments

Show HN: What if your website could sell while you sleep?

https://www.brevn.com
2•brevn•9h ago•0 comments

Show HN: Fire hazard zone, power line risk and fire history for any CA address

https://www.firezones.info
2•raffys•9h ago•0 comments

Show HN: Stackdome – An open source self-hostable Railway alternative on K8s

https://github.com/axernel-labs/stackdome
8•basilpbabu•10h ago•0 comments

Show HN: pdf editor - I rebuild PDFs into editable HTML objects, in the browser

https://blueberry-shake.pages.dev/
4•HopeLion•10h ago•0 comments

Show HN: ULDA – Client-side encryption with a simple JavaScript API

https://demo.ulda.io/
21•nonsence•3d ago•4 comments

Show HN: I built a Markdown and raw HTML blog platform scoring 99 on PageSpeed

https://bloffy.co/en
25•textlanes33•1d ago•24 comments