frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
354•evankhoury•5h ago•186 comments

alpr.watch

https://alpr.watch/
642•theamk•9h ago•325 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
438•ryandrake•7h ago•81 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
347•gavide•6h ago•71 comments

Midjourney is alemwjsl

https://www.aadillpickle.com/blog/midjourney-is-alemwjsl
84•aadillpickle•6d ago•34 comments

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
124•MrAlex94•4h ago•77 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
329•charlierguo•8h ago•174 comments

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)

https://bernsteinbear.com/isdt/
13•vismit2000•1h ago•0 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
503•kevin-david•9h ago•589 comments

Sei AI (YC W22) Is Hiring

https://www.ycombinator.com/companies/sei/jobs/TYbKqi0-llm-engineer-mid-senior
1•ramkumarvenkat•1h ago

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

https://simonwillison.net/2025/Dec/15/porting-justhtml/
76•pbowyer•4h ago•44 comments

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-d...
398•geox•13h ago•176 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
431•recvonline•13h ago•670 comments

Dafny: Verification-Aware Programming Language

https://dafny.org/
34•handfuloflight•4h ago•14 comments

Testing a cheaper laminar flow hood

https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
14•surprisetalk•4d ago•1 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
330•mitchbob•1d ago•135 comments

Japan to revise romanization rules for first time in 70 years

https://www.japantimes.co.jp/news/2025/08/21/japan/panel-hepburn-style-romanization/
126•rgovostes•17h ago•103 comments

More than 100 rally against data centers at Michigan Capitol

https://www.lansingstatejournal.com/story/news/local/2025/12/16/lansing-state-capitol-data-center...
20•rmason•3h ago•10 comments

Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents

https://github.com/TheAuditorTool/Auditor
11•ThailandJohn•13h ago•3 comments

Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola

https://arstechnica.com/cars/2025/11/an-electric-car-thats-faster-than-f1-around-monaco-thats-the...
4•PaulHoule•5d ago•0 comments

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

https://gamehistory.org/segachannel/
226•wicket•13h ago•34 comments

MIT professor shot at his Massachusetts home dies

https://www.bbc.com/news/articles/cly08y25688o
199•mosura•5h ago•97 comments

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

https://kemble.net/blog/provoke/
88•tempodox•11h ago•52 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
89•thatoneengineer•1d ago•110 comments

Show HN: Learn Japanese contextually while browsing

https://lingoku.ai/learn-japanese
20•englishcat•2h ago•6 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
149•ewt-nv•1d ago•29 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat
54•nulbyte•5h ago•11 comments

Locked out: How a gift card purchase destroyed an Apple account

https://appleinsider.com/articles/25/12/13/locked-out-how-a-gift-card-purchase-destroyed-an-apple...
16•nonfamous•52m ago•3 comments

Meta's new A.I. superstars are chafing against the rest of the company

https://www.nytimes.com/2025/12/10/technology/meta-ai-tbd-lab-friction.html
73•furcyd•6d ago•86 comments

Can I use HTTPS RRs?

https://www.netmeister.org/blog/https-caniuse.html
23•zdw•4d ago•6 comments
Open in hackernews

JEP 515: Ahead-of-Time Method Profiling

https://openjdk.org/jeps/515
101•cempaka•7mo ago

Comments

nmstoker•7mo ago
Would be interesting if the Faster Python team considered this approach for Python (although maybe they already did?)
motoboi•7mo ago
The most impact will be achieved on java standard library, like Streams (cited in the article). Right now, although their behavior is well stablished and they are mostly used in the "factory" mode (no user subclassing or implementation of the stream api), they cannot be shipped with the JVM already compiled.

If you can find a way (which this JEP is one way) to make the bulk of the java standard api AOT compiled, then java programs will be faster (much faster).

Also, the JVM is already an engine marvel (java JIT code is fast as hell), but this will make java programs much nimbler.

rzwitserloot•7mo ago
I assume you meant with the AOT argument: "The initial few minutes of a JVM's existence, which would be the entire lifetime if you're using java the way you use e.g. your average executable in your `/usr/bin` dir".

Saying "java programs will be faster" is perhaps a bit misleading to those who don't know how java works. This will speed up only the first moments of a JVM execution, nothing more. Or, I misread the JEP, in which case I'd owe you one if you can explain what I missed.

As a java developer this will be lightly convenient when developing. We go through JVM warmup a lot more than your average user ever does. Personally I think I'm on the low end (I like debuggers, and I don't use TDD-style "what I work on is dictated by a unit test run and thus I rerun the tests a lot during development". But still it excites me somewhat, so that should mean your average java dev should be excited quite a bit by this.

I am not all that experienced in it, but I gather that lambda-style java deployments (self contained simple apps that run on demand and could in theory be operating on a 'lets boot up a JVM to run this tiny job which won't last more than half a second') have looong ago moved on from actually booting JVMs for every job, such as by using Graal, an existing AOT tool. But if you weren't using those, hoo boy. This gives every java app 'graal level bootup' for as far as I can tell effectively free (a smidge of disk space to store the profile).

For the kinds of java deployments I'm more familiar with (a server that boots as the box boots and stays running until a reboot is needed to update deps or the app itself), this probably won't cause a noticable performance boost.

indolering•7mo ago
I thought Graal was going to slowly replace HotSpot?
vips7L•7mo ago
There was talk of the graal jit replacing C2, but native image will never replace HotSpot.
mshockwave•7mo ago
in addition to storing profiles, what about caching some native code? so that we can eliminate the JIT overhead for hot functions

EDIT: they describe this in their "Alternative" section as future work

tikkabhuna•7mo ago
Is this similar/the same as Azul Zing’s ReadyNow feature?
rst•7mo ago
Faint echoes of the very first optimizing compiler, Fortran I, which did a monte carlo simulation of the flow graph to attempt to detect hot spots in the flow graph so it could allocate registers to inner loops first.
indolering•7mo ago
OpenJ9 has had some of this type of functionality for a while now. Glad to see the difference between interpreted and compiled languages continue to get fuzzier.
pjmlp•7mo ago
Even longer than that, OpenJ9 AOT capabilities, and JIT cache, go back to the Websphere Real-Time JVM, whose branding had nothing to do with J2EE application server.

Most documentation is gone from the Internet, I was able to dig one of the old manuals,

https://ftpmirror.your.org/pub/misc/ftp.software.ibm.com/sof...

These kind of features have been available in commercial JVMs like those for a while now, what the community is finally getting are free beer versions of such capabilities.