HNHacker News
TopNewBestAskShowJobs

solomatov

1,566 karma · joined May 23, 2013

submissionscomments
solomatov··on Material Theme has been pulled from VS Code's marketplace
Is it possible for you to add color theme/icon theme/keymap only extensions, without any executable code? I think, it will improve the security situation a bit. I don't see why the mentioned kinds of extensions should have any code.
solomatov··on LIMO: Less Is More for Reasoning
Halting problem input has finite size (i.e. it’s a Turing machine)
solomatov··on LIMO: Less Is More for Reasoning
LLM can never solve a halting problem (because no one can using a Turing machine).
solomatov··on LIMO: Less Is More for Reasoning
You could have a rich mathematical knowledge, while being not very good at proving theorems. Also, you might be good at proving competitive mathematics problems without having a rich mathematical knowledge. It's also possible to have rich mathematical knowledge, and being good at proving theorems but mostly in the field of your expertise.
solomatov··on Mistral Small 3
Thanks, very interesting information. I was aware of IC rules, but have never heard about limitations on model weights.
solomatov··on Mistral Small 3
What are these ai diffusion rules?
solomatov··on Phi 4 available on Ollama
> but luckily now that it's MIT licensed it's available on OpenRouter

Did it have a different license before? If so, why did they change it?

solomatov··on Show HN: Chorus, a Mac app that lets you chat with a bunch of AIs at once
A smaller to a medium sized company. Due to several reasons:

- Setting up payment with a third party provider isn't that simple, and their fees are far from zero.

- Getting users. Popular queries in Google are full of existing results, and getting into there isn't easy and isn't cheap. Also, search engines aren't the most popular way to get apps to your devices, usually people search directly in app stores. Apple takes care of it, i.e. I guess that popular app with good ratings get to higher position in search results.

- Trust. I install apps on the computer without Apple only if I trust the supplier of the software (or have to have it there). Apple solves it with their sandboxing.

Yep, 30% are a lot, but for these kinds of businesses it might be well worth it (especially with reduced commission of 15% for smaller revenue).

solomatov··on Show HN: Chorus, a Mac app that lets you chat with a bunch of AIs at once
If you are small, the app store looks to me as the easiest solution for selling apps.
solomatov··on Show HN: Chorus, a Mac app that lets you chat with a bunch of AIs at once
My main concern is security and privacy. App store apps are sandboxed but manually installed apps usually are not.
solomatov··on Show HN: Chorus, a Mac app that lets you chat with a bunch of AIs at once
I would be much more likely to install this if it was published in the app store.
solomatov··on Discovering algorithms by enumerating terms in Haskell
My guess is they sample closed lambda terms representing functions.
solomatov··on Cloudflare defeats patent troll Sable at trial
Could you give examples of such companies (I am really curious)?
solomatov··on iPhone that fell from hole in Alaska 737 MAX flight is found, still open to Mail
Drag (air friction) is proportional to the square of velocity. If you know aerodynamic properties of iphone, you could find a value of velocity where drag is equal to gravitational force, at which point the speed doesn't change. You could use it as an approximation of the speed at which iphone hits the ground.
solomatov··on Ask HN: Is Web 3.0 close to be solved by LLMs (+ logic frameworks)?
We won’t need semantic web if machines are able to understand natural language.
solomatov··on The New York Times Launches a Strong Case Against Microsoft and OpenAI
Yep, you seem to be right. Google stores the quotes from pages, and it's fair use. Again, I am not a lawyer, and didn't think about this.
solomatov··on The New York Times Launches a Strong Case Against Microsoft and OpenAI
It's not a fair use question, it's a question about models reproducing the article text almost verbatim.

(IANAL)

solomatov··on Ask HN: What are your predictions for 2024?
> state-space models make transformer based models obsolete

We will see whether they work on a large scale pretty soon. I hope they will, but they might not be. There're models which might outperform more advanced models on the smaller scale, and I haven't heard how Mamba performs on GPT scale.

