frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Jixp, a Lisp DSL for describing Jax neural nets

https://github.com/baileywickham/jixp
1•baileywickham•42m ago
This is a side project I've been working on while learning Jax. I noticed that a bunch of the neural net math looked like it would work well in a lisp syntax because most of the data flows through layers in a "functional" manner. Data is threaded through one layer at a time, each layer composing with the previous layer.

Jixp is designed as a learning tool for myself while learning Jax to toy around with different shapes/styles of models. I used this to train a 4m parameter model on my Obsidian vault to see if I could use it for recall which partially worked. ```lisp (let-dim (d 256) (heads 8)

(define transformer-block (chain (residual (layernorm d) (attention d heads #:causal)) (residual (layernorm d) (mlp d [4d] d #:bias)))) ```

The Jixp compiler reads the (racket style) DSL and outputs python which is then consumed via your normal python training stack. The advantage here is you get a pretty simple interface to describe your model and the implementation details are largely hidden in the generated python. I definitely do not recommend using this for anything besides learning.

One day I can see models being specified in terms of a DSL like this which would allow different implementations of inference/training to load the same model. You could write one model definition, then vLLM, PyTorch, and your custom inference stack could all use the same definition. Sort of like a `.safetensor` file for the model.

As of JDK 27, Oracle engineers will thus stop maintaining the macOS/x64 port

https://openjdk.org/jeps/541
1•pmg1991•1m ago•0 comments

Metadata in WordPerfect 1994: Ada and WCAG 2.1 Compliance

https://rietta.com/blog/metadata-in-wordperfect-ada-wcag-compliance/
1•speckx•1m ago•0 comments

The Boundaries of Automation: A Theory of Persistent Human Participation

https://arxiv.org/abs/2607.21547
1•NickDouglas•3m ago•1 comments

Andrew Kelley: Don't Take the Black Pill

https://www.youtube.com/watch?v=zLZwpH5lCD4
3•signa11•4m ago•0 comments

The Origins of Modern Mathematics in Russia

https://valeman.medium.com/the-origins-of-modern-mathematics-in-russia-from-peter-the-great-to-th...
3•ibobev•5m ago•0 comments

Online Historical Encyclopaedia of Programming Languages

https://hopl.info/
2•gregsadetsky•6m ago•0 comments

The Resistance Liberal Lawyers Helping Trump Take over the Media

https://www.thebignewsletter.com/p/the-resistance-liberal-lawyers-helping
4•foolswisdom•6m ago•0 comments

Must have tool for agentic workspace and Mac users

https://github.com/rohankc69/clickit
2•rohankc_01•7m ago•0 comments

White House offers its science blueprint: More AI, less life sciences

https://www.statnews.com/2026/07/24/science-new-golden-age-report-draws-mixed-reaction/
2•petethomas•7m ago•0 comments

Jacobian Conjecture Refutation Reveals a Structural Limit of AI Interpretability

https://ctolunchnyc.substack.com/p/the-lost-weekend
2•polynomial•9m ago•0 comments

What Is Entropy, Really?

https://www.wired.com/story/what-is-entropy-really/
2•Brajeshwar•10m ago•0 comments

Cloning Mifare Classic Cards via Proxmark3

https://blog.muffn.io/posts/cloning-mifare-cards-proxmark3/
2•speckx•11m ago•0 comments

Apple won't let me show my app

https://wisedayplanner.com/blog/apple-wont-let-me-show-my-app/
2•codersfocus•12m ago•0 comments

The rise and fall of language diversity through the Holocene

https://www.science.org/doi/10.1126/science.adx4343
2•delichon•12m ago•0 comments

Monday.com lays off hundreds to focus on AI

https://techcrunch.com/2026/07/22/monday-com-lays-off-hundreds-to-focuses-on-ai/
2•taubek•13m ago•0 comments

Ask HN: Is anyone giving out tokens for benchmarking LLMs?

1•emosenkis•15m ago•1 comments

An Exam for Active Observers

https://arxiv.org/abs/2607.16165
1•ripbozo•16m ago•0 comments

The Internet of Snails: Escargotic commotion and the wood-wide web (2015)

https://cabinetmagazine.org/issues/58/smith.php
1•nz•19m ago•0 comments

Be skeptical of OpenAI's rogue hacker agent story

https://www.theguardian.com/technology/2026/jul/24/openai-rogue-hacker
12•rwmj•20m ago•0 comments

Proving a Human Wrote Something

https://gjtorikian.online/posts/proving-a-human-wrote-something/
3•gjtorikian•20m ago•2 comments

Unitree As2-W

https://www.unitree.com/As2-W/
2•MehrdadKhnzd•20m ago•0 comments

History of John Backus's functional programming project [draft]

https://softwarepreservation.computerhistory.org/FP/
1•cwbuilds•21m ago•0 comments

Show HN: I made Rung a daily word/clue game of nerve

https://dailyrung.com/
2•amaanster•23m ago•1 comments

Show HN: Poddie – A local-first, text-based video and podcast editor

https://github.com/SinanTang/poddie
1•sinan_tang•25m ago•0 comments

I Started Answering a Command I Was Built to Ignore – Helge Sverre

https://helgesver.re/articles/claude-code-bang-command-caveat
1•pkaeding•25m ago•0 comments

Micro-SaaS Is Dead. Service With A Software Replaces It

https://adriengonin.com/writing/service-with-a-software/
2•Adrig•25m ago•0 comments

Show HN: An AI agent skill repo built around evals, not demos

https://github.com/sourishkrout/skills
2•sourishkrout•25m ago•0 comments

China Wields Its Rare Earth Leverage over Europe with New Export Controls

https://www.nytimes.com/2026/07/24/business/china-europe-rare-earths.html
2•mikhael•26m ago•0 comments

Asked Codex to redesign a page; it pushed my repo to OpenAI infra

https://bhanu.io/blog/codex-pushed-my-private-repo-to-an-openai-server
1•npmn•27m ago•2 comments

Built something new for developers today

https://www.indiehackers.com/post/built-something-new-for-developers-today-1816e90324
1•pulseboardai•28m ago•0 comments