cpard

Joined 12 years ago

Karma
752
Submissions
265
Member since
Feb 23
Currently working on Typedef.ai, done some cool stuff with Trino, ex-RudderStack, ex-Blendo. Personal blog: https://www.cpard.xyz

Podcast show: https://techontherocks.show/

View on Hacker News

Recent submissions

Comment · 1 month ago
When the news spread about the solution of this problem by AI we started wondering what will happen when AI will start generating proofs we can’t comprehend.

Today, we are discussing if AI cheated by picking the easy problem to solve which means that we at least still comprehend what’s going on.

I wish mathematics and the rest of the human intellect wouldn’t turn into content marketing that is generated primarily to trigger strong human emotions.

I feel that this is going to hurt both AI and the disciplines that can benefit the most from it

Comment · 2 months ago
When I saw the title the first thing I thought of was schema on read versus schema on right when in data platforms.

You can make writes faster and part of that is by not dealing with schema resolution but you do push the work somewhere else there too.

I guess the same principles apply on many different levels, from when you write to the file system up to how you deal with conflicted data types during data ingestion.

Comment · 3 months ago
This was mostly because Sonnet 5 worked longer and read more to get there, consuming 1.9x more tokens.

I have experienced similar behavior between opus and haiku when benchmarking Dara engineering tasks. The “cheaper” model takes many more turns to figure out the task and this is without taking into account other important factors.

Another interesting behavior that I observed is that Haiku tended to cheat more maybe because it was having a harder time to find the root cause of the problem.

Benchmarking and evaluation of agentic systems is very interesting and if there’s one thing that someone should keep from the Databricks post is how important is for everyone to build and run their own.

Comment · 3 months ago
There’s an emerging pattern in agentic systems and this project is a great example.

A deterministic layer like a compiler or generator of code with some kind of IR that the LLM generates and feeds it with.

I feel we will be seeing this more and more in the near future.

Comment · 4 months ago
Human mathematicians could become “priests to oracles.”

Priests were interpreting the oracles (at least at a place like Delphi) according to the context of the people asking the questions aka participating in politics of that ancient times.

Subjectivity was a feature and I’m not sure that fits to mathematics though.

I wonder if mathematics as a science field moves more into engineering or if a different branch will emerge that is closer to that because to the point of the article, science is about understanding not just results.

Comment · 4 months ago
Most framework vendors don’t have an incentive to make things less obscure. The agent framework is free/open source and they make money primarily from selling observability products for agents. Even if they don’t intentionally obscure things, they just don’t have the motivation to optimize that part.
Comment · 4 months ago
Comment · 4 months ago

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton