frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: An LLM-optimized programming language

https://github.com/ImJasonH/ImJasonH/blob/main/articles/llm-programming-language.md
16•ImJasonH•2h ago

Comments

petesergeant•1h ago
A language is LLM-optimized if there’s a huge amount of high-quality prior art, and if the language tooling itself can help the LLM iterate and catch errors
discrisknbisque•1h ago
The Validation Locality piece is very interesting and really got my brain going. Would be cool to denote test conditions in line with definitions. Would get gross for a human, but could work for an LLM with consistent delimiters. Something like (pseudo code):

``` fn foo(name::"Bob"|genName(2)): if len(name) < 3 Err("Name too short!")

  print("Hello ", name)
    return::"Hello Bob"|Err
```

Right off the bat I don't like that it relies on accurately remembering list indexes to keep track of tests (something you brought up), but it was fun to think about this and I'll continue to do so. To avoid the counting issue you could provide tools like "runTest(number)", "getTotalTests", etc.

One issue: The Loom spec link is broken.

Mathnerd314•1h ago
I get that this is essentially vibe coding a language, but it still seems lazy to me. He just asked the language model zero-shot to design a language unprompted. You could at least use the Rosetta code examples and ask it to identify design patterns for a new language.
Snacklive•14m ago
I was thinking the same. Maybe if he tried to think instead of just asking the model. The premise is interesting "We optimize languages for humans, maybe we can do something similar for llms". But then he just ask the model to do the thing instead of thinking about the problem, maybe instead of prompting "Hey made this" a more granular, guided approach could've been better.

For me this is just a lost of potential on the topic, and an interesting read made boring pretty fast.

rvz•50m ago
> Humans don't have to read or write or undestand it. The goal is to let an LLM express its intent as token-efficiently as possible.

Maybe in the future, humans don't have to verify the spelling, logic or grounding truth either in programs because we all have to give up and assume that the LLM knows everything. /s

Sometimes, I read these blogs from vibe-coders that have become completely complacent with LLM slop, I have to continue to remind others why regulations exist.

Imagine if LLMs should become fully autonomous pilots on commercial planes or planes optimized for AI control and the humans just board the plane and fly for the vibes, maybe call it "Vibe Airlines".

Why didn't anyone think of that great idea? Also completely remove the human from the loop as well?

Good idea isn't it?

eadwu•20m ago
There are multiple layers and implicit perspectives that I think most are purposefully omitting as a play for engagement or something else.

The reason why LLMs are still restricted to higher level programming languages is because there are no guarantees of correctness - any guarantee needs to be provided by a human - and it is already difficult for humans to review other human's code.

If there comes a time where LLMs can generate code - whether some term slop or not - that has a guarantee of correctness - it is indeed probably a correct move to probably have a more token-efficient language, or at least a different abstraction compared to the programming abstractions of humans.

Personally, I think in the coming years there will be a subset of programming that LLMs can probably perform while providing a guarantee of correctness - likely using other tools, such as Lean.

I believe this capability can be stated as - LLMs should be able to obfuscate any program code - which is pretty decent guarantee.

The struggle of resizing windows on macOS Tahoe

https://noheger.at/blog/2026/01/11/the-struggle-of-resizing-windows-on-macos-tahoe/
1201•happosai•8h ago•518 comments

XFCE Is Great

https://rubenerd.com/xfce-is-great/
33•mikece•1h ago•8 comments

CLI agents make self-hosting on a home server easier and fun

https://fulghum.io/self-hosting
399•websku•8h ago•260 comments

This game is a single 13 KiB file that runs on Windows, Linux and in the Browser

https://iczelia.net/posts/snake-polyglot/
131•snoofydude•7h ago•37 comments

iCloud Photos Downloader

https://github.com/icloud-photos-downloader/icloud_photos_downloader
375•reconnecting•10h ago•167 comments

Himalayas bare and rocky after reduced winter snowfall, scientists warn

