Viewing profile — umutisik

Customers / users are the judge.

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.

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 …

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

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.

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

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

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

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 fir…

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 i…

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…

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 …

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 Ph…

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 P…

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-genera…

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 Ph…

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 underper…

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

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 a…

- If you just run the previous generation of games on the newer graphics, it's only a tiny bit better. But games designed for this generation will have more of a difference. Ultima…

Real life use cases for theorem proving I am aware of: - Formal verification of implementations for applications that require extreme security and reliability. (banking, aerospace,…

It's called Acoustic Echo Cancellation. An implementation is included in WebRTC included in Chrome. A FIR filter (1D convolution) is applied to what the browser knows is coming out…

Can the right LED panels make up for the lack of daylight in the interior areas?

I agree that it's hard to imagine an alternate history when things happened through a mixture of pure and application-motivated work. In each example, I can see how people arrive a…

What specific, useful things in cryptography would never have happened if we had not been studying number theory for thousands of years? Even if there are some examples, would we b…