Viewing profile — neongreen

Sounds similar to Qwen3 but the exact opposite: "stopping thinking before a natural termination" https://arxiv.org/pdf/2505.09388 > Thinking Budget. An additional advantage of Thin…

This is a very good question and the answers are different for different models. --- Deepseek v4 Pro has three modes: no thinking, thinking ("high"), very good thinking ("max"). Ma…

Look at https://randomlabs.ai/blog (Slate), they're exactly that and you can play with it

As someone who used to have an incredibly hard time putting my app in front of users, or asking for feedback, or getting rejected, etc: Posts like this one always made me feel like…

> I'm trying to wrap my head around exactly why so may people seem to want the best model available I've been programming since I was a kid. I enjoy it a lot, I like knowing how th…

I worked at Standard Chartered and it's a bit similar, but it's hard for me to judge how much. SC has its own Haskell compiler that produces bytecode that you can run locally, seri…

Yes this is Slate

> Even though I acknowledge that "written in Rust" probably means the tool is relatively new, not buggy, and easy to use. I genuinely chose the language for one of my projects base…

I have the same feeling. I got used to infrastructure being run as a democracy, not merely “source available under GPL/BSD/MIT”. (It’s a big thing to want, sure, but I don’t mind w…

> database of functions This is exactly what Unison ( https://www.unison-lang.org/ ) does. It’s kinda neat. Renaming identifiers is free. Uh… probably something else is neat (I hav…

A promise of money in the future is worth less than getting this money now. Present value (PV) here would be - how much you would pay now to get $X after T time. Turns out that sum…

I learned about the `scoping` package today. Idk if it works exactly as I expect from other langs, though.

No slow pushes but I’ll be on the lookout for them.

I’ll go a few steps further: - it’s only kinda open source if it’s not on GitHub, - it’s definitely not open source if it’s not in Git, - but it can regain its open sourceness if i…

I started a `#shitty-server-suggestions` channel in one of the Discords I'm in and it's my favorite type of channel. Now we have the same thing online! I'm genuinely happy

At work I’ve been using jj for the internal Standard Chartered monorepo (6.5 MLOC). I didn’t ask anyone, just installed and started using it. Git compatibility is a killer feature.…

This actually sounds like a very neat idea. Do you know any services / software companies that operate like that?

Btw — how hard are these problems nowadays? Back then, 8 top Soviet students solved only half of them in a month — has anyone tried giving them to students now?

The test comes with an answer key. See the second half of https://www.crmvet.org/info/la-littest2.pdf .

Can you upload a screen recording? I don’t think I can run the model locally but it’d be super interesting to see what happens if you run into a wall

Does it ever happen that USb-C works one way but not the other?

I used the debugger all the time when I was writing in Pascal (and later Delphi). It was great. Then I switched to Haskell. No (useful) debugger there. Now I write TypeScript, and.…

My understanding from reading the Apple v Epic court documents is that Apple is unique in that it doesn’t force cheaper prices outside the ecosystem. I might be wrong though.

https://counterexamples.org/ is a good collection of unsoundness examples in various languages. For TypeScript, they list an example with `instanceof`: https://counterexamples.org/…

I liked the chapter on DMCA from the 5-volume E-Commerce & Internet Law . It was super detailed. I haven’t read volume 1, but apparently half of it is about data scraping, and I ex…