measurablefunc

6 ms·

91.
by measurablefunc 3mo ago
Then you are paying for the electricity. It's not physically possible to do more computation & not use more energy b/c every arithmetic operation requires a minimum amount of energy so more operations = more energy.
92.
by measurablefunc 3mo ago
You should look into In-Q-Tel.
93.
The US Government Is Now a Shareholder in 26 Companies(moeonmargin.substack.com)
129 points by measurablefunc 3mo ago|116 comments
94.
How to talk about "AI" without adding to the anthropomorphization(buttondown.com)
3 points by measurablefunc 3mo ago|0 comments
95.
Category-Theoretic Comparative Framework for Artificial General Intelligence(arxiv.org)
2 points by measurablefunc 3mo ago|0 comments
96.
by measurablefunc 3mo ago
I got the answer from the AI I was looking for & it makes sense. You can try to map the volumetric density to areal density but the mapping is not canonical so it doesn't say anything about the physical reality of actual transistor
97.
A Survey on Lawvere's Fixed-Point Theorem (2025)(arxiv.org)
2 points by measurablefunc 3mo ago|0 comments
98.
by measurablefunc 3mo ago
It's a physical quantity per some unit of spatial measurement so the units still don't match up b/c in one case the transistors are stacked per volume & in the other case per area. > Historically, "node" size
99.
by measurablefunc 3mo ago
Density is mass per volume so how are you comparing it to a planar transistor? Your units don't even match.
100.
Calculus in Coinductive Form (1998)(ieeexplore.ieee.org)
2 points by measurablefunc 3mo ago|0 comments
101.
by measurablefunc 3mo ago
Shareholders didn't like it. At the end of the day Meta is an advertising company so everything they do must be in service of increasing revenue from advertising.
102.
by measurablefunc 4mo ago
Something for future generations to figure out with their AI chatbots.
103.
Wave Equation with Computable Initial Data and Solution Is Nowhere Computable(dl.acm.org)
2 points by measurablefunc 4mo ago|0 comments
104.
by measurablefunc 4mo ago
This is correct. The most valuable form of data for any AI company is corrective feedback from real use cases.
105.
by measurablefunc 4mo ago
Argument from ignorance is not as well known as other fallacies but very common in discussions about sentience, consciousness, and computability, i.e. not having evidence for something doesn't mean that thing is false. It is possible t
106.
by measurablefunc 4mo ago
Physically describable doesn't mean computable. You're making too many unjustified logical leaps which makes your argument circular & conflates "physical" w/ "computable".
107.
by measurablefunc 4mo ago
That says every LTL formula can be compiled into UHAT w/ polynomial overhead. It doesn't say that all languages recognizable w/ UHATs necessarily do not have succinct recgonizers in LTLs or RNNs. Edit: Actually nevermind. If
108.
by measurablefunc 4mo ago
What about the other direction? What languages are expressible w/ RNNs & LTLs that require exponential blowup for transformers?
109.
by measurablefunc 4mo ago
> "Moreover, it must be confessed that perception and that which depends upon it are inexplicable on mechanical grounds, that is to say, by means of figures and motions. And supposing there were a machine, so constructed as to think
110.
Bad universal priors and notions of optimality (2015) [pdf](jan.leike.name)
1 points by measurablefunc 4mo ago|0 comments
111.
by measurablefunc 4mo ago
> However, our system relies on frontier LLMs, whose compute costs still remain nontrivial. Moreover, each textbook was formalized in isolation, without the careful planning needed to make it maximally compatible with existing mathlib in
112.
Star Maker by Olaf Stapledon(philosophynow.org)
2 points by measurablefunc 5mo ago|1 comments
113.
by measurablefunc 5mo ago
> if f and g are algebraically equivalent programs then FPSan(f) and FPSan(g) produce identical results when given identical inputs Ok, but we want the other direction. If FPSan(f) & FPSan(g) produce identical results for identical i
114.
by measurablefunc 5mo ago
Still kinda weird that a non-YC company gets to have job listings on a site for only YC companies.
115.
by measurablefunc 5mo ago
Yet they are listed on the site that claims to only have YC companies. Very odd.
116.
by measurablefunc 5mo ago
Seems kinda weird then that they're listed in workatastartup.com: https://www.workatastartup.com/jobs/15283
117.
by measurablefunc 5mo ago
They have job listings in workatastartup.com but maybe any startup can now be listed even if they're not a YC company: https://www.workatastartup.com/jobs/15283
118.
by measurablefunc 5mo ago
They're a YC company so every other YC company is going to use them, that's how YC companies operate.
119.
by measurablefunc 5mo ago
They have a fiduciary responsibility to the shareholders & no one else, not even their employees or customers.
120.
by measurablefunc 5mo ago
Trust doesn't mean he's a good guy, trust means they were willing to go along w/ whatever decision he was going to make. Meaning, they trusted him to take what they considered was the right course of action for them & w

More ›