cobbal

7 ms·

61.
by cobbal 1y ago
It uses cryptography (a little-known and mostly-useless offshoot of Crypto)
62.
by cobbal 1y ago
swift has this as well { foo($0, bar) }
63.
by cobbal 1y ago
"The first time a user logs in using Microsoft or Azure account credentials" Maybe it's related to using the online account for local logins
64.
by cobbal 1y ago
If we're fixing the language, may as well fix the real problem and not artificially limit stack space.
65.
by cobbal 1y ago
Clearly we just need to invent a "-2" AI
66.
by cobbal 2y ago
If anyone like me was wondering how accuracy of a continuous measurement can be a percentage, apparently they're just multiplying correlation by 100. > Correlation coefficient estimates and their 95% confidence intervals were also e
67.
by cobbal 2y ago
Microsoft has a habit of naming similar (or not) things the same as each other. VS and VS Code; Powershell and Windows Powershell; Copilot and Github Copilot; Azure, Azure DevOps, and probably other Azure things. I'm not sure what inte
68.
by cobbal 2y ago
Only if the church-turing-carmack thesis holds, which I personally doubt
69.
by cobbal 2y ago
"Safe" is unfortunately overloaded here. I wasn't trying to say anything about memory safety. `leak` and `forget` may be memory-safe, but they can only be implemented with `unsafe` code to circumvent the liveness/"r
70.
by cobbal 2y ago
(Not a regular rust developer, so take this with a large grain of salt) Rust can absolutely prevent memory leaks. It depends on how much unsafe rust code you use. Many rust developers find the convenience outweighs the risk of leaks, and ta
71.
by cobbal 2y ago
Don't they have this? I hit the "don't recommend this channel" button and never see them again
72.
by cobbal 2y ago
The point is not that all NP hard problems make bad cryptosystems, but rather the NP-hardness guarantee fails to translate into a useful guarantee for a cryptosystem. It's about the proof, not the computation.
73.
by cobbal 2y ago
Running `make' works in tramp, so it can do some form of execution
74.
by cobbal 2y ago
Not just that, but +20/-282 is the up/down split
75.
by cobbal 2y ago
Personally I like to differentiate subclassing from conforming to an interface. Both are subtyping, but interfaces are much cleaner.
76.
by cobbal 2y ago
Gold is sold by weight, so those extra neutrons are pure profit.
77.
by cobbal 2y ago
I really hate to be defending cryptocurrency, but doesn't this same argument apply to banks? They don't produce anything either, they just shift made up numbers around.
78.
by cobbal 2y ago
It's a decent, if uncommon, unit for human reactions. The difference between 0 and 1 seconds is a noticeably long time to wait for something, but the difference between n and n+1 milliseconds is too fine to be useful.
79.
by cobbal 2y ago
Another complicating factor that many less-tech-literate don't have a good internal model for is window focus. I've seen several people try and single-click on a not focused web button, only for nothing to happen. When they click
80.
by cobbal 2y ago
PSA: If you configure your default search engine to be "https:/ /www.google.com/search?udm=14&q=" (space added to disable link detection) you can get rid of the AI. It also turns off some nice things like the ca
81.
by cobbal 2y ago
One of the best things about proof assistants is that they're not convinced by how "obvious" you think something is. It's much harder for a human to resist proof by social forces such as intimidation, confidence, and &qu
82.
by cobbal 2y ago
Microsoft itself recommends developers use a "dev drive" where defender is partially disabled because of how bad it is.
83.
by cobbal 2y ago
I'm not completely sure what this example is trying to illustrate. Most languages with proper sum types would have `Map<K, V>.get` return an `Optional<V>`. If V happens to be `Optional<Integer>`, then the result will
84.
by cobbal 2y ago
It is an interesting question of definitions. Is control flow only at runtime? Is `#if` control flow in C? If I had to define it, I would go with runtime-only, but I could see the other way too.
85.
by cobbal 2y ago
That's where low-profile memory comes in. If the space is only two blocks tall, then corruption is prevented.
86.
by cobbal 2y ago
It's a similar problem to swatting. It relies on authorities taking severe action against an unverified source of problems. I suppose a difference is that they use unaffiliated parties to send the complaint, instead of contacting the a
87.
by cobbal 2y ago
It's even worse. Civil engineers are allowed to create structures that have 0 engines in them! We should restrict the title to its original meaning.
88.
by cobbal 2y ago
An important distinction that often gets lost is that entropy is a property of a probability distribution. A system to generate passwords has entropy, one specific password does not. It's possible to read "hunter2" from &#x2F
89.
by cobbal 2y ago
Possible, but likely slow. There's nothing in the "C abstract machine" that mandates specific hardware. But, the bitshift is only a fast operation when you have bits. Similarly with bitwise boolean operations.
90.
by cobbal 2y ago
Mathematica also has some fairly advanced typographic syntax. Matrices, subscripts, integral signs, with a decent input system to match. Type <ESC>dint<ESC> to get a definite integral with placeholders. One particularly nice thi

More ›