frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

VoidZero Is Joining Cloudflare

https://blog.cloudflare.com/voidzero-joins-cloudflare/
311•coloneltcb•3h ago•158 comments

Ian's Secure Shoelace Knot

https://www.fieggen.com/shoelace/secureknot.htm
227•mooreds•5h ago•82 comments

KVarN: Native vLLM KV-cache quantization back end by Huawei

https://github.com/huawei-csl/KVarN
21•theanonymousone•1h ago•4 comments

They’re made out of weights

https://maxleiter.com/blog/weights
1119•MaxLeiter•16h ago•469 comments

In a first, wind and solar generated more power than gas globally in April 2026

https://electrek.co/2026/05/20/in-a-first-wind-solar-generated-more-power-than-gas-globally-april...
166•speckx•1h ago•142 comments

Gaussian Point Splatting

https://momentsingraphics.de/Siggraph2026.html
122•ibobev•5h ago•44 comments

U.S. Army Corps of Engineers Bay Model

https://en.wikipedia.org/wiki/U.S._Army_Corps_of_Engineers_Bay_Model
118•tosh•1d ago•32 comments

3D-printed book turns its own G-code into raised lettering

https://www.designboom.com/design/3d-printed-book-manual-darius-ou-benson-chong/
17•surprisetalk•2d ago•9 comments

Elixir v1.20: Now a gradually typed language

https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/
903•cloud8421•21h ago•355 comments

French-Iranian author Marjane Satrapi, author of 'Persepolis', dies at 56

https://www.france24.com/en/culture/20260604-french-iranian-author-marjane-satrapi-author-of-pers...
261•fidotron•4h ago•77 comments

Several Injured in Boeing 787 Nose-Gear Collapse in Frankfurt

https://www.reuters.com/business/aerospace-defense/lufthansa-787-jet-suffers-front-wheel-collapse...
31•karakoram•47m ago•26 comments

Google Employees Internally Share Memes About How Its AI Sucks

https://www.404media.co/google-employees-internally-share-memes-about-how-its-ai-sucks/
35•elorant•42m ago•13 comments

Gemma 4 12B: A unified, encoder-free multimodal model

https://blog.google/innovation-and-ai/technology/developers-tools/introducing-gemma-4-12b/
959•rvz•1d ago•359 comments

I built a vulnerable app and spent $1,500 seeing if LLMs could hack it

https://kasra.blog/blog/i-spent-1500-seeing-if-llms-could-hack-my-app/
324•jc4p•15h ago•169 comments

AccessOwl (YC S22) is hiring an AI TypeScript Engineer to connect 300 SaaS tools

https://www.ycombinator.com/companies/accessowl/jobs/hfWAhVp-ai-enabled-senior-software-engineer-...
1•mathiasn•4h ago

Show HN: Prela – Purely Algebraic Relation Combinators

https://github.com/remysucre/prela
27•remywang•3d ago•1 comments

Artificial intelligence is not conscious

https://www.theatlantic.com/philosophy/2026/06/no-artificial-intelligence-is-not-conscious/687378/
617•lordleft•22h ago•1014 comments

Under Notre Dame, a 'dig of the century' unearths 1,700 years of history

https://apnews.com/article/notre-dame-dig-treasures-paris-archaeology-roman-dae41f792c1402faf32a8...
121•cobbzilla•2d ago•31 comments

UK media fails to disclose defence sector links in nearly 60% of cases

https://aoav.org.uk/2026/military-experts-or-arms-industry-insiders-uk-media-fails-to-disclose-de...
328•XzetaU8•7h ago•189 comments

The ways we contain Claude across products

https://www.anthropic.com/engineering/how-we-contain-claude
188•jbredeche•15h ago•82 comments

I was recently diagnosed with anti-NMDA receptor encephalitis

https://burntsushi.net/encephalitis/
694•Tomte•1d ago•218 comments

Now Is the Best Time to Be a Duct Tape Engineer

https://derwiki.medium.com/now-is-the-best-time-to-be-a-duct-tape-engineer-eefc1d141c23
14•derwiki•3d ago•0 comments

Uber's $1,500/month AI limit is a useful signal for AI tool pricing

https://simonwillison.net/2026/Jun/3/uber-caps-usage/
564•pdyc•1d ago•690 comments

Learn SQL Once, Use It for 30 Years

https://fagnerbrack.com/learn-sql-once-use-it-for-30-years-9aceb0bdee03
204•karakoram•3d ago•158 comments

