rq1

8 ms·

1.
by rq1 4d ago
When you see the level of cheating and deception: I think they’re Sam Altman-aligned.
2.
by rq1 19d ago
Bend the spoon* * for people who don’t know the ref
3.
by rq1 2mo ago
Exactly.
4.
by rq1 2mo ago
It was indeed an attack. The trains and other public transports to bring these people there were free that day for that specific destination.
5.
by rq1 2mo ago
Just think of it as a decompression procedure. That’s all.
6.
by rq1 2mo ago
Hilarious. It is absolutely a logical défense: our societal order and its relative fairness don’t emerge from the void. Otherwise a victim defending himself is the same as the person assaulting? Perpetrator: you just stabbed me OMG! Victim:
7.
by rq1 2mo ago
I never understood how people referred to or understood “whataboutsim”. I personally understand it not as a diversion but as a critique of the moral higher ground implied by the first accusation. Said differently: keep your own house in ord
8.
by rq1 2mo ago
I wouldn't disaree on the ergonomics: a powerful but unusable tool is... useless! Though ignoring all the PL lessons for the sake of "pragmatism" is just plain ignorance. Rust has a quite solid theory backing. Zig has nothing
9.
by rq1 2mo ago
From a PL Theory perspective, Zig is vibe-coded. Not sure why people use it.
10.
by rq1 2mo ago
I was wondering WTF was happening. This was past month: 516 + 518*n 516 n=0 count=4454 1034 n=1 count=318 1552 n=2 count=129 2070 n=3 count=56 2588 n=4 count=35 3106 n=5 count=14 3624 n=6 count=6 4142 n=
11.
by rq1 3mo ago
Because it’s supposedly open?
12.
by rq1 3mo ago
The main advantage of PeerTube and alike is that they keep the “professional content creators” and their crappy content away. Because of their unique monetisation feature.
13.
by rq1 3mo ago
The Pi compression algorithm is better.
14.
by rq1 3mo ago
The important properties of the logarithm are structural: we usually do not care about units or bases, except when carrying out an actual numerical computation. As developed in the article, informally, but somewhat sufficiently, the change
15.
by rq1 3mo ago
I think sooner rather than later, AI will replace CEOs.
16.
by rq1 4mo ago
You’re absolutely right to push back on this. Sometimes it’s not just about the Ys but also the Qs.
17.
by rq1 4mo ago
Enterprise programs*
18.
by rq1 4mo ago
Photoshop?! Where we’re going, we don’t need photoshop.
19.
Efficient biosorption of nanoplastics by food-derived lactic acid bacterium(sciencedirect.com)
2 points by rq1 6mo ago|0 comments
20.
by rq1 7mo ago
I assumed new projects but I just realised that I didn’t write it. But still disagree: we have cbindgen.
21.
by rq1 7mo ago
> I would say modern c++ written by someone already familiar with rust will probably be structured in a way that's extremely easy to port because you end up modeling the borrow checker in your brain. I can't stress out how much
22.
by rq1 7mo ago
Imagine you read a value from stdin and parse it as: Maybe Int So your program splits into two branches: 1. Nothing branch: you failed to obtain an Int. There is no integer to use as an index, so you can’t even attempt a safe lookup into so
23.
by rq1 9mo ago
Well I never advocated the latter, so please. And my logic is very sound, better than yours. :) I was replying to "the US does not get to decide who can have a nuclear weapon and who does not". As much as I agree with that... my
24.
by rq1 9mo ago
As much as I agree with you. Iran is signatory of the NPT with all its consequences. Instead of letting more countries develop these weapons, we should work on denuclearizing all countries, starting with the US and Russia and their insane a
25.
by rq1 10mo ago
The next generation will include another processor to offload the inference from the RISC V processors used to offload inference from the host machine.
26.
by rq1 1y ago
What core type theory is C3 actually built on? The blog claims that @pool "solves memory lifetimes with scopes" yet it looks like a classic region/arena allocator that frees everything at the end of a lexical block… a techniq
27.
by rq1 1y ago
Ah I see, it’s a solution too!
28.
by rq1 1y ago
I don’t really understand your point there. Sound type systems are equivalent to proof systems. You can use them to design data structures where their mere eventual existence guarantee the coherence and validity of your program’s state. The
29.
by rq1 1y ago
Just create dummy wrappers to make a type level distinction. A Height and a a Width can be two separate types even if they’re only floats basically. Or another (dummy) example transfer(accountA, accountB). Make two types that wrap the same
30.
by rq1 1y ago
Another masterclass from the DODGY department.

More ›