HackerTrans
TopNewTrendsCommentsPastAskShowJobs

thomasahle

6,766 karmajoined 13 years ago
https://thomasahle.com

Submissions

DeWitt Clauses

danluu.com
3 points·by thomasahle·3 months ago·1 comments

Show HN: Make your own Danish Julehjerter (Braided hearts)

juleflet.dk
3 points·by thomasahle·7 months ago·0 comments

Show HN: Trace.taxi – easy agent messages visualization

3 points·by thomasahle·8 months ago·1 comments

comments

thomasahle
·17 hours ago·discuss
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/investigate/cyber/alerts/2026/evading-re...
thomasahle
·yesterday·discuss
I got into YC, immediately got a 6M offer from Google, sold and won.
thomasahle
·6 days ago·discuss
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.
thomasahle
·18 days ago·discuss
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. It was a lot of fun trying to figure out what was meant by some of the addresses. The older people in particular often knew the story of why certain places were sometimes addressed in certain ways, or could guess the addresses based on the names of the people living there.
thomasahle
·20 days ago·discuss
> 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 research cultures of different branches matter.
thomasahle
·27 days ago·discuss
Why do you need individual data for gerrymandering? Don't you only need area level?
thomasahle
·28 days ago·discuss
> 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 reduce it.

There are a lot of ways to do this wrong, which is why so much analysis has gone into differential privacy.
thomasahle
·28 days ago·discuss
Deepmind and OpenAI have offices in Europe. But I don't think Anthroipc does?
thomasahle
·29 days ago·discuss
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 issues, and to double-check my test bench wasn't to blame.

But now I stood with all these patches that I couldn't just throw at the upstream maintainers all at once. I ended up just filing a few issues and moved on to other things.

It felt weird to just file issues when my LLM had already spent a lot of time root-causing and fixing the issues. But then, maybe they could just have their LLMs do the same.

Still not sure if it was the right call?
thomasahle
·last month·discuss
> 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 me it definitely feels like it's still accelerating, with the most impactful recent discovery being RL training reasoning models (late '24, early '25).

There's an interesting article called "sigmoids won't save you" https://www.astralcodexten.com/p/the-sigmoids-wont-save-you which argues that (unless you have privileged information) you should always assume a process will continue about as long as it’s continued already. (Lindy's Law)

With that in mind the current disruption should last another 10-15 years (assuming it started in '10 or '17.)
thomasahle
·2 months ago·discuss
Is my website broken?
thomasahle
·2 months ago·discuss
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..
thomasahle
·2 months ago·discuss
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 to, as he works at OpenAI now.
thomasahle
·2 months ago·discuss
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 towards "Lean for everything" or do domain specific formalisms still make sense?
thomasahle
·2 months ago·discuss
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 will avoid your book as they can just ask the AI. So you make less money. (Talking about specialized technical books here.)
thomasahle
·3 months ago·discuss
Does it run on Nvidia or Huawei?
thomasahle
·3 months ago·discuss
> 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 that he tried to have DeWitt fired.

> Given how difficult it is to fire professors when there's actual misconduct, the probability of Ellison sucessfully getting someone fired for doing legitimate research in their field was pretty much zero. It's also said that, after DeWitt's non-firing,

> Larry banned Oracle from hiring Wisconsin grads and Oracle added a term to their EULA forbidding the publication of benchmarks. Over the years, many major commercial database vendors added a license clause that made benchmarking their database illegal.

See also: https://web.archive.org/web/20160719145221/http://sqlmag.com...
thomasahle
·3 months ago·discuss
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.
thomasahle
·3 months ago·discuss
Or, you know, they will have improved the safe guards
thomasahle
·3 months ago·discuss
Good musicians care about music theory / “first principles” as much as good writers care about language theory / grammar.