thunderbolt-ibverbs: We have InfiniBand at home

https://blog.hellas.ai/blog/thunderbolt-ibverbs/
92•zdw•2d ago•7 comments

Failing grades soar with AI usage, dwindling math skills in Berkeley CS classes

https://www.dailycal.org/news/campus/academics/failing-grades-soar-as-professors-see-greater-ai-u...
560•littlexsparkee•16h ago•524 comments

Kiki – a tiny homepage construction kit with a small footprint

https://tomotama.com/kiki
81•tobr•3d ago•52 comments

DaVinci Resolve 21

https://www.blackmagicdesign.com/products/davinciresolve/whatsnew
511•pentagrama•1d ago•228 comments

Show HN: Boxes.dev: ditch localhost; run Claude Code and Codex in the cloud

https://boxes.dev
24•nab•1h ago•9 comments

Claude Code and Codex Can Have Real-Time Conversation via Git

https://medium.com/@Koukyosyumei/claude-code-and-codex-can-have-real-time-conversation-via-git-f9...
87•syumei•4d ago•66 comments
Open in hackernews

Fixrleak: Fixing Java Resource Leaks with GenAI

https://www.uber.com/en-IL/blog/fixrleak-fixing-java-resource-leaks-with-genai/
22•benocodes•1y ago

Comments

leosanchez•1y ago
C# has Roslyn analyzers for this. Doesn't java have something similar ? Is AI appropriate technology for static analysis ?
jillesvangurp•1y ago
There were static code analyzers like findbugs able to do stuff like this 20 years ago. These days, your IDE should tell you off as well. And hopefully teams configure their builds to catch stuff like this using any of the available plugins for this.

LLMs seems overkill for this. But of course letting it do general code reviews is not a bad idea. And static code analyzers aren't perfect. Doing this at scale might be a bit tricky though; you'd have to go file by file. I assume Uber might have many millions of lines of code to screen. And maybe their developers aren't that concerned with addressing warnings.

But going file by file might be simple enough. And you can probably screen for important stuff with some decent system prompt and instruct it to check for potential resource leaks and similar issues and produce detailed bug reports with some priority if it finds them and a diff that addresses the issue. Could be a nice use case for agentic AIs to screen code like this.

TYMorningCoffee•1y ago
These existing tools (spotbugs, findings, sonarqube, null away, checker framework, pmd, etc) provide detection but not resolution. Resolution thru LLM is what Uber proposes.
nradov•1y ago
Resolution of the kind of resource leaks that SonarQube finds is usually the work of a few seconds. And it should be integrated into the developer workflow in such a way that those bugs are found and fixed before the code even gets checked in. In other words, if that code is even making it into a repo where GenAI can find and fix it then you have deeper engineering process problems. Fix the root cause rather than patching around them with more tools.

And once SonarQube flags a resource leak to a developer, a competent developer would learn from that and never make the same mistake again.

TYMorningCoffee•1y ago
It's not identifying the leaks. In their architecture they use Sonar qube for the detecting. The LLM provides the fix.
kmarc•1y ago
I'm working in the developer productivity space.

I think you'd be surprised, how many people do production code WITHOUT automated formatting / linting / static analysis.

Now these people and their managers are staring at the shiny new thing, the LLMs. They missing googling skills are fixed by LLMs ont heir everyday life, so they think a magic "code quality tool" (AI) would help them in they work.

To answer your question, obviously there are many linters/analyzers for Java (and for other languages too), both for static and dynamic code analysis, formatters, everything.

nitinreddy88•1y ago
Is this open sourced? It would be super useful if we can run against open source community projects to see the accuracy
TYMorningCoffee•1y ago
This architecture is promising. Large legacy code bases can have static analysis violations in the 1000s which devs never have the time to address. I've seen sonar tube reports that require man years to resolve everything.
time4tea•1y ago
This could be interesting, but all the example code is so poor, and the extent of the fix so limited that it feels like this is 'AI' for the sake of it.

Stringly-typed, catch-log-ignore, generates warnings in IDE anyway...

Fixed 90 of 125 errors that were found by a different technology... probably.could have been fixed by one developer in 1-2 days anyway - how long did this take?

daxfohl•1y ago
Mostly agree with these points, but it does say that it automates some of the fixes in complex cases that the non-AI tool couldn't handle.

Besides, gotta start somewhere. It's probably a PoC, for a platform that will eventually handle all sorts of things.

