News for hackers. Stuff that matters.

mikmoila

mikmoila on Hacker News

Re:Formalizing Fermat's Last Theorem on Friday September 04, 2026 @07:17PM (#49571317)
Yes "at any substancial level" . But still, its all about deterministic processes and still it obeys the law that the same input gives the same output. Or do you mean that the fluctuations like computing environment might ruin the determinism?
Re:Formalizing Fermat's Last Theorem on Friday September 04, 2026 @07:02PM (#49571203)
I think you're referring to the fact that the sheer amount of computations is something too time consuming for us to follow? But still it is not "magical" - in theory we could follow all the steps, there's no hidden information.
Re:Formalizing Fermat's Last Theorem on Friday September 04, 2026 @06:54PM (#49571148)
"you could never have accomplished"; I am not able to follow the logic here - there is no "magic" in LLMs, they're built by humans and we know what they do.
Re:Formalizing Fermat's Last Theorem on Friday September 04, 2026 @06:10PM (#49570826)
Humans built the tool which enabled the result. AI used the tooling for eliminating the dead ends. Yes, I can appreciate the practical value of all this, but IMHO it is not a kind of breakthrough result the article gives impression of.
Re:Formalizing Fermat's Last Theorem on Friday September 04, 2026 @05:34PM (#49570495)
"The effort succeeded when we switched to using Prove2Me, an open collaborative platform for formalizing mathematics designed by Tianyi Peng and his collaborators at Columbia University."

So in the end, it required tooling crafted by humans.

