umvi

6 ms·

1.
Show HN: Pragma Twice – A dystopian sci-fi themed programming game(bryanpg.com)
2 points by umvi 6d ago|0 comments
2.
by umvi 14d ago
> I don’t like to think about how I’d do that with git. git cherry-pick + git rebase -i (to swap commit order)? ?
3.
by umvi 15d ago
I like the idea of jujutsu, but I must not operate at a scale where its "killer features" would truly shine. Git hardly ever gets in my way, I have never had to do complex octopus merges or anything like that. It's usually: f
4.
by umvi 21d ago
Im also a T1D and in my own experience high carb diets are extremely difficult to control BG with. You are chronically elevated/high or roller coastering, while with low carb diet its much easier to stabilize BG and keep sugar levels
5.
by umvi 21d ago
That seems like an extremely rare condition (source: I'm also a T1D and never encountered that when sick). I presume you are referring to https://www.ncbi.nlm.nih.gov/books/NBK554570/
6.
by umvi 22d ago
Well I'm a T1D and I'm not generally worried about DKA because I wear a CGM and keep my blood glucose below 140 mg/dL
7.
by umvi 22d ago
Ketones are only going to be present if you are exceptionally bad (very high carb diet) or exceptionally good (very low carb diet) at managing your blood sugar. It's not going to be terribly useful for your average diabetic who has fai
8.
by umvi 1mo ago
I feel like collecting, curating, and protecting high quality corpuses of "truth" is going to become increasingly important for high quality AI. There will come a day (and probably soon) when "training on the public internet&
9.
by umvi 1mo ago
Sometimes OOM Killer can stop it before it wrecks too much havoc, but often everything grinds to a complete halt and I have to just power cycle.
10.
by umvi 1mo ago
Hmm, yeah before "DeltaDB" I have a big list of things I would rather they develop/fix: - Vertical activity bar ( https://github.com/zed-industries/zed/pull/58868#issuecommen... - rejected becau
11.
by umvi 2mo ago
So basically: wind generators power electrolysis to create hydrogen, the hydrogen is fed to a normal Haber-Bosch plant which is still powered by coal or gas. So basically the wind power is just replacing the carbon footprint of a single inp
12.
by umvi 2mo ago
yeah you'd have to make a "mathematical grammar" to cover all the cases. one problem with current mathematical notation is that it is optimized for writing by hand, not with keyboards. If you want to write mathematical notati
13.
by umvi 2mo ago
Momentum, mainly. Richard Feynman invented a more intuitive triangle-based syntax for sin/cos/tan/etc but eventually abandoned it and conformed with mathematical norms for the sake of ubiquity.
14.
by umvi 2mo ago
My example was contrived, I'm sure some smart people could come up with a SQL-esque language that is even more readable to non-technical folks than programming syntax. At a certain point though, your layman has to know the "atomic
15.
by umvi 2mo ago
No, the problem with mathematics is that it is basically its own language separate from your native tongue. You have to learn dozens of symbols and greek letters and such and memorize what their meaning is in the context of mathematics in o
16.
by umvi 2mo ago
When I was typing "ssh-copy-id" I typed "ssh-c" and then hit tab... I was disappointed
17.
by umvi 2mo ago
> And yet you're using one I'm using a TS type stripper API from a go package inside the server. I'm not actually doing any "bundling" which implies resolving imports, tree shaking, combining multiple files into
18.
by umvi 2mo ago
You don't need a bundler, just a type stripper. And yeah you need a middleware to perform the type stripping, the server won't do it automatically, but it's like 10 lines of backend code. The basic flow would be something lik
19.
by umvi 2mo ago
Why doesn't it make sense? I actually do exactly this in my own setup, but with golang instead of Node.
20.
by umvi 2mo ago
Presumably Node is the server (back end), and when the browser requests a TS file, Node is stripping the types before serving it to the browser.
21.
by umvi 2mo ago
Not everyone is building complex UIs like google sheets. Most people are building static pages with a sprinkle of interactivity, or maybe form pages for doing CRUD.
22.
by umvi 2mo ago
Web components, invoker commands API, etc.
23.
by umvi 2mo ago
Even better: vanilla TypeScript + golang middleware (esbuild) on the backend that converts to JS on the fly. Like vanilla JS but with all the benefits of a type system and no bundler or npm required.
24.
by umvi 2mo ago
Dr. Bernstein has long argued this and documents it extensively in his book "Dr. Bernstein's Diabetes Solution"[1]. The main reason being that muscles act like natural glucose sinks that drain sugar directly out of the bloods
25.
by umvi 3mo ago
> The required technology is not possible - 3D printers read code, not intent; they cannot tell what a shape is for. "Anthropic announces Project Disarm, a new model designed for 3d printer manufacturers to quickly infer whether the
26.
by umvi 3mo ago
So I guess this is a competitor to Electron?
27.
by umvi 3mo ago
Go needs a good static analyzer to detect potential nil pointer dereferences. That would help identify and eliminate any unnecessary nil checks. .NET has a good one for C#.
28.
by umvi 3mo ago
Ban infinite scroll? Sounds like a slippery slope and also hard to enforce. I don't even know how you would craft such a law.
29.
by umvi 3mo ago
Knowing how to make a nuclear weapon isn't hard (at least basic uranium gun-style fission ones). It's the engineering and execution that's hard (actually producing enriched uranium, etc). It's not like the only thing h
30.
by umvi 3mo ago
They make great models, but the sanctimony and paternalism is getting old real fast and I will gladly ditch them in the future when the model playing field has (hopefully) mostly equalized.

More ›