mikmoila

Joined 14 years ago

Karma

42

Submissions

63

Member since

Mar 4

View on Hacker News

Recent submissions

Comment · 1 month ago

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?

Comment · 1 month ago

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.

Comment · 1 month ago

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

Comment · 1 month ago

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.

Comment · 1 month ago

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

Comment · 2 months ago

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] jameskoppel.com

2 mikmoila 3 months ago 0 comments

Comment · 5 months ago

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

Comment · 6 months ago

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

Comment · 6 months ago

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

Comment · 6 months ago

How about intellectual-property risks?

Comment · 6 months ago

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

Comment · 9 months ago

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

Comment · 1 year ago

This is great idea.

Comment · 1 year ago

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.