E_Bfx

Joined 2 years ago

Karma

Submissions

Member since

Mar 12

wonderfuldev_bj6m40aecl2y0lr9qvw9rn4e

View on Hacker News

Recent submissions

Comment · 1 year ago

Yes but it only one face to face meeting is needed in the process to see if someone is using AI to answer interview. The 13 other interviews can then be online.

Comment · 1 year ago

That was my first thought : "Oh NFT is still a thing in 2025". But no, it is really awesome.

Comment · 1 year ago

That's the problem, if you are working in a compagny which have mostly junior (1 or two year of programming), it is better for you to not implement to complicate pattern otherwise your day will be fill of explaining what a Factory is.

Comment · 1 year ago

Western country are self suplient of food because we have engine and chemical industry, ones this goes down, shortage of food will be quick to come. In part of the world where labour is still mostly manual, it will be more resilient.

Also without bank, a lot of people will find themself without any properties and will likely get more violent. Again, in part of the world where people own real objects and not number in a computer in a datacenter, this won't happend.

Comment · 1 year ago

Switzerland has no oil and depend on its banking sector. If USA crashes then likely all modern supply line will be cut and finance will be something of the past. The current well being of a country does not indicate much how it will survive a global crisis. A farmer in rural Africa would be less affect by the implosion of USA than a trader at Geneve.

Comment · 1 year ago

Also conda does not have a free licence, every organisation with more than 200 employes should pay for it (https://www.datacamp.com/blog/navigating-anaconda-licensing). uv is at date, Apache 2.0.

Comment · 1 year ago

I guess that there is something with the cache that we don't do right. Thanks for your return.

Comment · 1 year ago

In a medium size codebase (~ 100 python modules of 200 lines), mypy take 5 minutes to type check. This can be a problem for a CI.

Comment · 1 year ago

In my organisation, some co-workers used to write def func(*args,**kwargs) all the time. That was so tiring to look for what you should put as argument. Type checking is mandatory for well organized large project.*

Comment · 1 year ago

- There is also (but on a smaller scale) a gamification of math with bounties (https://mathoverflow.net/questions/66084/open-problems-with-...) but when a result is proved you cannot prove it "better than the first time". So it is more a "winner take it all" situation. - I am not sure but the "2-minute papers" equivalent would be poster sessions, a must-do for every Ph.D. student - For the marketing side, there are some trends in math, and subtly researchers try to brand their results so they become active research fields. But since it cannot be measured with GitHub stars or Hugging Face downloads, it is more discreet

Comment · 1 year ago

Your website is amazing, great job

Comment · 1 year ago

> Transformer² represents a significant milestone in the evolution of AI systems.

Coming from a math background, it always amazes me to see how people in AI/ML brag about their papers. If someone wrote:

> My paper represents a significant milestone in the evolution of algebraic geometry/ergodic theory/combinatorics

it would be a laughing stock for the math community.

Comment · 1 year ago

pymupdf has a commercial licence that couldb be a problem if use in a compagny.

Comment · 1 year ago

Very impressive, the Python ecosystem is slowly getting very good.

Comment · 1 year ago

I guess it is tautological from the definition of "provable". A theorem is provable by definition if there is a finite well-formulated formula that has the theorem as consequence (https://en.wikipedia.org/wiki/Theorem paragraph theorem in logic)