frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Claude formalized Fermat's Last Theorem in 11 days

https://www.anthropic.com/news/formalizing-fermats-last-theorem
1•fourfire•1m ago•0 comments

Emacs/Wayland Window Manager in pure elisp

https://github.com/thkoch2001/rau
1•thkoch•4m ago•1 comments

Tinkering with J Space

https://darshanmakwana412.github.io/2026/09/extracting-steering-vectors-from-j-space/
1•martianvoid•5m ago•0 comments

OpenLedger – Local-first double-entry accounting, MCP-native (Apache 2.0)

https://github.com/Attri-Inc/open-ledger
1•gtmattri•8m ago•0 comments

Boeing 767 overran Miami runway

https://avherald.com/h?article=540409db&opt=0
2•r2sk5t•8m ago•1 comments

Epigenetic reprogramming as a key to reverse ageing and increase longevity

https://pubmed.ncbi.nlm.nih.gov/38272265/
1•andsoitis•11m ago•0 comments

Ask HN: Those still optimistic about a career in software – why?

2•cipherdc•24m ago•3 comments

Donut math: how donut.c works (2011)

https://www.a1k0n.net/2011/07/20/donut-math.html
1•azhenley•29m ago•0 comments

Attention Developers: New Open IssueTracker Ticket on Data Deletion Fraud

https://issuetracker.google.com/issues/557281747
1•Bitu79•30m ago•0 comments

Show HN: Gigantic Research, Friend

1•KnoxProtocol•34m ago•1 comments

A Mathematical Theory of Communication [pdf]

https://people.math.harvard.edu/~ctm/home/text/others/shannon/entropy/entropy.pdf
2•andsoitis•35m ago•0 comments

PL Education in the Age of AI: Interview with Shriram Krishnamurthi

https://www.typetheoryforall.com/episodes/pl-education-in-the-age-of-ai
1•gnyeki•38m ago•0 comments

Equal Earth: Explore the world interactively with the Equal Earth map

https://kuboon.github.io/equal-earth/
1•nogajun•38m ago•0 comments

Has anybody seen my keys? A key-hierarchy strategy for rack-level security

https://rfd.shared.oxide.computer/rfd/0301
2•cyb0rg0•41m ago•0 comments

P&G goes wide with a waterless, plastic-free Tide

https://trellis.net/article/pg-water-plastic-out-of-tide-detergent/
1•plun9•41m ago•0 comments

ripwire: ripgrep of AI context (CLI+MCP) giving coding agents a map of any repo

https://github.com/redhat-et/ripwire
2•guessmyname•44m ago•0 comments

How I make games in Batch Script: Multithreading

https://github.com/thelowsunoverthemoon/BatchArticles/blob/main/HowIMakeGamesInBatchScriptP1.md
1•lowsun•45m ago•0 comments

Portal Speedrunners Discover "Singularity Warp" After 18 Years [video]

https://www.youtube.com/watch?v=a9c4jrgfhsk
1•aw1621107•51m ago•1 comments

Cost of running agent memory/vector search

https://polign.com/agent-memory-at-scale
2•anuptalwalkar•51m ago•0 comments

A Rogue AI Swarm Could Hide Inside an AI Company [video]

https://www.youtube.com/watch?v=xRKOpMeEQgQ
4•alwillis•52m ago•0 comments

Why We Need a Return to Élan

https://www.joanwestenberg.com/p/why-we-need-a-return-to-elan
1•Ariarule•1h ago•0 comments

Runic SSH – Open-Source SSH/SFTP Client in Rust and Tauri

https://github.com/marciopaiva/runic-ssh
1•marciopaiva•1h ago•0 comments

Anthropic Has Committed More Than $100B to AWS

https://www.fool.com/investing/2026/09/06/anthropic-has-committed-more-than-usd100-billion-to-aws...
1•geoffbp•1h ago•0 comments

The Coming Merging of Mind and Machine (1999)

https://www.thekurzweillibrary.com/the-coming-merging-of-mind-and-machine
2•thedreammachine•1h ago•0 comments

Fauxnix – bash for AI agents on Windows, no WSL (we measured the PS tax)

https://github.com/20000419/fauxnix
1•cl0602830•1h ago•0 comments

Ask HN: Perplexity Pro vs. Claude – what are you paying for?

1•daytonflyers•1h ago•0 comments

Everyone is right about AI

https://formasimplex.com/blog/2026-09-06-Everyone-is-right-about-AI.html
3•wsintra•1h ago•0 comments

Show HN: GET Together – A social network where you don't need POST to Post

https://gettogether.dev
6•nchudleigh•1h ago•0 comments

Aardman (Wallace and Gromit) Is Selling Its Original Movie Puppets

https://gizmodo.com/aardman-is-selling-its-original-movie-puppets-this-month-2000807968
5•Gaishan•1h ago•0 comments

I built a (wacky) date string utility

https://progressier.com/iso-date-string-toolkit
2•kbst•1h ago•1 comments
Open in hackernews

CheerpJ 4.0: WebAssembly JVM for the browser, now with Java 11 and JNI support

https://labs.leaningtech.com/blog/cheerpj-4.0
9•apignotti•1y ago

Comments

palata•1y ago
That's technically pretty cool, but it makes me wonder:

In order to run a Java Desktop app, I need to install a JVM first (or the Desktop app can embed it, I guess that's what IntelliJ does, right?).

Now if I run CheerpJ, it means that I essentially download a JVM when I load the page (every time), and run code in that JVM. But at this point, why not downloading a Desktop app?

It feels like we are going around, shipping simple web pages together with full browsers and calling that "desktop apps" (e.g. ElectronJS), then shipping complete JVMs as web pages and calling that a "web page"... why don't we just ship simple webpages through browsers and complex desktop apps through package managers?

apignotti•1y ago
With CheerpJ you are downloading the subset of the JVM that you need, and actually only once thanks to the standard browser cache.

There are many reasons why shipping via the browser is a better choice compared to shipping desktop apps. The main 3 in my opinion are:

1. Distribution: Give your user a link and the app will start 2. Isolation: The user can have confidence the app won't read his personal files. 3. Cross-platform: Every OS and every device, for real this time

yuri91•1y ago
For reference, when loading https://browsercraft.cheerpj.com for the first time (up to loading a world), my browser downloaded ~32MB.

The second time almost nothing.

jeffreportmill1•1y ago
And here's an entire Java IDE with CheerpJ that downloads less than 15mb:

https://reportmill.com/SnapCode

palata•1y ago
> With CheerpJ you are downloading the subset of the JVM that you need

That's interesting! May I ask how it works? Does that also happen with e.g. IntelliJ?

> Every OS and every device, for real this time

Doesn't the JVM run everywhere in 2025?

apignotti•1y ago
> That's interesting! May I ask how it works? Does that also happen with e.g. IntelliJ?

Byte ranges request do most of the heavy lifting, data is loading exclusively on-demand.

> Doesn't the JVM run everywhere in 2025?

What about iOS? Android has Java, but can't run desktop Java apps. Chromebooks also have limits.

palata•1y ago
> Byte ranges request do most of the heavy lifting, data is loading exclusively on-demand.

I don't understand what that means. The JVM is supposed to interpret and sometimes compile bytecode, right? How can it be done with only a fraction of the JVM?

Or are you saying that it is constantly communicating with a server that does the work?

apignotti•1y ago
The VM itself is very small, it's the OpenJDK runtime that is quite sizeable. Byte ranges are used to only download the parts of the runtime (in terms of bytecode) that are required.

There is no server-side computation. CheerpJ runs code exclusively client-side.

palata•1y ago
But you said before that you only download a subset of the JVM, right? Or did you mean a subset of the JDK, including the JVM and... I guess other stuff?
apignotti•1y ago
I meant the JVM in an extended sense: the combination of the bytecode parsing, JIT compiler and OpenJDK runtime. You are right, I should have been more precise and refer to only the runtime part, which is by far the most significant.
palata•1y ago
I was not trying to prove you wrong, I'm just genuinely interested :-). I don't see a lot of articles about the JVM these days.