johnbender•1y ago
> Besides, gotta start somewhere. It's probably a PoC, for a platform that will eventually handle all sorts of things.

I agree and I think we should give folks leeway to make progress but this seems to be the qualifier for nearly every GenAI demo I’ve seen

tuyguntn•1y ago
> all the example code is so poor, and the extent of the fix so limited

I agree about the limitations, but look from another perspective, is it good use of time asking experienced engineers who get paid 300-500k/year to go and fix these issues? Probably no.

Would it bring them a joy finding simple leaks and fixing them? Probably no again.

Then this tool is a nice addition to the engineers

fjwufjfa•1y ago
> try (BufferedReader reader = new BufferedReader (new FileReader (filePath) )){

won't FileReader leak if the BufferedReader constructor throws?

nick__m•1y ago
That BufferedReader constructors is not supposed to throw, unless the reader is null or you're out of memory. If your out of memory you should probably abort the program execution because the difficulty of correctly recovering from an OOM exception is between hard and impossible.

Edit: Disregard the above, it was too naive.

It cannot leak because of a stronger warranty. In the JLS, it is specified that the try-with-resources track successfull initialisation of AutoClosable resources, not successful assignation. So one try with resources can desugar into the logical equivalent of multiple nested try-catch-finally !

delusional•1y ago
> difficulty of correctly recovering from an OOM exception is between hard and impossible.

In Java out of memory is signaled with an OutOfMemoryError which is a throwable (and can be caught) but is not technically an exception. Errors should generally never be caught and cannot be recovered from, which is how they differ from exceptions.

nick__m•1y ago
It's possible to recover enough to cleanly save the user work and shutdown. You have to mesure of much memory you need for a clean shutdown and allocate a byte[sizeForShutdown] at the start of the application in the top level exception handler (the only one that should catch that error) and free that byte array before doing anything else.

Now you can argue that this is not truly recovering from exception but it is a lot better than what you can do with most of the other Error subclasses. I said most because there are easy to recover from Error like the StackOverflowError where you just have to fail the operation or request that caused the error.

kburman•1y ago
I'm not sure I fully understand the purpose of this tool. Modern IDEs are quite good at detecting these types of issues. And if they don't catch something, I often just copy and paste the method with some context-into an LLM and ask it to find the problem. It usually handles all the necessary changes for me.
microflash•1y ago
Can we not solve this by an OpenRewrite recipe?

https://docs.openrewrite.org

nradov•1y ago
Does the JLS actually guarantee that if you free that byte array then the extra memory will be immediately available? I thought there could potentially be some lag. The safer approach would be to create all of the objects you need for a clean shutdown during program launch and keep them around. Then you won't need to allocate any memory in the exception handler.
nick__m•1y ago
Your approach is safer for sure and doesn't require me the read the JLS before going to see my mother for mother's day, so it's doubly better !
adra•1y ago
It's not great, but you can always catch and retry if your belief is that the GC will free enough memory to allow the attempt to continue after the memory pressure subsides.

Let's say you get 1/100 requests that are randomly sent to your process. That 1 takes 100x the average memory usage of the others. You could spin it out to different services to better handle the weird one-off, but that doesn't always make sense. Sometimes you just need to be ok with working the 100x job and let the other 99 get progressive falloff retry. Different solutions are always possible.

Quekid5•1y ago
> It's not great, but you can always catch and retry if your belief is that the GC will free enough memory to allow the attempt to continue after the memory pressure subsides.

No, you cannot. Catching, for example, StackOverflowError (which inherits from Error) can lead to very strange deadlocks and such (if locking is relying on try-finally discipline, as it should), even if you do "almost nothing" before re-throwing.

It's a huge hornet's nest of weirdness to even attempt to catch anything which derives directly from Error. (Rather than RuntimeException/Exception.)

EDIT: There are some really strange subclasses of Error now that I think about it. E.g. VirtualMachineError ... I don't think I've ever seen that in any logs, thankfully, but what exactly is the program (running on the failing VM) supposed to do if that is thrown? It'd be like trying to carry on or log an error if suddenly 1==2 turned out to be true.

delusional•1y ago
> There are some really strange subclasses of Error now that I think about it. E.g. VirtualMachineError

An OutOfMemoryError is a VirtualMachineError. The Java runtime doesn't technically contain the idea of "finite memory". The language sort of assumes there's an infinite amount of memory. When there isn't and the VM is forced to throw an OutOfMemoryError it's technically a breach of the abstraction of the language and the VM is unable to continue working.