frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Announcing three new discoveries in mathematics, computer science, and physics

https://openai.com/index/building-scientific-understanding-with-academic-communities/
360•jonluca•3h ago•140 comments

The Exponential Time Hypothesis Is False [pdf]

https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-Octob...
221•vok•2h ago•95 comments

Sebastian Raschka's from-scratch video course on building reasoning models

https://magazine.sebastianraschka.com/p/building-reasoning-models
536•sgiannopoulos•9h ago•79 comments

Type Server Protocol

https://github.com/microsoft/pylance-release/blob/main/docs/tsp/type-server-protocol.md
185•adamnemecek•6h ago•135 comments

Oldest GUI application that still runs on Windows 11

https://blog.enlyth.com/posts/oldest-windows-gui-app-win-11/
263•enlyth•7h ago•175 comments

Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses)

https://blog.cloudflare.com/kv-cache-exposure-remediation/
54•wondersky•2h ago•8 comments

A Printer Printing onto Paper

https://twitter.com/macrofying/status/2112904628509528219
45•MrBuddyCasino•3d ago•11 comments

CSS-Tricks has a new owner

https://css-tricks.com/css-tricks-has-a-new-owner/
371•edent•9h ago•88 comments

LISPy things you can do in 64K bytes of core (2019)

https://t3x.org/lisp64k/index.html
18•andsoitis•1d ago•1 comments

Nietzschian Debugger

https://github.com/DilawarShafiq/nietzschian-debugger
126•dilawargopang•7h ago•39 comments

GPT-6.1 Terra

https://openai.com/index/introducing-gpt-6-1-terra/
486•meetpateltech•6h ago•308 comments

Show HN: Hob - Open-source, on device alternative to Claude Cowork and ChatGPT

https://github.com/FrigadeHQ/hob
107•pancomplex•8h ago•25 comments

A Man from the Future: Why Johnny Can't Stop Abstracting

http://muratbuffalo.blogspot.com/2026/10/the-man-from-future-why-johnny-cant.html
109•aray07•7h ago•58 comments

Anthropic S-1

https://www.sec.gov/Archives/edgar/data/2130357/000162828026067168/anthropicpbc-sx1.htm
1459•SiNTEx•11h ago•1427 comments

Is PHP Running on Your ColdFusion Server? How to Check, and Remove It

https://www.gregoryalexander.com/blog/2026/10/23/is-php-quietly-running-on-your-coldfusion-server...
15•rmason•2h ago•8 comments

Solar power is becoming bigger than nuclear

https://www.bbc.com/future/article/20261023-how-solar-became-bigger-than-nuclear
111•geox•9h ago•213 comments

Birdwatching rewires the brain and slows cognitive decline

https://www.bbc.com/future/article/20261019-birdwatching-rewires-the-brain-and-slows-cognitive-de...
508•cisc•3d ago•199 comments

New iPad mini

https://www.apple.com/newsroom/2026/10/apple-gives-ipad-mini-its-biggest-update-ever/
125•soheilpro•11h ago•377 comments

SIMD-accelerated computer vision on a $2 microcontroller

https://shraiwi.com/blog/simd-fast-esp32s3/
169•zdw•1d ago•53 comments

Microsoft offers mass buyouts for roughly a quarter of its workforce

https://www.seattletimes.com/business/microsoft/microsoft-offers-mass-buyouts-for-roughly-a-quart...
733•doctorzook•9h ago•646 comments

Blaise Pascal invented fixed route public transport (2024)

https://humantransit.org/2024/12/one-of-the-greatest-inventions-in-the-history-of-human-transport...
259•skadamat•4d ago•136 comments

Diamond Transistor

https://www.df.com/diamond-transistor
122•Gravityloss•3d ago•65 comments

Websites Should Be Printable

https://brennenputh.me/blog/printable-websites/
261•bagatelle•14h ago•172 comments

Pharo 14

https://pharo.org/news/2026-10-26-Pharo14Release.html
237•xkriva11•13h ago•63 comments

Native Prometheus Integration with Nginx

https://categorica.io/blog/2026.10.16_nginx-stats-prometheus/
29•foxhill•3d ago•9 comments

Sigma Says the Compact, Modular FP2 Is the Ultimate Hybrid Camera

https://petapixel.com/2026/10/22/sigma-says-the-compact-modular-fp2-is-the-ultimate-hybrid-camera/
39•thm•3d ago•57 comments

In Context [video]

https://www.youtube.com/watch?v=P5eO7BNyJao
6•adityaathalye•3d ago•0 comments

The EPA Is Quietly Killing Its Web Archive

https://www.motherjones.com/environment/2026/10/epa-online-archive-deletion-zeldin-camp-lejeune-t...
222•robtherobber•5h ago•42 comments

Fixing Tool-Call Accuracy in vLLM

https://www.ubicloud.com/blog/fixing-tool-call-accuracy-in-vllm
145•coffeemug•11h ago•64 comments

Magic state cultivation on a superconducting quantum processor

https://arxiv.org/abs/2512.13908
12•kheal•5h ago•1 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.