HN user

jeromebaek

59 karma

My opinions are my own, insofar as opinions are commodities.

twitter.com/problem_halting

Posts11
Comments186
View on HN

Now tie this with computability theory. Almost all real numbers are uncomputable. It's obvious that they don't "exist" in any sense if by "exist" we mean "computable". Now consider that entropy, is information, is the measure of randomness, or uncomputability, is time. What is uncomputable, coming into existence, is the passage of time.

So Airbnb has tried to unsuccessfully pivot to a payments infra company for several years now. Notable acquisitions for this effort include acqui-hiring ChangeTip, a bitcoin micropayments platform, and Tilt, a social payments platform. But Square and CashApp are way ahead of the curve. I suspect there's internal political problems.

Y'all are gonna call me a crackpot, but consider P, PSPACE and IP. PSPACE is (probably) much more powerful than P. Also PSPACE=IP (interactive proofs). Learn interactively. Treat your compiler as the prover, you as the verifier. Don't try to understand everything by simply reading the manual -- that's only utilizing P, not PSPACE.

please stop spreading the myth that ChromeOS is somehow immune to malware. nothing stops a dev from uploading malware to the Chrome web store, and there are many such cases that happened. the only meaningful metric of how safe a piece of software is, is the size and investment in the team responsible for the security of the product. And MS is leading in this aspect.

Think about it. Soft AI that assists the driver (automatic turning, cruise control, automatic brakes) is now mainstream. Why is it that full self-driving cars are categorically different? Because it requires full faith in the machine. When assistive technology goes wrong, the driver can correct it and -- get this -- the reason the driver can correct it fast enough is precisely because the driver doesn't fully trust the technology. the driver is on alert, always, because they know the technology is not meant to be trusted fully. now a full self-driving car asks the driver to trust it fully. so the "driver" can take a nap, read a book, whatever. if the driver needs to be on alert, it's by definition not a fully self-driving car. and i dont think we will get there, ever.

it's entirely possible that the Berkeley CS professors, who are obviously geniuses but also kind of dolts, knew nothing about these bureaucratic intricacies and took the most obvious way out.

i was an undergraduate 8-hour TA at UC Berkeley for six semesters between 2015 and 2018. i was also part of the union. i'm surprised few of the comments are mentioning the main issue: union contract stipulates that 10-hour or more TAs receive tuition fee remission, but even 9.9-hour TAs receive zero remission. (there was at least one 9.9 hour TA, though not in the EECS department.) in 2015 when the 8-hour TA position was implemented there were initially not very many of them, and there were more 20-hour TAs, mostly graduate students. but between then and now Berkeley's CS program grew exponentially. so more and more 8-hour TAs were needed. what started as a clever hack was beginning harm other departments' workers by setting a precedent (ex, the 9.9 hour TA in chemistry). so the union fought and won.

Berkeley's undergraduate CS education is a unique self-sustaining juggernaut. there are not only TAs officially hired and paid by the department, but also numerous volunteers tutoring, lab assisting and otherwise helping each other out. it would be a tragedy if the bureaucracy destroys this beautiful self-sustaining machine through this decision. but i trust Berkeley will find a way as always to teach the most with the least resources.

it makes me sad this sort of unnuanced, oh-so-rational take unengaged by any sort of philosophy is still getting upvotes in HN. posting here feels like a lost cause.

The AI/ML hype drives away talented students from engineering and systems research, as well. Because of the hype engineering somehow is less prestigious than “data science”. Wonder how long until this trend will blow up.

Xinu Is Not Unix 7 years ago

“This software may not be sold or published in printed form without written permission from the copyright holders.“ This is almost certainly because parts of the source code appear in the textbook, and publishing laws apply.

A little-discussed issue is that big tech cos tend to do better on diversity and inclusion. Obviously it varies by startup, but when you’re in a survival mentality it is difficult to be open to people of different sexualities, races and experiences. You tend to get clumps of similar overachievers. Paul Graham said this was an “advantage” but for people like me in the LGBTQ community it certainly isn’t.