Re:Oracle bans AI-generated code from OpenJDK on Friday August 07, 2026 @06:03PM (#49216773)
https://openjdk.org/legal/ai

Shitposting, the reasons are very clear and explicit: The risks of having legal problems are very clear.

Google for example GEMA vs. OpenAI.

Re:Project Glasswing: An Initial Update on Friday May 22, 2026 @05:12PM (#48241746)
Code contains deviations from assumed behaviour, and some behaviours might manifest themselves as failures. Some failures might be exploitable by attackers.
Re:The Zig project's rationale for their firm anti-AI contribution policy on Thursday April 30, 2026 @03:17PM (#47967007)
Yes, imagine a breakthrough moneymaker product containing generative AI parts; It'll be under legal attacks from day zero...
Re:The Zig project's rationale for their firm anti-AI contribution policy on Thursday April 30, 2026 @10:43AM (#47963324)
OpenJDK project (interim) AI-policy faq (https://openjdk.org/legal/ai):

"What are the intellectual-property risks of using generative AI tools? The Oracle Contributor Agreement (OCA) requires that a contributor own the intellectual property rights in each contribution and be able to grant those rights to Oracle, without restriction. Most generative AI tools, however, are trained on copyrighted and licensed content, and their output can include content that infringes those copyrights and licenses, so contributing such content would violate the OCA. Whether a user of a generative AI tool has IP rights in content generated by the tool is the subject of active litigation."

Re:The Zig project's rationale for their firm anti-AI contribution policy on Thursday April 30, 2026 @05:53AM (#47960248)
How about intellectual-property risks?
Re:Tendril – a self-extending agent that builds and registers its own ... on Monday April 27, 2026 @04:27PM (#47926901)
I don't I use Java for small scripts/tools.
Re:How to Code Claude Code in 200 Lines of Code on Friday January 09, 2026 @04:47PM (#46559839)
Are they really? I've been under impression that agentic LLMs are just instances of the LLMs, no "specialized training" involved
Re:Hurl: Run and test HTTP requests with plain text on Saturday June 21, 2025 @06:50PM (#44341319)
This is great idea.
Re:Hurl: Run and test HTTP requests with plain text on Saturday June 21, 2025 @05:40PM (#44340932)
Very interesting tool; I've done something quite similar by implementing a CLI-mode interpreter to VS Code Rest-client (https://marketplace.visualstudio.com/items?itemName=humao.re...) files, with a support of executing a test-code (Javascript) against the result of http operations. The idea was to have a tool which could run .http files in batch mode, and also to execute the selected set of http operations concurrently.
Re:Debugging a memory leak in a Clojure service on Friday September 06, 2024 @04:59PM (#41469686)
There is nothing special in getters and setters, the runtime sees them as methods and may optimize them as it'd do for any other methods.
Re:Which Interpreters Are Faster, AST or Bytecode? on Friday October 20, 2023 @05:24PM (#37961726)
Good point, isn't this the partial compilation?
Re:Which Interpreters Are Faster, AST or Bytecode? on Friday October 20, 2023 @02:17PM (#37959607)
Wasn't it so that as Graal jitter is written in Java, Truffle can easily call it by using ordinary Java api?

By the way there's an excellent series of articles about implementing an interpreter with Truffle by Adam Ruka: https://www.endoflineblog.com/graal-truffle-tutorial-part-12...

Re:Helidon Níma: The first Java microservices framework based on virtu... on Saturday August 19, 2023 @06:15PM (#37193868)
Of course, this is not fully comparable to Akka, but you might find this interesting: https://github.com/ebarlas/game-of-life-csp
Re:Helidon Níma: The first Java microservices framework based on virtu... on Saturday August 19, 2023 @05:38PM (#37193515)
Also there are some traceability issues involved in using asynchronous APIs: "In the asynchronous style, each stage of a request might execute on a different thread, and every thread runs stages belonging to different requests in an interleaved fashion. This has deep implications for understanding program behavior: Stack traces provide no usable context, debuggers cannot step through request-handling logic, and profilers cannot associate an operation's cost with its caller. "

https://openjdk.org/jeps/444

Re:Helidon Níma: The first Java microservices framework based on virtu... on Saturday August 19, 2023 @04:48PM (#37193031)
Jetty can be used with virtual threads: https://webtide.com/jetty-12-virtual-threads-support/
Re:Helidon Níma: The first Java microservices framework based on virtu... on Saturday August 19, 2023 @04:41PM (#37192950)
SC will be a preview level API in Java 21: https://openjdk.org/jeps/453
Re:Helidon Níma: The first Java microservices framework based on virtu... on Saturday August 19, 2023 @04:35PM (#37192888)
In addition, this implementation detail might help in gaining some insight: "The synchronous networking Java APIs, when run in a virtual thread, switch the underlying native socket into non-blocking mode. When an I/O operation invoked from Java code does not complete immediately (the native socket returns EAGAIN - “not ready” / “would block”), the underlying native socket is registered with a JVM-wide event notification mechanism (a Poller), and the virtual thread is parked. When the underlying I/O operation is ready (an event arrives at the Poller), the virtual thread is unparked and the underlying socket operation is retried."

https://inside.java/2021/05/10/networking-io-with-virtual-th...

Re:Helidon Níma: The first Java microservices framework based on virtu... on Saturday August 19, 2023 @04:06PM (#37192600)
Nima uses virtual threads where blocking call blocks only the current virtual thread but not the underlying carrier-thread, which can run another virtual thread while waiting i/o to complete.
Re:Helidon Níma: The first Java microservices framework based on virtu... on Saturday August 19, 2023 @03:59PM (#37192518)
One at a time, not concurrently.
Re:Helidon Níma: The first Java microservices framework based on virtu... on Saturday August 19, 2023 @03:57PM (#37192500)
"callRemote" simulates a blocking outbound http-call.
Re:Good code is like a love letter to the next developer who will main... on Sunday July 23, 2023 @05:00PM (#36839788)
Right to the spot, thanks for sharing this! I've always thought that having a decision log of justifying design/implementation choices which are somehow surprising would be healthy thing to do.
Re:Fintech engineering mistakes on Friday June 30, 2023 @04:39PM (#36541904)
Fascinating info, thanks for sharing this with all the details! Didn't watch your youtube video but do you use any formal systems like TLA+ internally for validating your designs?

Older »