The Ascetic Programmer
@asceticprogrammer.info
The Book about asceticism in programming, statistics and the arts: https://asceticprogrammer.info
Since protein folding is NP-complete, this nobel prize is in reality for showing P=NP 😉 www.brown.edu/Research/Ist...
www.brown.edu
October 10, 2024 at 4:42 PM
Since protein folding is NP-complete, this nobel prize is in reality for showing P=NP 😉 www.brown.edu/Research/Ist...
Einstein's time is reversible so that egg could be uncracked if it were just a matter if gravitation.
September 26, 2024 at 2:06 AM
Einstein's time is reversible so that egg could be uncracked if it were just a matter if gravitation.
I would like to take my profile to a different provider and keep my identity, network, messages etc. Wasn't that the promise of AT proto?
September 19, 2024 at 12:36 AM
I would like to take my profile to a different provider and keep my identity, network, messages etc. Wasn't that the promise of AT proto?
I've read the paper, thanks. It doesn't even mention "credible exit". The abstract talks about "having multiple interoperable providers for every part of the system". I already consider the company to have gone bad, what are my options?
September 18, 2024 at 3:47 PM
I've read the paper, thanks. It doesn't even mention "credible exit". The abstract talks about "having multiple interoperable providers for every part of the system". I already consider the company to have gone bad, what are my options?
Given the de facto centralization of the service at the 10M user mark, what is the meaning of developing a decentralized protocol to power another centralized service? Are you comfortable being associated with it?
September 17, 2024 at 9:20 PM
Given the de facto centralization of the service at the 10M user mark, what is the meaning of developing a decentralized protocol to power another centralized service? Are you comfortable being associated with it?
A concise version of the first answer is in the wikipedia entry on BPP, henceforth likely in the training set. Also of note is the continued inability to answer "I don't know", which makes it hard to use AI as a retrieval system.
September 13, 2024 at 5:18 PM
A concise version of the first answer is in the wikipedia entry on BPP, henceforth likely in the training set. Also of note is the continued inability to answer "I don't know", which makes it hard to use AI as a retrieval system.
I am just saying bluesky using a "distributed message" they long abandoned in practice. You are right on which protocol is better designed and which services are most successful, but you are just changing the subject again. I will have to leave it at that.
August 21, 2024 at 5:05 PM
I am just saying bluesky using a "distributed message" they long abandoned in practice. You are right on which protocol is better designed and which services are most successful, but you are just changing the subject again. I will have to leave it at that.
Forget the (valid) technical observations. No foundational protocol of the internet is controlled by a single entity. Neither HTTP, nor SMTP, nor DNS, not a single one. It's not acceptable on a governance level, independent of technical merits.
August 21, 2024 at 3:53 PM
Forget the (valid) technical observations. No foundational protocol of the internet is controlled by a single entity. Neither HTTP, nor SMTP, nor DNS, not a single one. It's not acceptable on a governance level, independent of technical merits.
I currently consider bluesky distribution a broken promise. There must be limits to how much you can slow-walk a process before you lose any credibility.
August 18, 2024 at 6:21 PM
I currently consider bluesky distribution a broken promise. There must be limits to how much you can slow-walk a process before you lose any credibility.
That doesn't sound nearly as adventurous as complex bases. en.wikipedia.org/wiki/Quater-...
Quater-imaginary base - Wikipedia
en.wikipedia.org
August 12, 2024 at 7:38 PM
That doesn't sound nearly as adventurous as complex bases. en.wikipedia.org/wiki/Quater-...
Not sure why but on my monitor (mac + firefox) the picture shows banding and color shifts in the fog. I wonder what's going on. Including a screenshot, maybe you can see what I am talking about, maybe not. I love fog pictures!
August 7, 2024 at 5:42 PM
Not sure why but on my monitor (mac + firefox) the picture shows banding and color shifts in the fog. I wonder what's going on. Including a screenshot, maybe you can see what I am talking about, maybe not. I love fog pictures!
The article states that the new Microsoft data center will take 5 MW of power or the output of 5 nuclear power plants. The smaller such plant in the US generates over 500 MW.
August 6, 2024 at 4:55 AM
The article states that the new Microsoft data center will take 5 MW of power or the output of 5 nuclear power plants. The smaller such plant in the US generates over 500 MW.
Who's going to pay the electricity bill once VC money runs out? And what's DAIR going to do during the next AI winter?
July 25, 2024 at 9:37 PM
Who's going to pay the electricity bill once VC money runs out? And what's DAIR going to do during the next AI winter?
Or publication bias. If it isn't a scandal, what do you write about?
June 20, 2024 at 5:43 PM
Or publication bias. If it isn't a scandal, what do you write about?
Wikipedia maintains a list of long proofs. I think the longest man-made is listed at 10 to 20K pages and the longest machine-assisted is 2 petabytes! (5th Schur number). I don't think it's a proof from The Book. I looked into large and small proofs as part of the research for my book on conciseness.
June 5, 2024 at 5:03 PM
Wikipedia maintains a list of long proofs. I think the longest man-made is listed at 10 to 20K pages and the longest machine-assisted is 2 petabytes! (5th Schur number). I don't think it's a proof from The Book. I looked into large and small proofs as part of the research for my book on conciseness.
I suppose Lean's implementation can have bugs like any program. If we add a 30k proof to the record and it is incorrect, how many years before it's caught? We had incorrect proofs of the 4-color thm in the record for 4 to 11 years.
June 5, 2024 at 4:54 PM
I suppose Lean's implementation can have bugs like any program. If we add a 30k proof to the record and it is incorrect, how many years before it's caught? We had incorrect proofs of the 4-color thm in the record for 4 to 11 years.
I asked about the difference between COMPOSITE and FACTORIZATION and besides being a bit verbose and repetitive it was quite impressive.
May 30, 2024 at 6:45 PM
I asked about the difference between COMPOSITE and FACTORIZATION and besides being a bit verbose and repetitive it was quite impressive.
Which calls into question what people mean by "risk". Is it the probability of an epidemic in the next week, month, year, or decade? Something else? Dr. Fauci said in Feb 2020 that the risk from C19 in US was "minuscule" (USA today). Unless we specify what we mean by risk, it's not helpful.
Top disease official: Risk of coronavirus in USA is 'minuscule'; skip mask and wash hands
Should I wear a mask? The U.S. infectious disease chief says no: "In the U.S. there is absolutely no reason whatsoever to wear a mask right now."
www.usatoday.com
May 3, 2024 at 5:03 PM
Which calls into question what people mean by "risk". Is it the probability of an epidemic in the next week, month, year, or decade? Something else? Dr. Fauci said in Feb 2020 that the risk from C19 in US was "minuscule" (USA today). Unless we specify what we mean by risk, it's not helpful.
I wish I had seen this before finishing my book (asceticprogrammer.info). There are many themes in your talk that are touched upon also in it (e.g. the gradual accumulation of complexity or lines of code used as productivity measure) but the most important is simplicity as conciseness.
The Ascetic Programmer — Home
asceticprogrammer.info
May 3, 2024 at 4:55 PM
I wish I had seen this before finishing my book (asceticprogrammer.info). There are many themes in your talk that are touched upon also in it (e.g. the gradual accumulation of complexity or lines of code used as productivity measure) but the most important is simplicity as conciseness.
Are you sure it's OK to post multiple reply skeets to the original one? Or is it thread hijacking? Not sure, just asking.
April 15, 2024 at 5:16 PM
Are you sure it's OK to post multiple reply skeets to the original one? Or is it thread hijacking? Not sure, just asking.
Unlike opinion polls, electoral polls have a moment of truth on election day. They've been close enough to still be a business. If you have a better method, by all means give it a go. For a completely different method check civiqs. Interesting but hasn't taken over.
April 14, 2024 at 4:57 AM
Unlike opinion polls, electoral polls have a moment of truth on election day. They've been close enough to still be a business. If you have a better method, by all means give it a go. For a completely different method check civiqs. Interesting but hasn't taken over.
Please note that preventing a fire start doesn't remove dead wood. It will eventually burn, at least in CA, in a future, bigger fire or in the controlled burns that are not yet being done at a meaningful scale.
April 10, 2024 at 9:19 PM
Please note that preventing a fire start doesn't remove dead wood. It will eventually burn, at least in CA, in a future, bigger fire or in the controlled burns that are not yet being done at a meaningful scale.