frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Jacquard, a programming language for AI-written, human-reviewed code

https://github.com/jbwinters/jacquard-lang
4•jbwinters•5h ago

Comments

jbwinters•3h ago
I'm fascinated by the generative AI wave rolling over us, and wondered if AI could create a language that it might prefer using over the ones created by and for humans.

To create the design, I had AI analyze the ASTs of several mainstream languages plus a few of the conceptually groundbreaking but esoteric ones (listed in the README) and then create a new structure and new syntax. It was named after the Jacquard machine (https://en.wikipedia.org/wiki/Jacquard_machine), a precursor to Babbage's Analytical Engine (and punch cards).

The result reused a lot of existing ideas but combined them in what I found to be an interesting way. External/world effects are visible in function signatures, and the runtime requires explicit permission to touch the filesystem, network, etc. Effect interactions can be recorded and replayed to see what happens under different conditions or code. And since code is given a content-addressed semantic identity internally, renames and formatting changes don't require recompile or retesting.

Another piece that fell out of this was a testing framework called Warp, which combines replay, results caching, handler substitution, and a few other tools that I frankly wish I had when writing Python. There are a few examples available in the demos directory.

There's more to do, but it's installable and usable. I'm hoping people will have their agents digest the docs/SKILL.md file and maybe write a few programs or see where it might fit in their projects. It should be particularly useful in agent systems. If an agent says something is painful or you as a human find the code tough to understand, I'd like to hear about it so I can address it.

More detail here:

Repository: https://github.com/jbwinters/jacquard-lang

Further intro/human-oriented write-up here: https://research.friendmachine.co/jacquard/

Show HN: I implemented a neural network in SQL

https://github.com/xqlsystems/xarray-sql/blob/claude/xarray-sql-mnist-demo/benchmarks/nn.py
17•alxmrs•59m ago•2 comments

Show HN: YouTube Guitar Tab Parser

https://github.com/marcelpanse/youtube-guitar-tab-parser
12•neogenix•46m ago•6 comments

Show HN: Nobie – an Excel-compatible runtime for agents and humans

https://nobie.com
30•matthewgapp•2h ago•9 comments

Show HN: BillAI Bass, an AI-Powered Big Mouth Billy Bass Using Strands Agents

https://github.com/morganwilliscloud/billai-bass
29•mtw14•2h ago•13 comments

Show HN: OpenClawMachines – Extending OpenClaw to the Enterprise

https://github.com/mathaix/OpenClawMachines
16•mathaix•3h ago•11 comments

Show HN: DOM-docx – HTML to native, editable Word docs (MIT)

https://github.com/floodtide/dom-docx
119•fishbone•9h ago•29 comments

Show HN: PlanWright – A control plane for AI coding agents

https://planwright.tools
5•dudemanAtl•59m ago•2 comments

Show HN: Remove Watermarks from Any Image

https://watermarkremoverai.com/
3•nadermx•39m ago•0 comments

Show HN: Clawk – Give coding agents a disposable Linux VM, not your laptop

https://github.com/clawkwork/clawk
158•celrenheit•6h ago•137 comments

Show HN: Phlox-GW – Open-source LLM gateway without the enterprise paywall

https://robert-mcdermott.github.io/phlox-gw/
2•mcdermott•43m ago•0 comments

Show HN: Sigwire – a live TUI switchboard for every signal on your Linux box

https://github.com/yeet-src/sigwire
3•zasc•52m ago•0 comments

Show HN: FOMO – a browser extension that tells your team what they're missing

https://usefomo.co
2•JadAmmar•54m ago•0 comments

Show HN: ParsOS Desk, a GUI operation system built with Cosmos in C#

https://github.com/amirali1390-bit/ParsOS-NEXT
2•amirali901•2h ago•1 comments

Show HN: kassette – Durable agent workflows backed by object storage

https://github.com/lostinpatterns/kassette
9•blweiner•2h ago•1 comments

Show HN: Ankole – Claude Tag open source alternative

https://github.com/AgentBull/ankole
2•borisding1994•2h ago•0 comments

Show HN: Find Remote Accounting Jobs

https://findremoteaccountingjobs.com/
2•amiKY•2h ago•0 comments

Show HN: Crucible – your AI wrote the tests, so who tested the tests?

https://github.com/Jott2121/crucible
2•jott2121•3h ago•0 comments

Show HN: DashApply – Your Complete Job Search Toolkit

https://dashapply.ai
3•debaghtk•3h ago•0 comments

Show HN: The Polyglot

https://crux.quest/polyglot
3•saretup•3h ago•1 comments

Show HN: Finterm.ai Bloomberg terminal for Claude Code

https://finterm.ai/
5•cheeseblubber•3h ago•0 comments

Show HN: Connect a voice agent to your phone as a Bluetooth headset with a ESP32

https://github.com/michaellee8/esp32-bluetooth-voice-agent
2•michaellee8•3h ago•0 comments

Show HN: Super Dario

https://superdario.pawb.de
350•thepasch•3h ago•89 comments

Show HN: Clay Seal Identity – Agents need accountability

https://github.com/clayseal/clayseal-identity
3•pberlizov•3h ago•0 comments

Show HN: Technical-debt score for dbt projects on Snowflake/BigQuery/Redshift

https://github.com/obrienciaran/dbt-debt
3•kiki_kuuki•3h ago•0 comments

Show HN: Rejit – a regex engine that can't be ReDoS'd (Pike VM, pure Python)

https://github.com/Wasserpuncher/rejit
2•Wasserpuncher•4h ago•1 comments

Show HN: A prompt to make LLMs write property-based tests

https://github.com/e35zhang/property-testing-skill
2•e35zhang•4h ago•1 comments

Show HN: Spellfolio – my stock market game with news events and inside info

https://www.spellfolio.com/
4•pandaman28•4h ago•0 comments

Show HN: Jacquard, a programming language for AI-written, human-reviewed code

https://github.com/jbwinters/jacquard-lang
4•jbwinters•5h ago•1 comments

Show HN: Overplane: Containers and formal verification for AI code

https://www.overplane.dev/
4•mayank•5h ago•1 comments

Show HN: Mindwalk – Replay coding-agent sessions on a 3D map of your codebase

https://github.com/cosmtrek/mindwalk
159•cosmtrek•1d ago•63 comments