hansvm

60 ms·

871.
by hansvm 2y ago
Comptime is amazing. It's a new language, but I'm excited. I got my team excited too, for some fantastic benefits at work.
872.
by hansvm 2y ago
They try. Success rates vary, but most people can't afford to fight it even when they're right.
873.
by hansvm 2y ago
It helps with reasoning in some sense, and the net balance might be positive in how much reasoning it enables, but it definitely hurts local reasoning. You need broader context to be able to analyze whether the function is correct (or even
874.
by hansvm 2y ago
It's not automatic. The purpose of a trademark is increasing trust and reducing fraud. E.g., when I buy lithium batteries I intend to store inside my home there's only so much I can do to audit the internals, so I rely on brand re
875.
by hansvm 2y ago
It's a very nontrivial amount of code to make the library that provides all of those features, even worse to do it well. Here's a PoC for one of them [0] (default implementations). The broad theme is that other languages use keywo
876.
by hansvm 2y ago
Global variables (in languages where they otherwise make sense and don't have footguns at initialization and whatnot) have two main problems: 1. They work against local reasoning as you analyze the code 2. The semantic lifetime for a b
877.
by hansvm 2y ago
I'll try to put together a PoC a little later. I won't have time till at least this evening though, maybe later.
878.
by hansvm 2y ago
It'd be a bit gnarly, but somebody could absolutely write a utility capable of providing those features in the userspace of the language: 1. Documented Interface: Documentation would be a struct with the desired function declarations (
879.
by hansvm 2y ago
I'm in the Bay. My only reasonable options are Comcast cable and T-Mobile 5G. I had enough problems with Comcast that I went to 5G, and it's ... fine. The bill is $5/mo worse than the alternative, but there's been zero e
880.
by hansvm 2y ago
Maybe we'll get lucky https://xkcd.com/750/
881.
by hansvm 2y ago
Absolutely. That begs the question though, if Trump has ordered federal employees to make the government efficient and eliminate the weaponization of government, are those employees not obligated to remove Trump and Musk from their current
882.
by hansvm 2y ago
The thing you gain is exactly that missing documentation (via @compileError and whatnot in the hypothetical library code I hand-waved away). The compiler errors can point you to the exact interface you're supposed to adhere to (as oppo
883.
by hansvm 2y ago
One halfway option in Zig (though I _think_ interfaces are still being considered for addition to the language as first-class citizens) is to use the language's metaprogramming facilities. Somebody, once, in the userspace of the langua
884.
by hansvm 2y ago
> maybe unfiltered That seems plausible. I definitely filter mine. You need at least a coarse filter for sand and whatnot, and various biofilms and whatnot are visibly problematic for culinary salt as you apply heat. I'm sure they&#
885.
by hansvm 2y ago
That's another possible tradeoff. Suppose you want that feature and aren't giving any more information to the compiler than you normally do, two extremes exist: 1. Add any such pools you can reason about at compile-time (Rust does
886.
by hansvm 2y ago
I might be one of today's luck ten thousand. Suppose you're writing an OS for a modern computer. You have full access to the subset of hardware actually exposed to you. You have a single process (having not yet done anything with
887.
by hansvm 2y ago
I wouldn't buy from there again! I'm not sure what they did wrong (maybe they cheated by adding something to normal salt that later rotted?), but that's definitely not how it turns out at home. In most dishes you can't t
888.
by hansvm 2y ago
> All RAM access is deterministic in the sense that the value will not change until written That's correct at a hardware level. It's not correct from a userspace program's perspective when interacting with Linux if the mem
889.
by hansvm 2y ago
Zig has a couple features to help with that. I assume Rust should too (probably not directly applicable to BorrowedBuf, but for the case of a reusable pool of objects)? It comes down to a piece of syntactic sugar, plus "result location
890.
by hansvm 2y ago
The complexity is a symptom of it being a side-project, not evidence that it isn't. As a reminder, today's cars are still vulnerable to remote takeover via malformed songs on the radio because of shitty can-bus practices combined
891.
by hansvm 2y ago
Flaky salt is easy to make. You can adjust the texture as desired. I usually start with a bucket of sea water, but iodized salt works too.
892.
by hansvm 2y ago
It usually speeds up basically everything parallelizable that looks kind of like a parser, lexer, tokenizer, .... Unless somebody goes out of their way to design a format with fewer data dependencies, those workloads are crippled on modern
893.
by hansvm 2y ago
I wonder how thinly veiled those decisions can be and still fly under a court's radar [0]. [0] https://www.smbc-comics.com/comic/algo?ht-comment-id=1201119...
894.
by hansvm 2y ago
I cared tiny bit. I even went out and bought a phone so that I could "prove I was a real person" or whatever to try to make a FB account. Account creation failed, my IP was banned, and I just blocked every FB domain and haven&#x27
895.
by hansvm 2y ago
In the $5k-$10k savings range, you can also average 4.5% just by switching banks every year and taking advantage of sign-up bonuses. With a spouse and the referral bonus, the break-even cap goes up to $15k-$30k. Everything is FDIC-insured t
896.
by hansvm 2y ago
Clarifying: Many of the pardoned individuals have video evidence of assaulting police with weapons and claim to be part of organizations diametrically opposed to BLM, Antifa, and the FBI. Are they: 1. Lying, masquerading as Trump supporters
897.
by hansvm 2y ago
> UB vs "safe" panic Yes, it's not exactly the same if you compile in ReleaseFast instead of ReleaseSafe. Both are bad though, and I'd tend to blame the coding pattern for the observed behavior rather than quibble abo
898.
by hansvm 2y ago
That too, as a general coding pattern. I was commenting on the criticism of Zig as a sub-par system's language though, contrasting with a language most people with that opinion seem to like.
899.
by hansvm 2y ago
In an emergency, that sort of thing even happens at Google (more for their smaller services, and almost always in the form of auto-LGTM hot-fixes bypassing the normal checks rather than actual live-editing of a script or binary, but even th
900.
by hansvm 2y ago
The first thing that came to mind when I saw this project wasn't scraping (where I'd typically either want a less detectible browser or a more performant option), but as a browser engine that's actually sane to link against i

More ›