Hacker News: mikmoila

New comment by mikmoila in "Formalizing Fermat's Last Theorem"

mikmoila — Fri, 04 Sep 2026 23:17:47 +0000

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?

New comment by mikmoila in "Formalizing Fermat's Last Theorem"

mikmoila — Fri, 04 Sep 2026 23:02:42 +0000

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.

New comment by mikmoila in "Formalizing Fermat's Last Theorem"

mikmoila — Fri, 04 Sep 2026 22:54:07 +0000

"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.

New comment by mikmoila in "Formalizing Fermat's Last Theorem"

mikmoila — Fri, 04 Sep 2026 22:10:23 +0000

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.

New comment by mikmoila in "Formalizing Fermat's Last Theorem"

mikmoila — Fri, 04 Sep 2026 21:34:18 +0000

"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.

New comment by mikmoila in "Oracle bans AI-generated code from OpenJDK"

mikmoila — Fri, 07 Aug 2026 22:03:53 +0000

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.

Demystifying Dependence [pdf]

mikmoila — Mon, 27 Jul 2026 19:47:54 +0000

Article URL: https://www.jameskoppel.com/files/papers/demystifying_dependence.pdf

Comments URL: https://news.ycombinator.com/item?id=49074703

Points: 2

# Comments: 0

New comment by mikmoila in "Project Glasswing: An Initial Update"

mikmoila — Fri, 22 May 2026 21:12:23 +0000

Code contains deviations from assumed behaviour, and some behaviours might manifest themselves as failures. Some failures might be exploitable by attackers.

New comment by mikmoila in "The Zig project's rationale for their anti-AI contribution policy"

mikmoila — Thu, 30 Apr 2026 19:17:28 +0000

Yes, imagine a breakthrough moneymaker product containing generative AI parts; It'll be under legal attacks from day zero...

New comment by mikmoila in "The Zig project's rationale for their anti-AI contribution policy"

mikmoila — Thu, 30 Apr 2026 14:43:20 +0000

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."

New comment by mikmoila in "The Zig project's rationale for their anti-AI contribution policy"

mikmoila — Thu, 30 Apr 2026 09:53:08 +0000

How about intellectual-property risks?

New comment by mikmoila in "Tendril – a self-extending agent that builds and registers its own tools"

mikmoila — Mon, 27 Apr 2026 20:27:43 +0000

I don't I use Java for small scripts/tools.

New comment by mikmoila in "How to code Claude Code in 200 lines of code"

mikmoila — Fri, 09 Jan 2026 21:47:43 +0000

Are they really? I've been under impression that agentic LLMs are just instances of the LLMs, no "specialized training" involved

New comment by mikmoila in "Hurl: Run and test HTTP requests with plain text"

mikmoila — Sat, 21 Jun 2025 22:50:41 +0000

This is great idea.

New comment by mikmoila in "Hurl: Run and test HTTP requests with plain text"

mikmoila — Sat, 21 Jun 2025 21:40:36 +0000

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.

New comment by mikmoila in "Debugging a memory leak in a Clojure service"

mikmoila — Fri, 06 Sep 2024 20:59:57 +0000

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.

JEP 468: Derived Record Creation (Preview)

mikmoila — Tue, 05 Mar 2024 22:13:43 +0000

Article URL: https://openjdk.org/jeps/468

Comments URL: https://news.ycombinator.com/item?id=39609806

Points: 2

# Comments: 0

New comment by mikmoila in "Which Interpreters Are Faster, AST or Bytecode?"

mikmoila — Fri, 20 Oct 2023 21:24:56 +0000

Good point, isn't this the partial compilation?

New comment by mikmoila in "Which Interpreters Are Faster, AST or Bytecode?"

mikmoila — Fri, 20 Oct 2023 18:17:50 +0000

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...

Helidon-Nima-Example

mikmoila — Tue, 12 Sep 2023 18:55:43 +0000

Article URL: https://github.com/tomas-langer/helidon-nima-example

Comments URL: https://news.ycombinator.com/item?id=37486012

Points: 2

# Comments: 0