Viewing profile — aleks224

So this would be the first stack overflow after the Morris' fingerd one (well, first one that's widely publicized): https://seclists.org/bugtraq/1995/Feb/109 > we've installed the …

This was great to read. Related: Morris also discovered the predictable TCP sequence number bug and described it in his paper in 1985 http://nil.lcs.mit.edu/rtm/papers/117.pdf . Ke…

There's a quote in the bible that says something similar: "Verily, verily, I say unto you, Except a corn of wheat fall into the ground and die, it abideth alone: but if it die, it …

This blog post exposes the badness of SMS-based recovery. I think other recovery options such as Yubikey aren't ideal either, as a Yubikey may simply stop working and you're comple…

Do TOTP authentication apps typically provide recovery codes option? Can they squash all of the added TOTP codes you have in the app into one code?

Some folks claimed it's a LRAD https://en.wikipedia.org/wiki/Long-range_acoustic_device However, there was no perceptible sound and folks describe it kinetic force that causes a st…

For a set of primitive operations (such as those in Turing machine), how can you be sure that it spans all possible computations? It sounds that's one of the challenges Turing had …

>The only way to mitigate this is to use computer-readable proofs, which can be verified by algorithms to ensure correctness. This seems like a strong overstatement. We got by for …

Very interesting! My understanding is that you're thinking about this more in terms of an 'application environment for power-users' than in terms of a 'multi-faceted IDE with lensi…

If I'm understanding this correctly, with your Lisp IDE you could have an image sub-editor which may expose functions for image modification (eg. cropping), which could be called f…

> A trisector is a person who has, he thinks, succeeded in dividing any angle in three equal parts using straightedge and compass alone. He comes when he sends you his trisection i…

The undecidability property proven here doesn't imply that there exists at least one Diophantine equation for which we'll never know if it's solvable or not, does it?

>The question is, how do you select for those whose research will ever amount to something truly interesting You can't, as "truly interesting" is context dependent, changes over ti…

I believe the culprit is the assumption the grants/tenure-track systems make about applicants/assistant professors. That assumption is negative, as if new hires will try _not to do…

> Richard stallman himself got repetitive strain injury from emacs Is this really true? Some notes at https://stallman.org/stallman-computing.html indicate it was a different type …

At what point in time did encrypting microcode in processors become common? Is this a relatively recent practice?

> Our financial regulatory system still hasn’t fully figured out how to address the risks of the derivatives, securitizations, and money market mutual funds that comprised Shadow B…

>An "elite controller" is a person living with HIV who is able to maintain undetectable viral loads for at least 12 months despite not having started antiretroviral therapy (ART) .…

same authors and their previous paper about magnetized cockroaches https://www.quantumlah.org/about/highlight/2019-09-cockroach... >The award was presented for the paper “In-vivo b…