feanaro

22 ms·

241.
by feanaro 4y ago
Sites A and B both include content from the spying website S, which sets some cookies. Now S can correlate your visits to A and B because it's able to read its own cookies. This change makes it so that requests A -> S (requests from
242.
by feanaro 4y ago
Not even Firefox Android crashes for me.
243.
by feanaro 4y ago
> can compute an arbitrarily large function on the encrypted data What is the meaning of the word "large" here? How are we defining the size of a function?
244.
by feanaro 4y ago
What are these programs where most of the code has to be imperative? That seems like a design decision, not an inherent constraint for most programs.
245.
by feanaro 4y ago
I guess I understood the claim to be universal, that is that all dreams are constructed purely at the point of waking. If it is not, then what I said is indeed not good evidence for the negation of the claim. However, the possibility that s
246.
by feanaro 4y ago
For me personally, it is because the benefit is not fairly marginal nor do I feel like limiting myself when using Haskell, not even for imperative parts of the program.
247.
by feanaro 4y ago
I think it is largely not, though it's not something that is a magical solution to all modelling problems. It probably depends on the domain you're solving problems in, but on the other hand, I've written CRUD applications in
248.
by feanaro 4y ago
The point is you're going to have parts of the program where you won't be doing imperative style at which Haskell will excel, including at combining and composing the imperative and non-imperative components. There is also the say
249.
by feanaro 4y ago
I seriously suspect there is a bimodal distribution are play here, because I would love to use Haskell, or something like it that's possibly more powerful like Idris, wherever I could. And at the same time I notice a lot of people expr
250.
by feanaro 4y ago
Completely agreed, but I guess this just doesn't click with some people as well as it did with me (empirically).
251.
by feanaro 4y ago
> At times I've had pretty interesting dreams, but since I was a teen (decades ago) wondered if perhaps the dream was made on the spot as I "remembered" it. This is easily disproved by observing that people sometimes mutte
252.
by feanaro 4y ago
Not sure where you got this from, but Element (and other Matrix-based clients) and Signal are obviously a thing. Matrix is even decentralized.
253.
by feanaro 4y ago
> A law enforcement backdoor into encrypted messaging is a good thing for society overall You state this as fact, yet almost no one agrees with you.
254.
by feanaro 4y ago
Typing status is already optional, private read receipts are just about to land in Synapse I think.
255.
by feanaro 4y ago
I disagree with this reasoning. Not to repeat things that were nicely said elsewhere, see https://news.ycombinator.com/item?id=31569160 and https://news.ycombinator.com/item?id=31568962 , but it boils down t
256.
by feanaro 4y ago
> No-one will care about a month or two gap on your resume. On a related note, this "gap in resume" thing needs to stop being a thing at all. I don't know when it became a thing, but it feels distinctively like forcing a w
257.
by feanaro 4y ago
Nope. Website sends information to my computer, my computer displays it the way I want it to be displayed. The website sending the information doesn't own my computer.
258.
by feanaro 4y ago
I don't understand requiring a transaction ID to migrate. Is that really a necessity? I almost certainly don't have the transaction ID (I haven't yet tried to migrate), but I also certainly do not expect that they can requi
259.
by feanaro 4y ago
> If you want E2E encryption, you sacrifice good full-text search, because you have to build the index on a computer that has access to the plaintext, which means doing it on an endpoint. It’s not as nice as doing it on the server. I&#x2
260.
by feanaro 4y ago
Yet languages with totality checkers and coinduction like Idris exist. These allow you to make useful but provably terminating programs. Humans are able to construct these termination proofs, though presumably not for all programs. In pract
261.
by feanaro 4y ago
This still doesn't exclude the existence of a general method for a well-behaved subset of Turing machines. It is the model of Turing machines that is too powerful.
262.
by feanaro 4y ago
Your reasoning doesn't invalidate the soft reboot concept. It merely states that having soft reboot would not allow us to get rid of hard reboot, which I agree with.
263.
by feanaro 4y ago
I'm seriously surprised by the number of people here not understanding what free software / open source means. The tag line is literally "free as in freedom, not as in beer". How is it possible to miss this?
264.
by feanaro 4y ago
The component that's most missing for "real" intelligence is long-term memory. Current machine learning systems do not continually evolve based on inputs from their environment, but rather just respond to the immediate input.
265.
by feanaro 4y ago
> According to a 2019 study, one can experience frisson when staring at a brilliant sunset or a beautiful painting; when realizing a deep insight or truth; when reading a particularly resonant line of poetry; or when watching the climax
266.
by feanaro 4y ago
Wait, how is an ultrasound more invasive than a mammogram, an X-ray based technique?
267.
by feanaro 4y ago
A more interesting comparison than with Coccinelle is with semgrep ( https://semgrep.dev/ ) since it also supports semantic/structural pattern matching over a number of languages, but also adds in a bunch of Boolean logi
268.
by feanaro 4y ago
Indeed. I'm a fan of both Daggerfall and Might and Magic, so this looks seriously good.
269.
by feanaro 4y ago
Now that you've mentioned it, I remember hearing about the term but I always took it as a possibility, especially when misapplying practice, and not a necessary part of the path. My own path so far seems to be confirming this notion of
270.
by feanaro 4y ago
I found it interesting because while I can see how the other things in your list would naturally happen as attachments lose power, I don't see why an increase in neurosis would be a necessary or even a common result. (For context, I&#x

More ›