demesisx

joined 2 years ago
MODERATOR OF
[–] demesisx 1 points 1 year ago

No problem. It’s fine. Just sharing. Can’t wait until Memmy has refined screenshotting tools like the ones that Apollo had.

[–] demesisx 1 points 1 year ago (2 children)

If you’re on an iPhone, you can still censor the names…

[–] demesisx 1 points 1 year ago

To crush your enemies, see them driven before you, and to hear the lamentations of their women.

[–] demesisx 6 points 1 year ago (1 children)

It shows. I dream of how cool this would look on a pro camera. There’s something off about the sharpness and contrast that is sort of jarring. I can, however, see what your eyes saw that made you want a photo of it. I just wish your camera represented it better.

Any suggestions for a person that may travel to Kyoto next year?

[–] demesisx 2 points 1 year ago* (last edited 1 year ago)

Duly noted. As a test-run, I created and will moderate it over on infosec.pub for now. I hope I didn't break any rules with my posts.

[–] demesisx 1 points 1 year ago

Nothing at all. Maybe my suggestion is ignorant (but I don't think it is).

What I am suggesting is a template configuration for instance operators to make getting up and running fool-proof. From what I hear, the nixpkgs module is great but it doesn't help with the more complex parts of spinning up an instance regarding DNS and other aspects of a typical instance's tech stack. If we could share a github repo with a FULL minimum viable product for all of the parts needed to run a real, solid lemmy instance, it would allow instance operators to gain all of the advantages that we currently enjoy using flakes. For example, an instance operator might be able to safely upgrade their entire instance with one command while, from what I observe, it currently takes instance operators a week or more to test and install things in that old, painful non-Nixy way.

[–] demesisx 2 points 1 year ago

To paraphrase Wadler: universal concepts like lambda calculus aren’t invented, they are discovered.

[–] demesisx 1 points 1 year ago

This amazing interview with Philip Wadler dances around this very topic quite eloquently.

Here's the conclusion of the paper Wadler is referring to in this interview:

Proposition as Types informs our view of the universality of certain programming languages. The Pioneer spaceship contains a plaque designed to communicate with aliens, if any should ever intercept it (see Figure 9). They may find some parts of it easier to interpret than others. A radial diagram shows the distance of fourteen pulsars and the centre of the galaxy from Sol. Aliens are likely to determine that the length of each line is proportional to the distances to each body. Another diagram shows humans in front of a silhouette of Pioneer. If Star Trek gives an accurate conception of alien species, they may respond “They look just like us, except they lack pubic hair.” However, if the aliens’s perceptual system differs greatly from our own, they may be unable to decipher these squiggles. What would happen if we tried to communicate with aliens by transmitting a computer program? In the movie Independence Day, the heroes destroy the invading alien mother ship by infecting it with a computer virus. Close inspection of the transmitted program shows it contains curly braces—it is written in a dialect of C! It is unlikely that alien species would program in C, and unclear that aliens could decipher a program written in C if presented with one. What about lambda calculus? Propositions as Types tell us that lambda calculus is isomorphic to natural deduction. It seems difficult to conceive of alien beings that do not know the fundamentals of logic, and we might expect the problem of deciphering a program written in lambda calculus to be closer to the problem of understanding the radial diagram of pulsars than that of understanding the image of a man and a woman on the Pioneer plaque. We might be tempted to conclude that lambda calculus is universal, but first let’s ponder the suitability of the word ‘universal’. These days the multiple worlds interpretation of quantum physics is widely accepted. Scientists imagine that in different universes one might encounter different fundamental constants, such as the strength of gravity or the Planck constant. But easy as it may be to imagine a universe where gravity differs, it is difficult to conceive of a universe where fundamental rules of logic fail to apply. Natural deduction, and hence lambda calculus, should not only be known by aliens throughout our universe, but also throughout others. So we may conclude it would be a mistake to characterise lambda calculus as a universal language, because calling it universal would be too limiting.

view more: ‹ prev next ›