https://www.bbc.com/news/articles/clyndv7zd20o
30•koolhead17•2h ago•3 comments

Don't fall into the anti-AI hype

https://antirez.com/news/158
771•todsacerdoti•19h ago•945 comments

Which programming languages are most token-efficient?

https://martinalderson.com/posts/which-programming-languages-are-most-token-efficient/
61•tehnub•4h ago•30 comments

I'm making a game engine based on dynamic signed distance fields (SDFs) [video]

https://www.youtube.com/watch?v=il-TXbn5iMA
240•imagiro•3d ago•31 comments

Sampling at negative temperature

https://cavendishlabs.org/blog/negative-temperature/
135•ag8•9h ago•43 comments

FUSE is All You Need – Giving agents access to anything via filesystems

https://jakobemmerling.de/posts/fuse-is-all-you-need/
97•jakobem•8h ago•47 comments

Gadget Exposed a Spy Camera [video]

https://www.youtube.com/watch?v=1reman2waLs
24•rib3ye•5h ago•14 comments

Erich von Däniken has died

https://daniken.com/en/startseite-english/
49•Kaibeezy•10h ago•78 comments

Garbage collection is contrarian

https://trynova.dev/blog/garbage-collection-is-contrarian
20•aapoalas•2d ago•1 comments

Elo – A data expression language which compiles to JavaScript, Ruby, and SQL

https://elo-lang.org/
69•ravenical•4d ago•9 comments

Uncrossy

https://uncrossy.com/
24•dgacmu•4h ago•8 comments

Perfectly Replicating Coca Cola [video]

https://www.youtube.com/watch?v=TDkH3EbWTYc
170•HansVanEijsden•3d ago•106 comments

Insights into Claude Opus 4.5 from Pokémon

https://www.lesswrong.com/posts/u6Lacc7wx4yYkBQ3r/insights-into-claude-opus-4-5-from-pokemon
48•surprisetalk•5d ago•11 comments

Show HN: An LLM-optimized programming language

https://github.com/ImJasonH/ImJasonH/blob/main/articles/llm-programming-language.md
16•ImJasonH•2h ago•6 comments

The next two years of software engineering

https://addyosmani.com/blog/next-two-years/
80•napolux•7h ago•48 comments

39c3: In-house electronics manufacturing from scratch: How hard can it be? [video]

https://media.ccc.de/v/39c3-in-house-electronics-manufacturing-from-scratch-how-hard-can-it-be
7•fried-gluttony•2d ago•0 comments

Moving Scratch generation to Python on browser

https://kushaldas.in/posts/introducing-ektupy.html
28•kushaldas•2d ago•6 comments

Ask HN: What are you working on? (January 2026)

165•david927•13h ago•530 comments

I'd tell you a UDP joke…

https://www.codepuns.com/post/805294580859879424/i-would-tell-you-a-udp-joke-but-you-might-not-get
133•redmattred•7h ago•35 comments

A set of Idiomatic prod-grade katas for experienced devs transitioning to Go

https://github.com/MedUnes/go-kata
117•medunes•4d ago•16 comments

I Cannot SSH into My Server Anymore (and That's Fine)

https://soap.coffee/~lthms/posts/i-cannot-ssh-into-my-server-anymore.html
93•TheWiggles•4d ago•69 comments

Show HN: Engineering Schizophrenia: Trusting yourself through Byzantine faults

53•rescrv•7h ago•9 comments

Poison Fountain

https://rnsaffn.com/poison3/
183•atomic128•12h ago•114 comments

Ping: The Secrets of Successful Virtual Communication

https://www.penguin.co.uk/books/468218/ping-by-brodsky-andrew/9780241746363
10•teleforce•4d ago•1 comments

I dumped Windows 11 for Linux, and you should too

https://www.notebookcheck.net/I-dumped-Windows-11-for-Linux-and-you-should-too.1190961.0.html
764•smurda•18h ago•707 comments