back
user profile

hackandthink

2,268karma·1,108submissions·October 2, 2022
recent activity (1,108 total)
comment
I could not write this stuff. It looks simple but it isn't. I played with Sebastian Ulrich's Lean 4 Port of Conor Mc Bride's Agda Code. ( bottom of https://leanprover.zulipch…
3y ago·view thread
comment
I do not know any magazine worth reading in german. I'm getting Sueddeutsche Magazin but most of it is just boring. Decades ago I enjoyed Spex, some writers are still around (Diederich Diedrichse…
3y ago·view thread
comment
We live in a crazy world: https://libcom.org/article/fiery-anniversary-special-review-... …
3y ago·view thread
comment
He is the Simons of Chern–Simons theory.
3y ago·view thread
comment
A nice reddit thread about some Chomsky critics: https://www.reddit.com/r/chomsky/comments/11gfo8m/why_are_ch... …
3y ago·view thread
comment
LLM and related technology will change our society. They work with brute force, but they work. Chomsky and his critics agree here. Chomsky doesn't like it, his critics are more open. Our brain pr…
3y ago·view thread
comment
Somebody has to pay for it: Quanta magazine is financed by the Simons Foundation (Hedge Fund billionaire). Noema seems to be a pet project of Nicolas Berggruen (Hedge Fund billionaire). The name sound…
3y ago·view thread
comment
Non paywall link to Chomsky's essay: https://dnyuz.com/2023/03/08/noam-chomsky-the-false-promise-... …
3y ago·view thread
comment
I still don't understand: Why did Linux surpass BSD? https://en.wikipedia.org/wiki/386BSD …
3y ago·view thread
comment
As far as I know: Chomsky did not support the Khmer Rouge - he questioned information about the Cambodian genocide. I read Henry Kissinger's China book. He seemed to be not purely happy about US …
3y ago·view thread
comment
This Chomskyism and Chomsky hate is strange: "Yes, they’re wrong, and yes, despite being wrong they’re self-certain, hostile, and smug, and yes I can see this, and yes it angers me" Norvig&#…
3y ago·view thread
comment
"Fiscal Theory of Money" is a nice story. Economists often tell worse stories about money (Graeber). Fiscal Theory of Price Level seems to be inspired by Fiscal Theory of Money. "The li…
3y ago·view thread
comment
The germans killed each other in their religious wars. https://ourworldindata.org/grapher/population-by-country?tim... …
3y ago·view thread
comment
There's a nice usage of Google books ngram viewer. The french and english cosmopolite/cosmopolitical graphs from 1500 to 2019 look remarkable different. https://books.google.com&#…
3y ago·view thread
comment
Descartes moved (fled) much earlier to the Netherlands. I think France was too dangerous for him. (1) "Descartes spent much of his working life in the Dutch Republic" (Wikipedia) (1) https:…
3y ago·view thread
comment
I was surprised by the success of Linux around 2000. NT or Solaris were actually better and BSD variants had been around for a while. Samba and Apache were the driving forces back then. In Germany, SU…
3y ago·view thread
comment
I noticed this as well. I'm sure John Mearsheimer has reasons talking to chinese media ("a peer competitor"). I'd like to know them.
3y ago·view thread
comment
(mostly a joke) In the good old days a scientist was a hard thinker and published each year a paper and it was hard to gather data. (Einstein thinking about general relativity publishing after how man…
3y ago·view thread
comment
Yes, the scope of the Norvig - Chomsky ist the human language faculty. But I think Mumford's more general discussion is relevant. And Mumford explicitly refers to speech: "This approach deni…
3y ago·view thread
comment
The debate is mostly about: Are opaque probabilistic models scientific? David Mumford's stance: "This paper is a meant to be a polemic which argues for a very fundamental point: that stochas…
3y ago·view thread
comment
"We all saw the limitations of the old tools, and the benefits of the new" Probabilistic models work incredibly well, much better than transformational-generative grammars.
3y ago·view thread