HNHacker News
TopNewBestAskShowJobs

GoblinSlayer

1,832 karma · joined February 15, 2019

submissionscomments
GoblinSlayer··on Computation as a universal and fundamental concept
It works because humans looked for a method that works, they tried different methods and chose one that works best, actually it gradually evolved over time.

Pure reason is conjecture with little empirical input (and big intuitive or memey input) and little verification of output, i.e. a large deviation from empiricism.

GoblinSlayer··on Computation as a universal and fundamental concept
Deterministic processes can be modeled probabilistically and are computable, so existence of a probabilistic model doesn't say much about computability.
GoblinSlayer··on Computation as a universal and fundamental concept
The decay process is calculated as

sqrt(1-exp(-t/T))|1> + sqrt(exp(-t/T))|0>

GoblinSlayer··on Computation as a universal and fundamental concept
Agnosticism is an example that nobody wants a theory that works but not empirically. If a theory works, then it must work empirically, in this sense empiricism is tautological.
GoblinSlayer··on Computation as a universal and fundamental concept
Isn't it obvious that scientific method is fallible? It's just statistically better than pure reason, which should be possible to demonstrate statistically. It's a product of trial and error, and there were many errors, I don't think there's much metaphysics there.
GoblinSlayer··on Computation as a universal and fundamental concept
"it from bit" is just "shut up and calculate", positivism. There are no bits in physics, and no boolean phenomena.
GoblinSlayer··on Computation as a universal and fundamental concept
Also Ramanujan summation.
GoblinSlayer··on Computation as a universal and fundamental concept
It's just Pythagoreanism.
GoblinSlayer··on Computation as a universal and fundamental concept
It's a gap between physics and mathematics. Undecidable statements exist mathematically, but don't exist physically: mathematics and physics have different concepts of existence. Ironically, even mathematical universe hypothesis deliberately limits mathematics-as-physics to specifically resemble physics of a spontaneous material world, and this limitation is just an axiom.
GoblinSlayer··on Why developers are ditching GitHub for Codeberg and self-hosting alternatives
I think they have the same interface. Pull requests are renamed to merge requests, that's all the difference I see. Wait for github to reshuffle the ui in a redesign churn.
GoblinSlayer··on Android Developer Verification: Threat masquerading as protection
The dichotomy here isn't grapheneos or updates, it's grapheneos or android.
GoblinSlayer··on US Supreme Court Just Blew Up EU-US Data Transfers
Access it through tor.
GoblinSlayer··on ArXiv's Next Chapter
You can't have replication studies if the junk isn't published first.
GoblinSlayer··on Android Developer Verification: Threat masquerading as protection
App can work as digital money without card reader, maybe even free, like bitcoin.
GoblinSlayer··on Have you restarted your computer this week?
My old notebook periodically failed to boot, so I kept it running to not see it fail to boot.
GoblinSlayer··on Have you restarted your computer this week?
Reboot wears down electronic components too.
GoblinSlayer··on Have you restarted your computer this week?
Why http1 wouldn't work for webdev?
GoblinSlayer··on Have you restarted your computer this week?
Windows doesn't shut down by default.
GoblinSlayer··on ArXiv's Next Chapter
>3. It puts the effort on the readers to decide whether each paper is valuable, and particularly scientifically valuable, for which most readers will be unequipped.

You say it as if replication crisis doesn't exist and publish or perish is not a thing.

GoblinSlayer··on US Supreme Court Just Blew Up EU-US Data Transfers
What's hard? Just switch.
GoblinSlayer··on A glitch in February of the year 0
First year is actually zeroth, just shifted by one. Calculations start with zear.
GoblinSlayer··on I need your clothes, your boots, and your motorcycle
>Skynet becoming self-aware.

Did it? I thought Skynet was a defense system trained to see humans as enemies, it just worked by design, like HAL 9000. Screamers became self-aware.

GoblinSlayer··on Windows 11 users are tired of MS account requirements creeping into everything
It's network effect. People use ms office not because they need its features, but because they receive ms office documents.

We converted some our docs from docx to markdown. The twist is that markdown supports tables, so it can replace both Word and Excel. Then I guess gitlab renders it. Literally markdown. It's stored in git, supports diffs, version history, collaboration is done with merge requests.

GoblinSlayer··on Windows 11 users are tired of MS account requirements creeping into everything
Word is just a bloated wordpad, and that's how people use it - to write text with paragraphs and justifications (recently wordpad supports docx). Excel is just a bloated csv viewer, that's how people use it - to make tables with text in them, notably price lists. My company is an ms shop and uses ms office offline and google docs for collaboration. First time I hear that ms office can into collaboration beyond sharepoint.
GoblinSlayer··on Windows 11 users are tired of MS account requirements creeping into everything
Where to install it? There was wubi, but iirc it was discontinued?
GoblinSlayer··on Your ePub Is fine
> An update triggered immediately and I was frustrated for days that everything in the UI changed.

You tried to forget that you don't own anything.

GoblinSlayer··on Your ePub Is fine
Modern web allows to disallow text extraction.
GoblinSlayer··on Your ePub Is fine
Framerate was for scripts, animation was interframe.
GoblinSlayer··on Your ePub Is fine
What was possible in Flash in 2005 in IE6 on a Duron processor with 32MB RAM is possible today in a gargantuan bloatware browser that eats all your hardware.
GoblinSlayer··on Your ePub Is fine
Still nothing can solidly run arbitrary code from internets, be it flash, java applets, javascript or even webp and web fonts.
← PreviousPage 8 of 34Next →