Hacker News: umutisik

New comment by umutisik in "Tesla to wind down Cybertruck production"

umutisik — Fri, 06 Nov 2026 23:58:31 +0000

For me, even now it's worth basing the entire purchase around it. Competitor auto-makers, if they executed perfectly, would need 4-5 years to get to catch up to where Tesla is now in autonomous driving; so probably a lot longer in reality.

I loved how the Cybertruck looked but when I test-drove it, I realized it wasn't for me. Tesla can now do a Rivian R1 or Hyundai Palissade type design and do well. But they will prioritize the cab since they got it to the current scale pretty quickly and it will be a money printer for them.

New comment by umutisik in "I admire Fabrice Bellard. He is almost certainly a better overall programmer"

umutisik — Tue, 16 Jun 2026 20:42:55 +0000

Customers / users are the judge.

New comment by umutisik in "Mathematicians issue warning as AI rapidly gains ground"

umutisik — Thu, 04 Jun 2026 10:08:38 +0000

People talk about research mathematics being a science or an art, but it's also a sport. AI will kill the sport aspect of it. The art will survive. The science will thrive.

New comment by umutisik in "In math, rigor is vital, but are digitized proofs taking it too far?"

umutisik — Mon, 30 Mar 2026 14:55:01 +0000

With sufficient automation, there shouldn't really be a trade-off between rigor and anything else. The goal should be to automate as much as possible so that whatever well-defined useful thing can come out theory can come out faster and more easily. Formal proofs make sense as part of this goal.

New comment by umutisik in "Ask HN: Who is hiring? (December 2025)"

umutisik — Mon, 01 Dec 2025 17:44:56 +0000

The number of resume submissions from here is not a lot. It's not at all like on LinkedIn.

New comment by umutisik in "GHC now runs in the browser"

umutisik — Sat, 01 Nov 2025 19:44:41 +0000

This is very impressive. I once built an educational Haskell programming + math. + art web site (mathvas.com). Something like this would have simplified that a lot.

New comment by umutisik in "Why formalize mathematics – more than catching errors"

umutisik — Fri, 24 Oct 2025 16:28:47 +0000

As a former professional mathematician: the benefits mentioned in the article (click-through definitions and statements, analyzing meta trends, version control, ...) do not seem particularly valuable.

The reason to formalize mathematics is to automate mathematical proofs and the production of mathematical theory.

New comment by umutisik in "Ortega hypothesis"

umutisik — Wed, 08 Oct 2025 18:08:46 +0000

You still need the other 80% of the folks to get the remaining 20% of the work done :)

New comment by umutisik in "The collapse of the econ PhD job market"

umutisik — Sat, 04 Oct 2025 19:02:15 +0000

He should add “Economists confidently making wishful-thinking based proclamations without a shred of evidence or even a plausible logical path.“ to the list!

New comment by umutisik in "Do YC after you graduate: Early decision for students"

umutisik — Thu, 25 Sep 2025 15:44:50 +0000

It does make me uneasy that founding companies is becoming another tracked thing that people feel they can apply high-IQ pattern-matching to. Especially when startups are where first-principles thinking is the most valuable.

That being said, I can see this being useful to a lot of kids. Certainly beats going to grad school for someone who wants to start a company. Keep in mind that a 500K SAFE doesn't force a founder to go big or zero-out.

New comment by umutisik in "Deep Learning Is Applied Topology"

umutisik — Tue, 20 May 2025 18:55:44 +0000

If data did live on a manifold contained, e.g. images in R^{n^2}, then it wouldn't have thickness or branching, which it does. It's an imperfect approximation to help think about it. The use of mathematical language is not the same as an application of mathematics (and the use of the word 'space' there is not about topology).

New comment by umutisik in "Deep Learning Is Applied Topology"

umutisik — Tue, 20 May 2025 14:12:35 +0000

Data doesn't actually live on a manifold. It's an approximation used for thinking about data. Near total majority, if not 100%, of the useful things done in deep learning have come from not thinking about topology in any way. Deep learning is not applied anything, it's an empirical field advanced mostly by trial and error and, sure, a few intuitions coming from theory (that was not topology).

New comment by umutisik in "Data centers contain 90% crap data"

umutisik — Mon, 07 Apr 2025 01:36:02 +0000

Make the cost of operating data centers reflect the damage to the environment and see how quickly people optimize. I don’t know how damaging storage is, but that’s the only way to make a difference.

New comment by umutisik in "Ask HN: Who is hiring? (April 2025)"

umutisik — Thu, 03 Apr 2025 01:07:26 +0000

Incept AI | Remote (US) | Full-time | Software Engineers and Deep Learning Scientists | https://www.incept.ai

Incept AI is solving the last mile problem in Voice AI. Our team of PhD applied scientists and software engineers builds neural audio processing systems, audio-processing foundation models, and agentic AI workflows that make Voice AI reliable and truly useful in the real world.

Our first application is the lucrative drive-thru and phone automation market for restaurants. We have built the most accurate order-taking restaurant Voice AI assistant in the world, and are working with major restaurant chains to help elevate their customer service while providing major automation-led savings.

We are well-funded are looking to grow our team with Software Engineers (generalists or back-end, previous work experience required) and Applied Scientists (PhD in a technical field like CS, Math, Physics, ... or equivalent deep learning experience required).

https://www.incept.ai/careers

New comment by umutisik in "I'm Peter Roberts, immigration attorney who does work for YC and startups. AMA"

umutisik — Fri, 14 Mar 2025 21:59:54 +0000

When considering a candidate on an F-1 + OPT, what should be our expectation of their need for H1B sponsorship? What are O-1 and National Interest Waiver success rates for recent PhD grads (in computer science)?

New comment by umutisik in "The cultural divide between mathematics and AI"

umutisik — Wed, 12 Mar 2025 22:36:16 +0000

If AI can prove major theorems, it will likely by employing similar heuristics as the mathematical community employs when searching for proofs and understanding. Studying AI-generated proofs, with the help of AI to decipher contents will help humans build that 'understanding' if that is desired.

An issue in these discussions is that mathematics is both an art, a sport, and a science. And the development of AI that can build 'useful' libraries of proven theorems means different things for each. The sport of mathematics will be basically over. The art of mathematics will thrive as it becomes easier to explore the mathematical world. For the science of mathematics, it's hard to say, it's been kind of shaky for ~50 years anyway, but it can only help.

New comment by umutisik in "Ask HN: Who is hiring? (March 2025)"

umutisik — Mon, 03 Mar 2025 18:30:51 +0000

Incept AI | Remote (US) | Full-time | Software Engineers and Deep Learning Scientists | https://www.incept.ai

https://www.incept.ai/careers

New comment by umutisik in "Ask HN: Promoted, but Career Path Derailed"

umutisik — Mon, 03 Feb 2025 15:35:05 +0000

What is going to benefit the customers the most? You staying in your specialty where things are already in good shape, or you improving the area where the company has been underperforming? Perhaps, if the latter is better for the customers, you can find the motivation in yourself to seize the opportunity to deliver there.

New comment by umutisik in "Calm tech certification "rewards" less distracting tech"

umutisik — Tue, 21 Jan 2025 19:56:44 +0000

Tablets and phones could be calm tech too if they adjusted their brightness and white-point correctly based on ambient lighting.

New comment by umutisik in "Procrastination and the fear of not being good enough"

umutisik — Sun, 10 Nov 2024 18:37:31 +0000

Great observation. I have observed the same thing in my own life.

The solution: do things that you really believe people need. Then you owe it to them to find out if you actually are “good enough”, and you don’t care what others think because all you care about is whether the people who need it are happy with it.