HackerTrans
TopNewTrendsCommentsPastAskShowJobs

gabcoh

no profile record

Submissions

LLM Based Tool for Finding Charismatic Quotes

twitter.com
2 points·by gabcoh·4 anni fa·1 comments

Age and Authenticated Encryption

words.filippo.io
1 points·by gabcoh·4 anni fa·0 comments

comments

gabcoh
·7 mesi fa·discuss
I’m also not seeing the purported images on iOS 26.1 safari
gabcoh
·anno scorso·discuss
I guess it’s not sufficiently prominent (given that you didn’t see it) but this is discussed in detail in the FAQ section
gabcoh
·2 anni fa·discuss
> async operations require a library to work for some reason

Rephrased: ocaml is so flexible that async can be implemented as a library with no special support from the language.

This is the beauty of ocaml (and strongly typed functional languages more broadly)
gabcoh
·2 anni fa·discuss
And if you’re craving even more telecoms history after that (as I was when I read it a few years ago) Arthur C Clarke’s “How the World Was One” goes into the history of undersea cables and other telecoms technologies https://en.m.wikipedia.org/wiki/How_the_World_Was_One
gabcoh
·3 anni fa·discuss
Potentially also of interest is this [0] article which describes the attempts to build a nuclear powered boring machine that worked by melting rather than cutting the rock.

[0] http://atomic-skies.blogspot.com/2012/07/those-magnificent-m...
gabcoh
·3 anni fa·discuss
Focuses more on the historical side of undersea cables, but I can’t pass up the opportunity to recommend Arthur C Clarke’s “How the World was One” which is an incredible book on the history of telecommunications infrastructure, including the history and economics of undersea cables.
gabcoh
·3 anni fa·discuss
If you aren’t paying attention you just might end up trading on a real crash too.
gabcoh
·3 anni fa·discuss
Such things already exist. Eg. Appimage or even docker.
gabcoh
·3 anni fa·discuss
Can Linux not trivially do the same thing as windows with LD_PRELOAD? If so why is this more of an issue on Linux than Windows? Is it really less a technical challenge and more just a matter of Linux getting less support from upstream developers?
gabcoh
·3 anni fa·discuss
Context for anyone who like me was desperately lost: https://superliminal.com/cube/2x2x2x2/
gabcoh
·3 anni fa·discuss
The https certificate “expiration” date is basically just a “fallback to treating this website as http” date. The site is still perfectly accessible and arguably still more secure than an http only site, you just have to click the scary button saying you know what you’re doing and proceed to the website treating it as though it was compromised which isn’t a big deal for the static pages you’re describing.
gabcoh
·3 anni fa·discuss
Small nitpick: it isn’t entirely true that cryptography is “all or nothing”. With things like time lock crypto and proof of work you can effectively have a scheme where large scale snooping is impossible (would take too much compute), but any individual transaction can be decrypted with a bit of work.
gabcoh
·3 anni fa·discuss
very distant: The Culture series by Ian Banks Somewhat distant: I Robot by Asimov (specifically the ending)

I will not comment on the realism of either of these novels, but will say that both present optimistic visions of futures where super intelligent AGIs are commonplace and both have interesting ideas to consider regardless of exactly the extent to which they are grounded in reality.
gabcoh
·4 anni fa·discuss
The riscv system is emulated in software whereas the x86 system is virtualized using kvm.
gabcoh
·4 anni fa·discuss
Is this true? Why can’t qemu use kvm for user mode emulation?
gabcoh
·4 anni fa·discuss
The comparison with QEMU is with KVM disabled, right? Assuming this is true, how does it compare with KVM enabled?
gabcoh
·4 anni fa·discuss
Do you mean to say both FTX and effective altruism are Ponzi schemes? Obviously SBF and FTX turned out to be a huge fraud, but while EA benefited from the fraud mostly unknowingly (although there are open questions as to whether they should have been more skeptical of SBF) I don’t think it’s fair to say that it is fraudulent itself (at least as far as we currently know). EA is big and while you may disagree with their cause prioritiazation, it is clear real work is being done in the movement.
gabcoh
·4 anni fa·discuss
GitHub: https://github.com/danielgross/teleprompter

Post links to Twitter announcement because the GitHub repo is a bit barebones
gabcoh
·4 anni fa·discuss
I don't know what crypto.com or KuCoin did, but here are some cryptographic schemes for proof of solvency Vitalik wrote up post-ftx collapse: https://vitalik.ca/general/2022/11/19/proof_of_solvency.html
gabcoh
·4 anni fa·discuss
So are there any mitigations for curl users? Anyone know if it's possible to disable IDN by default, and only enable it when (if ever) its needed?