dvt

10 ms·

151.
by dvt 5mo ago
> I think that idea is deeply fascinating, AND have no problem that we still credit mathematicians with discoveries. Most discoveries are indeed implied from axioms, but every now and then, new mathematics is (for lack of a better word)
152.
by dvt 5mo ago
Did you install Antigravity 2.0? It literally asks you to run a git command 30 seconds in lol.
153.
by dvt 5mo ago
> So, it's fine as long as it's legal, then? > Love that way of thinking. I mean.. yeah, kinda'? We live in a society made up of laws, that's kind of the premise. So if we don't think something is fine, we can
154.
by dvt 5mo ago
I was curious and just installed it, and... Antigravity is a literal clone of VSCode. Wtf? Honestly, it's so embarassing. I might write a blog post about this, but I remember falling in love with the art of product watching Google demo
155.
by dvt 5mo ago
Great video here by the man himself: https://x.com/filpizlo/status/1976831020566798656 From my cursory glance, the real magic (InvisiCaps) appears to be a unique take on fat pointers to track types, access rights,
156.
by dvt 5mo ago
> why Foucault is taken seriously I studied philosophy at a pretty prestigious institution, and he's not taken that seriously. He lives squarely in the deep caverns of the "continental" space, where philosophy is often int
157.
by dvt 5mo ago
I work routinely from coffee shops. Literally like 80% of people on their laptops have Claude or ChatGPT open when I glance over. Listen, I do think AI still has a LONG way to go to be the automation & productivity utopia we so desperat
158.
by dvt 5mo ago
At the very least not providing a disclaimer is disrespectful to your readers.
159.
by dvt 5mo ago
This is an amazing article, thanks for sharing! Will also bookmark it.
160.
by dvt 5mo ago
Let's say you want to call win32 (or Mac) OS functions, all of a sudden you're doing all kinds of wonky pointer stuff because that's how these operating systems have been architected. Doing unsafe stuff is pretty inevitable i
161.
by dvt 5mo ago
You actually kind of don't, I use like a zillion crates which have unsafe Rust in them and it's not like I'm sitting here reading every single line of their code. I like Rust for various reasons, but its memory safety is (imo
162.
by dvt 5mo ago
Obviously the way to prevent this is by bounds checking, which is literally in the `770594e` patch. It's just a bug and they happen routinely in all languages. Since this is doing pointer arithmetic, it could just as easily happen in u
163.
by dvt 5mo ago
Could say the same thing about AT&T, Bell Labs, etc. There’s a lot of precedent here, but most saliently, how you become a monopoly is not really relevant. They absolutely are one. But I’m being already aggressively downvoted with no
164.
by dvt 5mo ago
Kind of funny how something that used to be routinely self-written has been outsourced to libraries. I must’ve written auth like a few dozen times back in the PHP days, not particularly hard or complicated. There’s a million tutorials on ho
165.
by dvt 5mo ago
If you want the audience as an indie developer, it would behoove you to launch on Steam (because they're a monopoly). Again, MS used all these cute arguments, and they don't really work. There's a reason Valve is always playi
166.
by dvt 5mo ago
This is the same argument Microsoft used ("we're just an OS, totally not a monopoly"). I think to anyone that spends any time doing any PC gaming, it's obvious that Steam is the only relevant storefront by a country mile
167.
by dvt 5mo ago
I'd like to have an honest conversation about this, but imo Valve is no better than the iOS app store: it aggressively rent seeks and has essentially destroyed the shareware model (which was the best way to discover software in the 80s
168.
by dvt 5mo ago
It's not implemented in mlx[1] yet (or llama.cpp[2]), so it may take a while. [1] https://github.com/ml-explore/mlx-lm/pull/990 [2] https://github.com/ggml-org/llama.cpp/pull&#x
169.
by dvt 5mo ago
Absolutely wrong. Are we writing the same code here? Page guards are for all userspace access. (In fact, I think kernel space might also trigger them, but can be circumvented. PS: I'm being polite :) Kernel space 100% triggers them, bu
170.
by dvt 5mo ago
They also act as access alarms[1]. Why even comment if you didn't bother to read the docs? > The PAGE_GUARD protection modifier establishes guard pages. Guard pages act as one-shot access alarms. For more information, see Creating G
171.
by dvt 5mo ago
> The problem is the largest threat model. Without context, sentences like this mean nothing. So it's borderline a non sequitur. A threat model can be literally anything. Me giving my PC to someone at Best Buy, letting my grandma wr
172.
by dvt 5mo ago
This comment feels like it's written by AI. Anyway, PAGE_GUARD helps you get around VirtualProtectEx, which is a very common way of detecting userspace cheats.
173.
by dvt 5mo ago
This is not true. The canonical way to prevent access is via PAGE_NOACCESS[1]. Obviously, running as admin or in kernel mode breaks the whole thing since you can re-call `VirtualProtect` on that page and open it up. [1] https://l
174.
by dvt 5mo ago
This is 100% that case. Basically every form (like this very one I'm typing in) is held in userspace memory un-encrypted. And yet lawyers and doctors and CIA operatives all use forms to type very sensitive stuff in. It would be stupid,
175.
by dvt 5mo ago
Post-Great-War optimism was a real thing, in no small part motivated by the great experiment that was the League of Nations.
176.
by dvt 6mo ago
> it's the proportion of that to anything else And my point was that, from what I can tell, that proportion of trash::value has been increasing on all social media in (more or less) lockstep. If anything, I'd say Facebook has
177.
by dvt 6mo ago
> What's left is people who are logged in, _engaging_. And man, that was always the worst part of Twitter, the constant posturing and troll-baiting for clicks, pushing every viewpoint toward its extreme. I do agree that engagement f
178.
by dvt 6mo ago
Curious as to why people think this (other than partisan trend-following). I've been on Twitter since 2009, and it's arguably in the best spot it's ever been, apart from Grok being pushed so aggressively. A lot of people stil
179.
by dvt 6mo ago
At least write the README yourself, it's like 4 sentences.
180.
by dvt 6mo ago
This is an amazing test and it's kinda' funny how terrible gpt-2-image is. I'd take "plagiarized" images (e.g. Google search & copy-paste) any day over how awful the OpenAI result is. Doesn't even seem like

More ›