doesnotexist
Joined 13 years ago
Karma
398
Submissions
134
Member since
Feb 23
Recent submissions
Comment · 1 month ago
Aren't the recent results in mathematics actually stronger evidence for his point? Although the models may be capable of generating proofs they aren't coming out with the same level of quality of a human discovered and communicated proof. Providing a gobbledy-gook yet technically correct proof (generated at least in part by brute force) lacks the qualities of an expert produced proof because they fail to communicate insight or understanding about why the theorem is true.
Comment · 1 year ago
Comment · 1 year ago
Coding being the act of encoding/decoding information from one representation to another. The system itself is called a Code and these are designed to have specific properties like making transmission of information resistant to interference, corruption or interception, etc.
"Codes are used for data compression, cryptography, error detection and correction, data transmission and data storage." https://en.wikipedia.org/wiki/Coding_theory
Comment · 1 year ago
Situations like this are instances of the https://en.wikipedia.org/wiki/Principal%E2%80%93agent_proble...
In this case, corporate management holding the purse strings but their workers (devs) using the actual tools. The solution they offer to founders is to make the user your champion and have them sell your product for you.
"The meta point here is that you're not going to talk to the credit card holder; the user/dev is going to do that for you.
Give them the best possible chance at convincing the leadership. Make them look awesome for even bothering the leadership with a choice like this. Make it obviously awesome for them to decide “yes”. These users/devs are your sales people."
Maybe that works for dev tools with freemium models, but in many industries where this problem arises its just not possible to even get your product in front of the users. Take hospital systems and EHR purchasing where Doctors and Nurses are the users of the EHR day in and day out but it is the hospital administration that ultimately gets to decide which EHR is deployed. How do you get users to be champions of your product if you can't even get it in front of them?
Comment · 1 year ago
Apparently they did this in Iceland and it's been fine?
https://farmingdale-observer.com/2025/05/31/iceland-approved...
Comment · 1 year ago
Rodney Brook's keynote at Stanford HAI earlier this month.
Some interesting points right at the beginning relevant to recent on-stage demos by companies including like Nvidia and Tesla.
- Product lifecycle has a realistic timeline on order of decades going from research lab demo to a realized commercial product. He first saw demos of driving cars arriving in 1979, yet we still don't have Full Self Driving in 2025.
- @2:35 "Humanoids they're everywhere and what is it doing. The form of a humanoid is promising that it's going to be able to do everything that a human can do. And it completely fools VCs. A lot of people's pension funds are going into all these robots and its not going to end so well."
Rodney Brooks states he's built 4,500 humanoid robots in his lab.
Comment · 1 year ago
This arstechnica article is pretty good, but in my opinion the best article covering this study was published by NPR
http://npr.org/sections/shots-health-news/2025/04/16/g-s1-60...
Comment · 1 year ago
Well there are now many instances of enforced disappearances.[1] To what the administration likes to call jails in Ecuador, except for the fact jails and prisons are part of legitimate criminal justice systems with judicial review/due process. These can be more accurately described as concentration camps given that they lack the features that would make them legitimate jails or detention facilities.
[1] https://www.ohchr.org/en/special-procedures/wg-disappearance...
" [Enforced disappearance] is characterized by three cumulative elements (defined in A/HRC/16/48/Add.3):
A) Deprivation of liberty against the will of the person;
B) Involvement of government officials, at least by acquiescence;
C) Refusal to acknowledge the deprivation of liberty or concealment of the fate or whereabouts of the disappeared person. "
If you think about the administration's unwillingness to comply with the court's ruling to return the individual, who by their own admission, they mistakenly took away due to an "administrative error" there are many open questions. How do we know that the individual is still alive? For that matter, how do we know that all the other people who they say were removed from the country are still alive?
We have no independently verified information as to fates of these people. More likely than not, in the course of these actions by the government, the number of deaths is some number greater than zero. Even if they have not performed outright executions, some deaths as a result of the conditions and or their treatment in custody is almost certain. So is that state sanctioned man slaughter/murder? Does this make ICE a death squad?
Comment · 1 year ago
Ok sure but also the number of CT scans has been increasing exponentially (3 million CTs in 1980, 20 million in 1995, 60 million 2005[0] to 93 million in 2023[1]) so you'd need to find some opposing force that is decreasing the incidence of cancer cases exponentially per capita to keep the balance.
[0] https://pmc.ncbi.nlm.nih.gov/articles/PMC2672242/
[1] https://jamanetwork.com/journals/jamainternalmedicine/fullar...
Comment · 1 year ago
There have been and continue to be technological improvements that reduce the dosage required. There is not a single dosage for all CTs. The dose for a head CT is an order of magnitude less than for abdominal/pelvic CT.
"The current average effective dose of a CT study is ∼10mSv, with the implementation of dose reduction techniques discussed herein; it is realistic to expect that the average effective dose may be decreased by 2–3 fold." 2010 https://www.ejradiology.com/article/S0720-048X(10)00311-6/fu...
It would be neat to see a chart of the average effective dose of CT studies over the past 40 years. And any accounting of how much it declined as a result of Moore's law and software improvements for producing the "Computed Tomography."
Socials: - bsky.app/profile/does-not-exist - github.com/doesnotexist - x.com/doesnotexist Interests:
AI/ML, Art, Books, Cybersecurity, Cycling, DevOps, Digital Nomad, Entrepreneurship, Fitness, Gaming, Hacking, Hardware, Healthcare, Investment, IoT, Mobile Development, Networking, Open Source, Programming, Robotics, Startups, Travel ---