neongreen

6 ms·

1.
by neongreen 1mo ago
I’m using exe.dev, yeah, but I don’t feel like it is a quality of life improvement for CRUD apps. Deploying smth that has to be persistent like a discord bot — yeah sure. “Any agent on any VPS/VM” is an agent with self hosted infra. Lo
2.
by neongreen 1mo ago
I was on the agent team at Lovable (no longer working there). I think most solo devs would be better served by using Lovable than Codex or Claude, for the kind of apps Lovable is optimized for (i.e. CRUDs with thirdparty SaaS integrations
3.
by neongreen 2mo ago
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 Thinking Mode Fusion is that,
4.
by neongreen 2mo ago
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"). Max is implemented as follows: https:&#x2
5.
by neongreen 2mo ago
Look at https://randomlabs.ai/blog (Slate), they're exactly that and you can play with it
6.
by neongreen 2mo ago
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 was a coward. Like there was.. unvirtuousness.. in not ki
7.
by neongreen 3mo ago
> 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 things work, I get excited about new compiler fea
8.
by neongreen 3mo ago
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, serialize, send to be executed somewhere else, etc. Mo
9.
by neongreen 3mo ago
Yes this is Slate
10.
by neongreen 1y ago
> 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 based on this reasoning. I want to be in the nice U
11.
by neongreen 1y ago
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 wanting big things.)
12.
by neongreen 1y ago
> 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 haven’t used Unison irl)
13.
by neongreen 1y ago
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 of PV($X in 1 year) + PV($X in 2 years) + … converges even
14.
by neongreen 2y ago
I learned about the `scoping` package today. Idk if it works exactly as I expect from other langs, though.
15.
by neongreen 2y ago
No slow pushes but I’ll be on the lookout for them.
16.
by neongreen 2y ago
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 it has an open Discord and the devs are hanging out there.
17.
by neongreen 2y ago
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
18.
by neongreen 2y ago
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. (if anyone from SC is reading this -- search our wiki for
19.
by neongreen 2y ago
This actually sounds like a very neat idea. Do you know any services / software companies that operate like that?
20.
by neongreen 2y ago
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?
21.
by neongreen 2y ago
The test comes with an answer key. See the second half of https://www.crmvet.org/info/la-littest2.pdf .
22.
by neongreen 2y ago
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
23.
by neongreen 2y ago
Does it ever happen that USb-C works one way but not the other?
24.
by neongreen 2y ago
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.. somehow I never figured out how to do debugging in JS prop
25.
by neongreen 2y ago
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.
26.
by neongreen 2y ago
https://counterexamples.org/ is a good collection of unsoundness examples in various languages. For TypeScript, they list an example with `instanceof`: https://counterexamples.org/polymorphic-union-refinemen
27.
by neongreen 2y ago
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 expect it to be similarly detailed. So if I were you, tha
28.
by neongreen 2y ago
According to https://docs.github.com/en/site-policy/content-removal-polic... , even an upstream dmca doesn’t suspend downstream by default (unless the copyright owner claims they believe all forks violate copyright
29.
by neongreen 2y ago
Just to clarify — I’m not talking about people hosting $5 VPS’es, Shopify stores, Wordpress blogs, etc. I already know DMCA works against those. I’m more interested in “why doesn’t the same approach work against big sites”. But it looks lik
30.
by neongreen 2y ago
Oh, so notice-and-takedown concerns the storage safe harbor but not the transmission safe harbor. I didn’t realize that. Thanks!

More ›