solomatov··on Ask HN: Is it feasible to train my own LLM?
Yes, it's doable. Your model won't be as large and as performant as a real large scale model, but you could train something. You could watch this for a start: https://www.youtube.com/watch?v=kCc8FmEb1nY&list=PLAqhIrjkxb...
solomatov··on Ask HN: What happens if I don't abide by GDPR and put a banner on my website?
It's much more complicated than that. The article 3 (https://gdpr-info.eu/art-3-gdpr/) says two possible ways to get into a territorial scope of GDPR:

- the offering of goods or services

- the monitoring of behavior of data subjects

Offering doesn't mean that it's just available and/or sellable in EU. It's more complicated than that. EDPB has a guidance on this topic: https://edpb.europa.eu/our-work-tools/general-guidance/guide... In short, document shows examples where some services are available in EU, and sellable there but personal data isn't covered by GDPR.

On the other hand, my understanding is that monitoring of behavior is always covered by GDPR.

(I am not a lawyer and this is not a legal advice)

solomatov··on Ask HN: Is anyone else bearish on OpenAI?
>I am, personally... at least until it's all done on-device and functions offline.

You could do it now. Apple computers with a lot of RAM are pretty good at running Llama2.

solomatov··on H-1B Visa Program Changes Aimed at Stopping Applicants from Gaming Lottery
I am not a lawyer, but in US the federal law consists of 2 parts: US Code (USC), and Code of Federal Regulation (CFR).

The USC is created and maintained by the Congress. USC delegates to federal agencies implementation of USC through CFR, i.e. by writing it. Any changes to CFR, should be published and given a comment period, my understanding that it's 6 months. During this time, the Congress has option to review, and disapprove changes to CFR if they see that it makes sense. (Others could also write comments and send them to the federal agency).

My non-lawyerish understanding is that this describes proposed changes to CFR within the authority delegated by the congress.

solomatov··on DALL·E 3 is now available in ChatGPT Plus and Enterprise
You could upload image in the visual variant of the model and ask to describe it. It’s different from Dall-E 3
solomatov··on DALL·E 3 is now available in ChatGPT Plus and Enterprise
I tried it, and it's super awesome. Try taking an image, ask to describe it, and feed the description back. I have never seen anything similar.
solomatov··on Ask HN: Are you more likely to use something because it is open source?
Of course. You don't need to investigate the license, learn about the vendor, inquire about payment structure, talk to sales people, justify the purchase to your manager, etc. There's much less friction, all thing being equal.
solomatov··on Graph Neural Networks use graphs when they shouldn't
It’s more or less the same thing. You could consider transformer a GNN.
solomatov··on HashiCorp did it backwards
> True...it's just difficult to draft a license that says something along the lines of "If you're Big Tech, we have the right to go after you, if you're small startup, you're safe".

Take a look at the license of LLAMA2 by FB. It has a clause just like this. I.e. limit by number of users.

solomatov··on The Rust Foundation's New Trademark Policy Draft Is Just Wrong
There's a case law which contradicts what you say:

- https://casetext.com/case/toyota-motor-sales-v-tabari (about using buy-a-lexus.com and buyorleaselexus.com domains without permission from Toyota)

- https://www.leagle.com/decision/1969761411f2d3501697 (about using Independent Volkswagen Porsche Service without permission from Volkswagen and Porsche)

P.S. May be I am misunderstanding something because I am not a lawyer, but these cases looks pretty straightforward to me.

solomatov··on The Rust Foundation's New Trademark Policy Draft Is Just Wrong
It’s very interesting how enforceable this trademark policy is. There’re trademark fair use, and it looks like they try to take away some part of it, through forbidding to use word Rust in other product names.

P.S. I am not a lawyer.

solomatov··on ARM wrestles assembly language guru's domains away, citing trademark issues
Policies aren't always binding. There're companies which include a point about complying with the trademark policies in their terms of use, there're some which just located on their site under the name guidance.

P.S. I am not a lawyer.

← PreviousPage 3 of 29Next →