back
user profile

hackandthink

2,268karma·1,108submissions·October 2, 2022
recent activity (1,108 total)
comment
See also: https://news.ycombinator.com/item?id=33101131
3y ago·view thread
comment
Yesterday I heard from some IT guys from Saint Petersburg, now working in Spain. Smart and lucky guys! "It's up to you not to heed the call-up" "Maybe I wanna see the wheatfields O…
3y ago·view thread
comment
"Metaculus is a community dedicated to generating accurate predictions about future real-world events by aggregating the collective wisdom, insight, and intelligence of its participants" The…
3y ago·view thread
comment
Apache Superset's frontend ist built with React and Antd. (there were still some Flask Application Builder Admin Views last time I checked) But Superset is frontend and backend (sqlalchemy, panda…
3y ago·view thread
comment
UML became a kind of cult. There were Gurus and a Priesthood doing specification. Writing Code Generators was a cottage industry. The plebs should fill out the details. I liked Enterprise Architect ba…
3y ago·view thread
comment
Related: https://infosannio.com/2022/10/01/lamico-tedesco/ (Massimo Gramellini - corriere.it) - For anyone who feels like a citizen of Europe, it was sad to see pr…
3y ago·view thread
comment
Intuitively or naively there's some connection: (1) the dimension of the Tensorproduct Space of n entangled Qubits is 2^n. (2) exponential speedup but which?
3y ago·view thread
comment
Sure you are right. This is just a computational Perspective. Gottesman-Knill Theorem: "The theorem proves that, for all quantum algorithms with a speed up that relies on entanglement which can b…
3y ago·view thread
comment
I like the essence of Quantum Strangeness here: "To be more precise, what we shall show is that the particles’ response∗ to a certain type of experiment is not determined by the entire previous h…
3y ago·view thread
comment
Popular Science Background: "Quantum mechanics’ most important resource" (Entangled quantum states) From a Quantum Computing perspective entanglement ist kind of overrated. Scott Aaronson: H…
3y ago·view thread
comment
This reads harsh and frustrated. I don't mind funding CERN. Who knows better what to look for than particle phyiscists? My gut feeling: Give scientists money with no strings attached. Do not pe…
3y ago·view thread
comment
Mearsheimer got it right. Maybe he's more realistic: https://marginalrevolution.com/marginalrevolution/2022/05/ho... …
3y ago·view thread
comment
I'm really no expert, decades went by. A while ago I read in Klaas Landsman's Book, it is very nice: "This book studies the foundations of quantum theory through its relationship to cla…
3y ago·view thread
comment
Q: Who would you suspect behind this... A: Of course one thinks of Ukraine ... Russia... they might have an interest ... Poland has called for the pipeline to be demolished ... There are suspects …
3y ago·view thread
comment
"All known theories of physics - from classical mechanics all the way to general relativity quantum field theory - can be written in this way: a collection of objects and a recipe to build a Lagr…
3y ago·view thread
comment
Not every mathematician likes Haskell. (here are a bunch of them: https://math.andrej.com/2016/08/06/hask-is-not-a-category/ ) and this feels to strong: "Haske…
3y ago·view thread
comment
Great Work
3y ago·view thread
comment
me neither, I read this mostly in Sueddeutsche Zeitung
3y ago·view thread
comment
Q: Wen Sie dahinter vermuten würde ... A: Natürlich denkt man an die Ukraine ... Russland..es könnte sein, dass sie ein Interesse haben ... Polen hat den Abriss der Pipeline gefordert ... Es gibt scho…
3y ago·view thread
comment
https://www.youtube.com/watch?v=daowxbaeurw Oktoberfest Bombing München 1980, Operation Gladio from time to time in german media: the police stopped investigating Neonazi involvement.…
3y ago·view thread
comment
Thanks I guess Martin-Löf speaks about W-Types. An implementation and examples in Coq: https://github.com/coq/coq/wiki/WTypeInsteadOfInductiveTypes Still waiting for th…
3y ago·view thread
comment
The most influential paper (Bob Harper): Per Martin-Löf: Constructive Mathematics and Computer Programming https://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/…
3y ago·view thread
comment
roughly same material but more fun than Nielsen, Chuang
3y ago·view thread