frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Five disciplines discovered the same math independently – none of them knew

https://freethemath.org
1•energyscholar•34s ago•0 comments

We Scanned an AI Assistant for Security Issues: 12,465 Vulnerabilities

https://codeslick.dev/blog/openclaw-security-audit
1•vitorlourenco•1m ago•0 comments

Amazon no longer defend cloud customers against video patent infringement claims

https://ipfray.com/amazon-no-longer-defends-cloud-customers-against-video-patent-infringement-cla...
1•ffworld•1m ago•0 comments

Show HN: Medinilla – an OCPP compliant .NET back end (partially done)

https://github.com/eliodecolli/Medinilla
2•rhcm•4m ago•0 comments

How Does AI Distribute the Pie? Large Language Models and the Ultimatum Game

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6157066
1•dkga•5m ago•1 comments

Resistance Infrastructure

https://www.profgalloway.com/resistance-infrastructure/
2•samizdis•9m ago•0 comments

Fire-juggling unicyclist caught performing on crossing

https://news.sky.com/story/fire-juggling-unicyclist-caught-performing-on-crossing-13504459
1•austinallegro•10m ago•0 comments

Restoring a lost 1981 Unix roguelike (protoHack) and preserving Hack 1.0.3

https://github.com/Critlist/protoHack
2•Critlist•11m ago•0 comments

GPS and Time Dilation – Special and General Relativity

https://philosophersview.com/gps-and-time-dilation/
1•mistyvales•15m ago•0 comments

Show HN: Witnessd – Prove human authorship via hardware-bound jitter seals

https://github.com/writerslogic/witnessd
1•davidcondrey•15m ago•1 comments

Show HN: I built a clawdbot that texts like your crush

https://14.israelfirew.co
2•IsruAlpha•17m ago•2 comments

Scientists reverse Alzheimer's in mice and restore memory (2025)

https://www.sciencedaily.com/releases/2025/12/251224032354.htm
1•walterbell•20m ago•0 comments

Compiling Prolog to Forth [pdf]

https://vfxforth.com/flag/jfar/vol4/no4/article4.pdf
1•todsacerdoti•21m ago•0 comments

Show HN: Cymatica – an experimental, meditative audiovisual app

https://apps.apple.com/us/app/cymatica-sounds-visualizer/id6748863721
1•_august•23m ago•0 comments

GitBlack: Tracing America's Foundation

https://gitblack.vercel.app/
2•martialg•23m ago•0 comments

Horizon-LM: A RAM-Centric Architecture for LLM Training

https://arxiv.org/abs/2602.04816
1•chrsw•23m ago•0 comments

We just ordered shawarma and fries from Cursor [video]

https://www.youtube.com/shorts/WALQOiugbWc
1•jeffreyjin•24m ago•1 comments

Correctio

https://rhetoric.byu.edu/Figures/C/correctio.htm
1•grantpitt•24m ago•0 comments

Trying to make an Automated Ecologist: A first pass through the Biotime dataset

https://chillphysicsenjoyer.substack.com/p/trying-to-make-an-automated-ecologist
1•crescit_eundo•28m ago•0 comments

Watch Ukraine's Minigun-Firing, Drone-Hunting Turboprop in Action

https://www.twz.com/air/watch-ukraines-minigun-firing-drone-hunting-turboprop-in-action
1•breve•29m ago•0 comments

Free Trial: AI Interviewer

https://ai-interviewer.nuvoice.ai/
1•sijain2•29m ago•0 comments

FDA intends to take action against non-FDA-approved GLP-1 drugs

https://www.fda.gov/news-events/press-announcements/fda-intends-take-action-against-non-fda-appro...
21•randycupertino•30m ago•12 comments

Supernote e-ink devices for writing like paper

https://supernote.eu/choose-your-product/
3•janandonly•33m ago•0 comments

We are QA Engineers now

https://serce.me/posts/2026-02-05-we-are-qa-engineers-now
1•SerCe•33m ago•0 comments

Show HN: Measuring how AI agent teams improve issue resolution on SWE-Verified

https://arxiv.org/abs/2602.01465
2•NBenkovich•33m ago•0 comments

Adversarial Reasoning: Multiagent World Models for Closing the Simulation Gap

https://www.latent.space/p/adversarial-reasoning
1•swyx•34m ago•0 comments

Show HN: Poddley.com – Follow people, not podcasts

https://poddley.com/guests/ana-kasparian/episodes
1•onesandofgrain•42m ago•0 comments

Layoffs Surge 118% in January – The Highest Since 2009

https://www.cnbc.com/2026/02/05/layoff-and-hiring-announcements-hit-their-worst-january-levels-si...
13•karakoram•42m ago•0 comments

Papyrus 114: Homer's Iliad

https://p114.homemade.systems/
1•mwenge•42m ago•1 comments

DicePit – Real-time multiplayer Knucklebones in the browser

https://dicepit.pages.dev/
1•r1z4•42m ago•1 comments
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•7mo ago

Comments

fatliverfreddy•7mo 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•7mo 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.