EthanHeilman

10 ms·

61.
GitHub Actions is a trusted computing oracle(ethanheilman.com)
4 points by EthanHeilman 1y ago|0 comments
62.
by EthanHeilman 1y ago
In my personal experience I've seen: - OCR eat a good chunk of data entry jobs, - Automated translation eat a number of translation jobs, - LLM have eaten quite a few tier I support roles. I don't have numbers tho, maybe people ar
63.
by EthanHeilman 1y ago
How would you define provable without first assuming a set of axioms?
64.
by EthanHeilman 1y ago
As far as I can tell this is not a misconception, I am just not communicating clearly enough. I figured I could make the point at a higher level. You can construct a statement in an axiomatic system complex enough to express arithmetic: 1.
65.
by EthanHeilman 1y ago
> What Godel actually proved is that given a consistent formal system capable of representing arithmetic, there are statements in the language of that system such that neither the statement nor its negation can be proved in the system. I
66.
by EthanHeilman 1y ago
any sources? I'd be interested to read a critique of quantum error correction
67.
by EthanHeilman 1y ago
You brought up gate noise, there has been quite a bit of progress on that problem. > so we should totally be able to factor 21 (or larger numbers)…. When? Just because we solve one problem doesn't imply all the problems in QC are al
68.
by EthanHeilman 1y ago
> The fact that something has been discussed for thousands of years also has nothing to do with whether there are good reasons for believing it, e.g. the Earth being flat or stationary at the center of the universe. People can be wrong f
69.
by EthanHeilman 1y ago
Quantum error correction addresses this problem and we now have tech demos showing that we can build scalable QCs with surface codes [0]. [0] https://scottaaronson.blog/?p=8525
70.
by EthanHeilman 1y ago
> Why believe in abstract entities at all, as something distinct from the formalism? Because they seem to have some actual reality independent of human ideas. Not that everyone agrees with this, but there are good arguments for it (see t
71.
by EthanHeilman 1y ago
I'm glad someone noticed.
72.
by EthanHeilman 1y ago
> On the one hand, this article is talking about the hierarchy of "physicality" of various mathematical concepts, and they put Cantor's real numbers at the floor. I disagree with that specifically I didn't mean to sug
73.
by EthanHeilman 1y ago
Most mathematicians, but not all, take a philosophical position of platonic idealism [0] in which numbers and other mathematical entities have an independent reality and are not invented but discovered. > All abstract concepts brought ab
74.
by EthanHeilman 1y ago
I was thinking of making a "the other Agrippa" reference since with half my friends if you say Agrippa will think Camillo and the other half will think Henrichus Cornelius. I've only read Camillo Agrippa, I've been meani
75.
by EthanHeilman 1y ago
> I infer from footnote 10 that an unspoken subtext of this is that footnote 1 is that while the reader may choose a (simplistic) atheist's formulation of the idea, the author does not Author here. I'd describe myself as atheis
76.
by EthanHeilman 1y ago
> Isn't this article conflating our formalism of a given abstract entity (like real numbers or integers) with the abstract entity itself? It is arguing that the integers separate from the reals is the formalism and that the abstract
77.
God created the real numbers(ethanheilman.com)
31 points by EthanHeilman 1y ago|77 comments
78.
by EthanHeilman 1y ago
Yep, I had to get deep into OIDC for OpenPubkey and it basically involved me having to build teaching materials and notes for myself. I had a bunch of Google docs slides I consult every time I got confused about what something did. A major
79.
What are the real numbers, really? (2024)(infinitelymore.xyz)
31 points by EthanHeilman 1y ago|16 comments
80.
by EthanHeilman 1y ago
That's just a fun joke paper deflating some of the more aggressive hype around QC. You shouldn't use it for making security and algorithm adoption decisions.
81.
by EthanHeilman 1y ago
I am not, later breakthroughs tend to be harder. Consider the research work for five in series breakthroughs: 1, 2, 16, 8, 128 each breakthrough doubles your research power. If you start at 1 research, you get the first breakthrough after 1
82.
by EthanHeilman 1y ago
> Supposedly the idea was, once you get closer to AGI it starts to explore these breakthrough paths for you providing a positive feedback loop. I think it does let you start explore the paths faster, but the search space you need to cove
83.
by EthanHeilman 1y ago
> It is frequently suggested that once one of the AI companies reaches an AGI threshold, they will take off ahead of the rest. This seems to be a result of using overly simplistic models of progress. A company makes a breakthrough, the n
84.
by EthanHeilman 1y ago
> to reduce to a reasonable equilibrium point such as for example the prescribed (and arbitrary) 500 million and live more like other biological organisms of the Earth planet This is not how other biological organisms work. They are curr
85.
by EthanHeilman 1y ago
AI has been extremely useful at teaching me things. Granted I needed to already know how to learn and work through the math myself, but when I get stuck it is more helpful than any other resource on the internet. > To become good at some
86.
by EthanHeilman 1y ago
Codex32 allows you perform Shamir secret sharing operations and error correcting code without using a computer. Instead, you can perform the operations by hand using cardboard code wheels called volvelles. It is a really fun idea and does n
87.
by EthanHeilman 1y ago
I am largely an AI optimist but that is because I believe that true alignment is impossible for AGIs and alignment is one of greatest dangers of this technology. Alignment is a friendly word for building a slave mind. I'd rather an AI
88.
by EthanHeilman 1y ago
Do illegal thing, court says it is illegal, blame court for enforcing laws and constitution like that isn't their job.
89.
by EthanHeilman 1y ago
> Is this how checks and balances is supposed to work? Yes, check and balances assume a conservative* theory of government in which politicians should be restrained and changes should be require overwhelming support to implement. *- no
90.
by EthanHeilman 2y ago
And yet NATO countries can leave NATO. Until subject states in an empire countries want to join NATO, not exit it. But sure, that is the expansive redefinition of the word I was looking for.

More ›