HackerTrans
TopNewTrendsCommentsPastAskShowJobs

thomasahle

6,765 karmajoined 13 jaar geleden
https://thomasahle.com

Submissions

DeWitt Clauses

danluu.com
3 points·by thomasahle·3 maanden geleden·1 comments

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

juleflet.dk
3 points·by thomasahle·7 maanden geleden·0 comments

Show HN: Trace.taxi – easy agent messages visualization

3 points·by thomasahle·8 maanden geleden·1 comments

comments

thomasahle
·19 uur geleden·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
·gisteren·discuss
I got into YC, immediately got a 6M offer from Google, sold and won.
thomasahle
·6 dagen geleden·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 dagen geleden·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 dagen geleden·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 dagen geleden·discuss
Why do you need individual data for gerrymandering? Don't you only need area level?
thomasahle
·28 dagen geleden·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 dagen geleden·discuss
Deepmind and OpenAI have offices in Europe. But I don't think Anthroipc does?
thomasahle
·29 dagen geleden·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
·vorige maand·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 maanden geleden·discuss
Is my website broken?
thomasahle
·2 maanden geleden·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 maanden geleden·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 maanden geleden·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 maanden geleden·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 maanden geleden·discuss
Does it run on Nvidia or Huawei?
thomasahle
·3 maanden geleden·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 maanden geleden·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 maanden geleden·discuss
Or, you know, they will have improved the safe guards
thomasahle
·3 maanden geleden·discuss
Good musicians care about music theory / “first principles” as much as good writers care about language theory / grammar.