ivanbakel

6 ms·

1.
by ivanbakel 5d ago
I don't see what bearing the point you're trying to make has on the above comment. The question is not "how much it costs", the question is whether or not it's reasonable for a company to institute per-seat pricing.
2.
by ivanbakel 6d ago
To play devil's advocate a bit: running software isn't free. If you're paying for an online service, the hosting cost to the company does scale per-seat. It's easy to say that the company only paid the cost of developmen
3.
by ivanbakel 15d ago
A very valid take on spec writing. It sometimes feels like the research on formal verification is like the drunkard searching under the lamppost, in that the target is often a domain which is itself well-suited to a particular kind of compu
4.
by ivanbakel 27d ago
The media buzz around the ills of social media are certainly tied to moderation, as well as other problems with the governance of those sites: people are really worried about the kind of offensive content that is easily accessible to, and r
5.
by ivanbakel 27d ago
> This is the work of the UK govt, not corporate lobbyists. This is not an exclusive or. Corporate lobbyists from social media have a real incentive for pushing age verification and attestation. They benefit from public outcry and popula
6.
by ivanbakel 29d ago
My interpretation of the parable is really just that management consultants are paid to tell you what you already know and give you the conclusions you want to hear - hence why their "solution" is non-specific and the retrospectiv
7.
by ivanbakel 1mo ago
>why would the formal verification be any more correct than the program it is verifying? It is quite believable that it's easier to describe what a program should result in versus actually programming it to produce that result - esp
8.
by ivanbakel 1mo ago
>Open source didn't stop Jia Tan How do you think the backdoor situation would have been resolved if xz hadn't been open-source?
9.
by ivanbakel 3mo ago
In some discussion about Arabic rendering on another website[0], it was pointed out that the Basmala is its own codepoint in part because it is (or was?) a legal requirement on Pakistani documents and comes from an Urdu character-set. It&#x
10.
by ivanbakel 3mo ago
Is this a knowing joke? Switzerland's largest (very much in both senses) coin is 5Fr, around 6 USD. Not a token amount by any means, though it wouldn't even cover most public transport journeys in cities.
11.
by ivanbakel 4mo ago
Natural selection can only work at the granularity of whole organisms, since they're the things that compete and reproduce. There is no finer pressure on specific concepts like efficiency, except that they may help the organism survive
12.
by ivanbakel 5mo ago
The GP is talking about DMT, not the mushroom mentioned in the article.
13.
by ivanbakel 5mo ago
> What they call a "trigger" is apparently a theorem proved by some more powerful system. (Or just assumed as an axiom. That's cheating, and it will come back to bite you.) A trigger in SMT lingo is nothing of the sort. It
14.
by ivanbakel 5mo ago
This is a point I was also wondering the whole time. The vulgarisation of literature happened all over Europe at varifying times and in different stages. We don’t see these as changes in the language itself, but instead the authors daring t
15.
by ivanbakel 6mo ago
>Some programming languages (Kotlin, Swift, Rust, Typescript...) already do something similar for possible null pointer access: they require that you add a check "if s == null" before the access. For Rust, this is not accurate
16.
by ivanbakel 6mo ago
Could you clarify what's going on in the Zig docs[0], then? My reading of them is that Zig definitely allows you to try to divide by 0 in a way the compiler doesn't catch, and this results in a panic at runtime. I'd be intere
17.
by ivanbakel 8mo ago
Providing a device doesn't require picking a standard issue model of phone. IT departments often support an employee's choice of phone (or at least, choice of manufacturer) provided it's compatible with management software.
18.
by ivanbakel 8mo ago
Interesting that they settled on a standard model at all. The announcement implies that the university is responsible for phone maintenance and repair, which makes sense as a motivation, but is not something I would expect in itself from a
19.
by ivanbakel 9mo ago
> it is not "Safe Rust" which is competing with C it is "Rust". It is intended that Safe Rust be the main competitor to C. You are not meant to write your whole program in unsafe Rust using raw pointers - that would i
20.
by ivanbakel 9mo ago
> There were certainly a lot of people running around claiming that "Rust eliminates the whole class of memory safety bugs." Safe Rust does do this. Dropping into unsafe Rust is the prerogative of the programmer who wants to
21.
by ivanbakel 10mo ago
No, Exchange ActiveSync (as the other commenter correctly identified it) really allows an admin to wipe your device - ostensibly of mail, but often of all other data as well.[0] If your Outlook server disables IMAP & POP3, then the Acti
22.
by ivanbakel 10mo ago
What I'm most curious about, and what the docs are light on detail about: does this mean Thunderbird complies with remote deletion requests (which IIRC, the Exchange protocol suppports)? I have the impression that Microsoft makes this
23.
by ivanbakel 10mo ago
>You don't think businesses take advantage of situations for more profit? That's not the point. Businesses are obviously happy to raise prices under the confusion of other changes, but I find it very hard to believe "accou
24.
by ivanbakel 10mo ago
> Where's the law preventing stores from imposing an accounting fee for multi-item purchases, conveniently totaling a few cents? Where’s the law preventing someone from doing this right now? I don’t think this cynicism is justified.
25.
by ivanbakel 10mo ago
> I mean, feeling sand compress in subtle ways and being able to map that mentally to an object that might be hidden in the sand seems like literally touch plus normal world modelling / reasoning That seems like a very strong claim
26.
by ivanbakel 11mo ago
Probably because it’s unclear what this pedantry about synecdoche contributes to the discussion. Many people (including journalists at the state broadcaster) happily refer to the whole tower as Big Ben, so that is functionally one of its na
27.
by ivanbakel 11mo ago
>Is there any reason you can't spoof literally all of that? I think that’s what is being insinuated.
28.
by ivanbakel 11mo ago
>I've been drinking raw milk probably since I was 3 year old, like most kids in my relatively underdeveloped country before I moved to the US. Why do you think this is a strong enough reason to allow a dangerous product that used to
29.
by ivanbakel 1y ago
The repo is sparse on the details unless you go digging, which perhaps makes sense if this is just meant as the artifact for the mentioned paper. Unless I’m wrong, this is mainly an API for trying to get an LLM to generate a Z3 program whic
30.
by ivanbakel 1y ago
It is likely too late for many existing contracts with packages built-in, which probably also overlap with the longest-working (and thus most expensive) engineers.

More ›