HNHacker News
TopNewBestAskShowJobs

johndoe42377

-22 karma · joined March 15, 2020

submissionscomments
johndoe42377··on Ethereum 2.0 launches
I am sorry to say this, but it will not fly.

Amateur spaghetti code, even in a good language like Go, will not scale, by definition.

Certain design decisions for achieving scalability should have been adopted from the day one. Basically, it is all the principles behind FP and Erlang - share nothing, in the first place.

Scalability comes from being pure functional. This is the main conclusion from last 30 or 40 years of CS research.

Stateless and share-nothing applies to protocols and services too.

This is why so many failed with so called micro-services - only stateless will work.

Things of the scale of Ethereum require deep CS knowledge. Just being overconfident and too cocky is not enough.

johndoe42377··on Ask HN: Who wants to be hired? (December 2020)
Haskell or Scala - classy, well-researched stuff done right.

  Location: Asia
  Remote: yes
  Willing to relocate: yes, Norway, Sweden or US only
  Technologies: Haskell, Scala 3, Erlang, C++, Rust
  Résumé/CV: https://karma-engineering.com/lab/wiki/Haskell/Vedanta
  Email: johndoe42377@gmail.com
johndoe42377··on Ask HN: What are the best advanced computer science courses online?
Programming. Serious.

https://karma-engineering.com/lab/wiki/OnlineCourses

johndoe42377··on A Spacetime Surprise: Time Isn’t Just Another Dimension
Dimension of what? In where?

There is no dimensions outside your head in the first place.

It is a superimposed abstraction, like a coordinate system.

johndoe42377··on Quantum Tunnel Shows Particles Can Break the Speed of Light
Shows - how so? In a simulation based on some model? Okay.
johndoe42377··on Show HN: Bunkerized-Nginx – Nginx Docker image secure by default
Knowing right principles spares one from memorising all the details.

Nginx is highly optimized zero-copy sockets-reuse code, while docker's network code is crappy, does NAT and other stuff.

I would classify it as unnecessary, redundant set of abstractions. Definitely for production.

johndoe42377··on GitTorrent: A Decentralized GitHub (2015)
Why, yes, as long as each cloned repo is a copy of some set of revisions, it makes perfect sense to use peer to peer downloads.

Internal hash consistently could be used for verification.

johndoe42377··on Show HN: Bunkerized-Nginx – Nginx Docker image secure by default
Docker in production nullify all the benefits of nginx (optimisations).
johndoe42377··on Gravity is not a force – free-fall parabolas are straight lines in spacetime
Bullshit. Space-time is just an abstract concept.
johndoe42377··on What Is Philosophy? A survey of some answers
A proper philosophy (as contrasted to abstract bullshit) is a systematic attempt to answer just one question: what is?

Philosophy predates sciences and science is just a methodology.

johndoe42377··on Do We Live in a Simulation? Chances Are about 50–50
Two idiotic statement put together.

First, probabilities application to a non-discrete systems is undefined bullshit.

Second, there is no way in principle to determine a simulation, the way there is no way to determine an actual wiring of a processor from the level of code, or even that there is a processor.

johndoe42377··on Trump administration announces overhaul of H1B visa program requiring higher pay
Well, let's work remotely, the way Linux kernel or LLVM or GHC people do.

But we will have lots of not needed managers? Well, let the chips fall where they may.

johndoe42377··on Show HN: Chat bot powered by GPT-3
Literally doesn't know what it is talking about.
johndoe42377··on Missing Covid-19 test data was caused by the ill-thought-out use of Excel
This is yet another, but subtle example of how abstract models are disconnected from reality

Another one is abysmal failure of all simulation based models to be even close and useful.

https://karma-engineering.com/lab/blog/Solved

johndoe42377··on FastCGI – The Forgotten Treasure (2002)
The advantage of FastCGI protocol is that it is a multiplexed connection.

HTTP/2 and newer are basically the same.

johndoe42377··on Reasons Revealed for the Brain’s Elastic Sense of Time
This is a conceptual mess.

Synchronization does not imply time. It implies synchrony, which is a mechanical notion. Electric signals are used everywhere in life for that purpose.

What they called clocks are not clocks. No more than a frequency generator is a clock.

johndoe42377··on Reasons Revealed for the Brain’s Elastic Sense of Time
One more time. DNA replication relies only on particular structures and enzimes to transform these. There is no notion of time whatsoever. Only availability of structural elements, and concentration. Everything is decoupled and feedback loops based.

And sequences of actions are maintained by pipelining of physical molecular structures - each enzime recognizes it's own unique patterns. That is it.

In old times this was called principle-guided science.

Understanding of principles spares one from knowing all the details.

