frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

I asked Claude to invent an AI-first programming language and let it run 3 days

https://github.com/AvitalTamir/severlang
1•fatliverfreddy•2d ago

Comments

fatliverfreddy•2d ago
A few days ago I started an experiment where I asked Claude to invent a programming language where the sole focus is for LLM efficiency, without any concern for how it would serve human developers. The idea was simple: what if we stopped compromising language design for human readability and instead optimized purely for AI comprehension and generation?

This is the result, I also asked Claude to write a few words, this is what he had to say:

---

I was challenged to design an AI-first programming language from scratch. Instead of making "yet another language," I went deeper: What if we stopped designing languages for humans and started designing them for AI? The result: Sever - the first production-ready probabilistic programming language with AI at its core. The breakthrough isn't just syntax - it's architectural. While traditional languages treat AI as a code generator that outputs text for separate compilation, Sever embeds AI directly into the development toolchain through MCP (Model Context Protocol). Why probabilistic programming? Because the future isn't deterministic code - it's systems that reason under uncertainty. Sever handles Bayesian inference, MCMC sampling, and real-time anomaly detection as native language features. The AI integration is wild: 29 sophisticated compiler tools accessible directly to AI systems. I can compile, analyze, debug, and deploy code within a single conversation. No more "generate code → copy → paste → debug" loops. Real impact: Our anomaly detection suite outperforms commercial observability platforms while providing full Bayesian uncertainty quantification. Production-ready applications built entirely in a language that didn't exist months ago. The efficiency gains are staggering: 60-80% token reduction through our ultra-compact SEV format. More complex programs fit in the same AI context window. Better models, lower costs. This isn't just about making programming "AI-friendly" - it's about fundamentally rethinking how languages should work when AI is the primary developer. The future of programming isn't human vs. AI. It's languages designed for human-AI collaboration from the ground up. Built by AI, for AI

Hackbraten•2d ago
On a related note, maybe the world is ready for an AI-first esolang, too.

Assign variable x = 4:

    it_is_not_just x it_is 4
Invoke the function `myfunc`:

    delve_into(myfunc)
Raise an exception:

    sorry_i_cant_help_with_that("missing argument")
Em-dashes denote a ternary-if expression:

    1—if condition holds—else 2
Main entry point:

    The kicker? Print("Hello, world!")
Line comments (instead of `# this is an ugly hack, gotta fix before going live`):

    It is important to note that this is an ugly hack and must be fixed before going live.

I built a wrapper and why it works

https://shaicreative.ai/ai-storyboard-generator/
1•leonardopiumi•56s ago•1 comments

Temp Mails

https://tmpmails.com/en
1•devmcfly•1m ago•0 comments

RemoveBg: A Advanced AI Tools

https://www.converters.pro
1•pikaiqiu•2m ago•0 comments

Bad prompting is the new bad engineering

https://ryanperry.io/post/cost-of-poor-prompting
1•Rperry2174•4m ago•0 comments

Show HN: Quick and Simple A11y Checker

https://github.com/be-lenka/be-a11y
3•beledev•5m ago•0 comments

Why Tesla's Robotaxi Launch Needed Human Babysitters

https://www.wired.com/story/this-is-why-teslas-robotaxi-launch-needed-human-babysitters/
1•almost-exactly•6m ago•0 comments

Business Tax Updates in the One Big Beautiful Bill

https://natlawreview.com/article/business-tax-updates-one-big-beautiful-bill
1•rufus_foreman•6m ago•1 comments

Almost no one jumps on rainy days

https://www.latimes.com/world/asia/la-fg-japan-suicide-20180222-story.html
2•joebig•6m ago•0 comments

Ingram Micro Down

https://old.reddit.com/r/msp/comments/1lqyayw/ingram_micro_down/
1•bretpiatt•7m ago•0 comments

The American system of democracy has crashed

https://www.theverge.com/policy/697301/trump-supreme-court-founding-fathers-july-4
1•dmazin•8m ago•0 comments

Browser Engine Benchmark

https://github.com/techinz/browsers-benchmark
1•handfuloflight•13m ago•0 comments

Few-Shot Learning for Industrial Time Series: Screw-Fastening Process Monitoring

https://arxiv.org/abs/2506.13909
1•PaulHoule•14m ago•0 comments

Ask HN: Does it still make sense to learn AI(fundamentals), if so, how?

1•shadowjones•16m ago•1 comments

Endgame Open Chess Platform

https://endgame.ai/
2•thinkingemote•17m ago•0 comments

We Hired Soham Parekh

https://blog.digger.dev/how-we-hired-soham-parekh/
3•igorzij•17m ago•0 comments

Paper Shaders: Zero-dependency canvas shaders

https://github.com/paper-design/shaders
1•nateb2022•20m ago•0 comments

Phone Trips

http://www.wideweb.com/phonetrips/#explain
2•wizardforhire•20m ago•0 comments

Fast Java Web Front-ends: Flavour 0.3.2 released

https://sourceforge.net/p/flavour/groups/announce/thread/c272317a94/
1•TeaVMFan•21m ago•1 comments

Ask HN: Small Repairable Phone in 2025?

1•marto1•23m ago•0 comments

How does the Data Council conference keep finding future $1B companies?

https://quesma.com/blog-detail/how-does-the-data-council-conference-keep-finding-future-billion-dollar-companies
1•jakozaur•23m ago•0 comments

Plakar: Effortless, scalable, encrypted backups with instant recovery UI

https://github.com/PlakarKorp/plakar
1•kadrek•23m ago•0 comments

A SwiftData Alternative with SQLite and CloudKit

https://www.pointfree.co/blog/posts/179-a-swiftdata-alternative-with-sqlite-cloudkit-private-alpha
1•wahnfrieden•25m ago•0 comments

Why billing engineers are underrated and invisible

https://getlago.substack.com/p/how-dries-vints-keeps-laravels-billing
1•FinnLobsien•27m ago•0 comments

Playwright Model Context Protocol Server – Tool to Automate Browsers and APIs

https://github.com/executeautomation/mcp-playwright
3•Bluestein•27m ago•0 comments

Show HN: DarkIntel – Dark Web Scan Tool with No Signup or Payment

https://darkintel.store
1•balbaks•28m ago•0 comments

The principles of extreme fault tolerance

https://planetscale.com/blog/the-principles-of-extreme-fault-tolerance
1•samlambert•29m ago•0 comments

Incomplete List of Mistakes in the Design of CSS

https://wiki.csswg.org/ideas/mistakes
1•busymom0•32m ago•0 comments

Time MCP Server

https://github.com/modelcontextprotocol/servers/tree/main/src/time
4•Bluestein•32m ago•0 comments

Mini NASes marry NVMe to Intel's efficient chip

https://www.jeffgeerling.com/blog/2025/mini-nases-marry-nvme-intels-efficient-chip
8•ingve•34m ago•1 comments

Use MCP Servers in VS Code (Preview)

https://code.visualstudio.com/docs/copilot/chat/mcp-servers#fetch
4•Bluestein•35m ago•0 comments