thomasahle

6 ms·

31.
by thomasahle 2mo ago
> I expect a lot of the social anxiety can be mitigated by arranging things so that students get a chance to know the examiners and build a rapport with them ahead of time. That's not my experience. Standing in front of somebody who
32.
by thomasahle 2mo ago
The talk is wild: https://www.youtube.com/watch?v=87DyyMV0kCY > I want to note that every step in the process we discussed has had a remediation applied. The credentials have been revoked. The zero date has been patched
33.
by thomasahle 2mo ago
Nah, Claude will finish it over night
34.
by thomasahle 2mo ago
If it's successful, why do you think we'll even know how it did it?
35.
by thomasahle 2mo ago
Here's one way it could happen: Let's say there's some circuit that does problem solving of the kind we call intelligence. We dont know what this circuit looks like, but it exists in our brain. Doing regression on outputs fro
36.
by thomasahle 2mo ago
> in a world where a CPU itself may have bugs in the way it executes assembly, that seems a bit silly beyond a certain point CPUs are tested so so much more thoroughly than any software today. Including using formal proofs. If the chance
37.
by thomasahle 3mo ago
> duping is a great way to show people that even the app layer can be commoditized Everyone is already cloning the app layer. There are 30+ claude-code clone, and codex work already cloned cowork, grok and gemini is doing the same.
38.
by thomasahle 3mo ago
> Whereas in the US you only need to go through fingerprinting only once Once for each arrival.
39.
by thomasahle 3mo ago
> as long as China doesn't enter the GPU/RAM race China is obviously in the GPU/RAM race. Heard of Huawei, Moore Threads, Lisuan Tech, CXMT?
40.
by thomasahle 3mo ago
Yes, but then it should be easy to check of the result you see match the reasoning you see
41.
by thomasahle 3mo ago
TIL: > Many providers build their proxy pools by partnering with device owners who agree to share their bandwidth, while others use embedded SDKs in free apps or VPNs. WTF. That's just botnets. Source: https://www.fbi.gov
42.
by thomasahle 3mo ago
I got into YC, immediately got a 6M offer from Google, sold and won.
43.
by thomasahle 3mo ago
Do you have a source for this, or just rumors? The responses I get from pro don't feel like ensembles. They are often very one directional.
44.
by thomasahle 4mo ago
I used to part time for the (Danish) mail service. The only sorting that was done automatically was the post codes. That was enough to get the letter to the right post office. The rest was done by the mailmen/women early in the morning
45.
by thomasahle 4mo ago
> After reading the article, the main "case against geometric algebra" I could find in there was that the author does not like the people using/doing research in geometric algebra Mathematics is a social activity. The rese
46.
by thomasahle 4mo ago
Why do you need individual data for gerrymandering? Don't you only need area level?
47.
by thomasahle 4mo ago
> Ban it from the dataset, add it to the analysis. You can choose your own flavor of noise. Not sure exactly what you're proposing, but if the noise is added independently to different people, you can just buy multiple copies to red
48.
by thomasahle 4mo ago
Deepmind and OpenAI have offices in Europe. But I don't think Anthroipc does?
49.
by thomasahle 4mo ago
I recently built a very large test bench for System Verilog. I ran a bunch of different compilers on it, including some open source ones. Some of them failed some tests, and it was natural to have my LLM (Claude Fable 5) root-cause the issu
50.
by thomasahle 4mo ago
> The rate of fundamental, broad-based breakthroughs lifting all LLM applications has clearly slowed with many of the most impactful recent discoveries being in scaling, optimization, tuning and productization toward specific domains. To
51.
by thomasahle 5mo ago
Is my website broken?
52.
by thomasahle 5mo ago
I'm trying to recreate all the commercial EDA stack in open source. (RTL simulators, synthesis, formal proof tools, etc.) Building compilers has a _lot_ of parallel tasks agents can work on. Wish me luck..
53.
by thomasahle 5mo ago
He used 600B tokens in 30 days. I use more than 150B/month with just 15 codex accounts. 60 accounts is "just" $12,000/month. So Peter could "save" 100x by using monthly accounts. Of course, he doesn't have
54.
by thomasahle 5mo ago
I'm currently choosing between the right formalization for a big hardware project. I'm considering between SVA, TLA+ and Lean. With the former being more domain specific and the later more general. Do you think we'll move tow
55.
by thomasahle 5mo ago
The human savant will remember where they read it and give you credit. It might lead more people to read your work, and ultimately you make money. The AI won't even know where the page of text it's seeing came from, and people wil
56.
by thomasahle 6mo ago
Does it run on Nvidia or Huawei?
57.
by thomasahle 6mo ago
> In 1983 David DeWitt ( https://en.wikipedia.org/wiki/David_DeWitt ) published benchmarking results showing poor performance for Oracle databases. Larry Ellison wasn't happy with the results and it's said t
58.
DeWitt Clauses(danluu.com)
3 points by thomasahle 6mo ago|1 comments
59.
by thomasahle 6mo ago
This is crazy car-centric legislation. Now, instead of letting car owners pay for the public space they use (street parking), you are forcing anyone without a car to waste their own private space, in case somebody wants to park there.
60.
by thomasahle 6mo ago
Or, you know, they will have improved the safe guards

More ›