johndoe42377··on Reasons Revealed for the Brain’s Elastic Sense of Time
DNA replication is a structural pattern matching and has nothing to do with time.

Moreover, it is so stable exactly because it has neither the notion of time nor counting.

johndoe42377··on Reasons Revealed for the Brain’s Elastic Sense of Time
Please show any timing at cellular level. Thank you.
johndoe42377··on Did Early Humans Invent Hot Pot in Geothermal Pools?
I suggest not to assume anything about other people.

I have studied religions among other things, so I know very well what sectarian consensus is and how exactly it works to maintain a high social status.

Humanities and theoretical"sciences" are sects by every possible definition.

I have studied philosophy too.

johndoe42377··on Reasons Revealed for the Brain’s Elastic Sense of Time
Time is a concept of the mind, like numbers. It is conditioned by the shared environment (has distinct cycles) in which mind has been evolved.

There is no notion of time in the brain because it is not absolute constraint of the environment.

There is no notion of time at the level of molecular biology, organs, systems, etc.

johndoe42377··on Did Early Humans Invent Hot Pot in Geothermal Pools?
Generally speaking, humanities was a mistake. These "scientists" memed the main principle of science from scientific evidence to scientific, or more precisely - sectarian consensus.

Peer review is not by any means criterion for even approximation to the truth. The article in question should have been reviewed exactly like I did.

johndoe42377··on Did Early Humans Invent Hot Pot in Geothermal Pools?
Obviously no.

It is a stupid idea from Jungian and Froidian "psychology" that symbols have been invented once and then propagated everywhere, and that this supposed propagation is an evidence of migration pathways and relationship.

Same stupidity goes with linguistics - if something is called by the same name in the different parts of the world, there must be an infallible evidence of migration and relation.

No, everything related to the constraints of the environment (Nature) has been invented many times independently. Basic symbols based on geometric shapes too.

johndoe42377··on Ask HN: Who wants to be hired? (October 2020)
Really know some Haskell

  Location: Asia
  Remote: only
  Willing to relocate: Norway or  Sweden only
  Technologies: FP, Haskell, Erlang, Scala, Ocaml, C++
  Résumé/CV: https://karma-engineering.com/lab/
  Email: johndoe42377@gmail.com
https://karma-engineering.com/lab/wiki/Haskell/Vedanta
johndoe42377··on Seeing Theory: A Visual Introduction to Probability and Statistics
Brain does not count. It updates/alters its structures - the process which humans model with numbers and back propagation.

Numbers do not exist outside of human cultures.

johndoe42377··on Haskell RecordDotSyntax language extension proposal (Accepted)
As record slot's value retrieval (I love old lisp terminology) could be viewed as a pure function (given the record as a parameter) it is reasonable to think of .slot as a function.

The old classic languages just create so-called selectors in the global namespace, like defstruct macro does. This is not the best possible solution.

However, the . is used for function composition, so the better alternative could be the -> syntax, reflecting that in Haskell everything is a pointer.

johndoe42377··on The Book of Why: The New Science of Cause and Effect [pdf]
There is, again, principles from real philosophy, which state that there is and always will be a principal gap between an observation (and language) based model and What Is.

The classic example is inability to tell why the sun will rise tomorrow by merely observations of it doing so and any kind of statistics.

The "why" is in understanding of the nature of the process we call Sun and realization that such kind of process cannot be stopt or even change in 24 your.

Another modern illustration of the same principle is the principal, infallible inability to infer the actual wiring if processor from the level of code it excites.

This, by the way, is the very same Upanishadic principle of inability to infer the true nature of Brahman from the level of human intellect, conditioned by a language and experience.

Some things will remain only guesses, models and "scientific", (or rather sectarian) consensus.

johndoe42377··on Differences between open science and reproducability
There is no science without reproducability. Merely stories, or formalized stories people call models.
johndoe42377··on What killed Haskell, could kill Rust, too
Unnecessary, redundant abstractions to impress other people is what plagued Haskell libraries and therefore the whole ecosystem.

Language itself is a miracle of software engineering, and GHC and cabal are decent.

johndoe42377··on Welcome to the Next Level of Bullshit
Well, this could be explained in a few meta-principles or just principles of a proper (non-abstract) philosophy.

1. A map is not a territory. Weighted connections are not semantic relations.

2. Environment and its laws and constraints comes first.

3. Language is a tool of describing What Is, not a tool of producing what could be.

4. Like untyped lambda calculus, applying anything to anything produce bullshit.

5. A proper use of a language require a type discipline which reflect the laws and constraints of the environment, and reject sentences with is not type-correct.

Everything else will produce a bullshit. Theoretical physics and other abstraction based fields are thus flawed.

← PreviousPage 2 of 4Next →