frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56
308•gmays•2h ago•143 comments

GigaToken: ~1000x faster Language model tokenization

https://github.com/marcelroed/gigatoken/
176•syrusakbary•2h ago•31 comments

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

https://bento.page/slides/
471•starfallg•4h ago•102 comments

Are AI Labs Pelicanmaxxing?

https://dylancastillo.co/posts/pelicanmaxxing.html
142•dcastm•2h ago•54 comments

Making

https://beej.us/blog/data/ai-making/
195•erikschoster•4h ago•77 comments

Everyone Should Know SIMD

https://mitchellh.com/writing/everyone-should-know-simd
57•WadeGrimridge•2h ago•18 comments

Nobody knows what a used GPU cluster is worth

https://ciphertalk.substack.com/p/nobody-knows-what-a-used-gpu-cluster
76•rbanffy•1w ago•65 comments

The startup's Postgres survival guide

https://hatchet.run/blog/postgres-survival-guide
235•abelanger•7h ago•125 comments

Can a MUD evaluate LLMs? A $99 proof of concept

https://cruciblebench.ai/
63•Davisb135•4h ago•37 comments

Ghost Cut – or why Cut and Paste is broken everywhere

https://ishmael.textualize.io/blog/ghost-cut/
80•willm•5h ago•54 comments

Mechanical light bulb from 1675 [video]

https://www.youtube.com/watch?v=0Y-9GbsS9Fg
50•kadohg•1w ago•20 comments

Launch HN: Unlayer (YC W22) – Add email and document builders to your app

https://unlayer.com
29•adeelraza•3h ago•22 comments

Does creatine make you smarter?

https://dynomight.net/creatine/
155•surprisetalk•4h ago•146 comments

“We have information that Moonshot distilled Fable for the development of K3”

https://twitter.com/mkratsios47/status/2079933645888880708
142•softwaredoug•5h ago•328 comments

10 REM"_(C2SLFF4

https://beej.us/blog/data/mystery-comment/
134•ingve•8h ago•38 comments

Perlin's Noise Algorithm

https://blog.jaysmito.dev/blog/02-perlins-noise-algorithm/
50•ibobev•5h ago•10 comments

Show HN: Web swing through midtown NYC

https://www.swingnyc.com/
47•shahahmed•3h ago•17 comments

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links

https://www.orangecrumbs.com/hall/
151•oyster143•4h ago•36 comments

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
211•badcryptobitch•3d ago•41 comments

Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL

https://deepsql.ai/
25•venkat971•2d ago•16 comments

Passkeys were invented by engineers with zero understanding of consumer brain

https://twitter.com/nikitabier/status/2079787406300266743
328•ksec•5h ago•425 comments

Nvidia DGX Spark as a daily driver

https://daniel.lawrence.lu/blog/2026-07-15-dgx-spark-as-daily-driver/
8•plun9•3d ago•1 comments

OpenNode – Bitcoin Payment Processor

https://opennode.com/
95•gurjeet•5h ago•80 comments

Neo Radar: A browser-based orbital mechanics engine with 41k real asteroids

https://neoradar.space
48•daviazpen•4h ago•13 comments

Hologram works. Elixir runs in the browser

https://hologram.page/blog/backing-hologram
73•lawik•5h ago•13 comments

Intel Starts Shipping High-NA EUV Silicon

https://morethanmoore.substack.com/p/intel-starts-shipping-high-na-euv
220•zdw•4d ago•94 comments

LG to ban residential proxies from smart TV apps

https://krebsonsecurity.com/2026/07/lg-to-ban-residential-proxies-from-smart-tv-apps/
358•DemiGuru•18h ago•359 comments

I tried to record music onto a cassette tape using modern tech

https://swiftrocks.com/i-tried-to-record-music-onto-a-cassette-tape-using-modern-tech
18•rockbruno•5d ago•15 comments

ScreenWall – Turn old phones into synced widgets for your space

https://screenwall.app/
114•buibuibui•5d ago•42 comments

When is NVLink worth it?

https://platform-fools.com/posts/2026-04-27-nvlink/
36•ak_t•5h ago•8 comments
Open in hackernews

Fixrleak: Fixing Java Resource Leaks with GenAI

https://www.uber.com/blog/fixrleak-fixing-java-resource-leaks-with-genai/
17•carimura•1y ago

Comments

stevoski•1y ago
> “Resource leaks, where resources like files, database connections, or streams aren’t properly released after use, are a persistent issue in Java applications”

This was true maybe back in 2005. Java has had try-with-resources for a loooong time. As I see it this has been the dominant idiom for ages, for handling resources that might leak.

okr•1y ago
People tend to forget. Stream-API is a good candidate, that people like to not consider for leakage. If you don't own your stream, if you do not definitly know, that your stream comes from a collection, then ya better close it with a try-block.
bob778•1y ago
How much effort was spent automating this to fix 112 instances across Uber’s code base? I assume code reviews would catch any new issues so this seems like overkill for a small one-off task?
hawk_•1y ago
Spotbugs or checkstyle etc... would catch these. What does AI add here?
xyst•1y ago
It gives marketing team at Uber to say "wE uSe AI hErE!!1". C-levels approve since anything AI gets a nice pump.

Engineering wise. This adds nothing. It’s an absolute waste of compute and energy to run this through LLMs

sigotirandolas•1y ago
> This analysis ensures that FixrLeak skips functions where resources are passed as parameters, returned, or stored in fields, as these resources often outlive the function’s scope.

> FixrLeak delivers precise, reliable fixes while leaving more complex cases for advanced analysis at the caller level.

In other words, this will only fix trivial leaks, which are best seen as a language design issue and can be fixed by RAII, reference counting, etc.

It won't fix the more insidious leaks like `UNBOUNDED_QUEUE.add(item)` that are more likely to pass through code review in the first place.

xyst•1y ago
Using AI when a static scanner like SonarQube easily picks up these types of resource leaks, especially in Java.

Peak waste.

What’s next?

"Get rid of your GitHub dependabot alerts and replace it with my shitty ChatGPT wrapper”

rvz•1y ago
> Using AI when a static scanner like SonarQube easily picks up these types of resource leaks, especially in Java.

Exactly.

It's very disappointing to see that Uber engineers would rather trust an LLM to that claims to spot these issues when a battle-tested scanner such as SonarQube would have caught this in the first place.

The LLM hype-train is almost just as bad as the JavaScript hype train in the 2010s where some of the worst technologies are used on everything.

rvz•1y ago
Why exactly do you need LLMs for this when efficient alternatives like SonarQube or checkstyle already do this without the expensive waste LLMs create?

This adds little to no technical advantage over existing solutions what so ever for this particular use case.

yahoozoo•1y ago
stupid af
Traubenfuchs•1y ago
So you tell me those 200-600k software engineers that can easily solve leetcode hard are so incompetent they missed using try-with-resources at such scale, they needed to introduce new AI tooling to fix it?

Hey Uber, I am from the EU, I usually can‘t even solve leetcode medium but I will write you scalable, spotless Java for a third of the salary.

Our industry and its economics are a joke.

hello_moto•1y ago
So you write bug-free scalable code 100% in any jobs you ever worked for?

I guess we don’t need QA and Dev/Staging environment

rad_gruchalski•1y ago
Can the QA team? How does the dev/staging environment help writing less buggy code?
rad_gruchalski•1y ago
But can you leetcode heh.
TYMorningCoffee•1y ago
A lot of commenters point out that there already are many established static checkers that do this. That is not what Uber attempts here.

Uber is not proposing a static checker. They even use sonar qube in their architecture. They propose using an LLM to resolve the leak detected by sonar qube.