HackerLangs
TopNewTrendsCommentsPastAskShowJobs

ken47

no profile record

comments

ken47
·22 วันที่ผ่านมา·discuss
Thanks for creating and sharing this.
ken47
·เดือนที่แล้ว·discuss
Isn’t this related?

Hundreds of UC faculty call to reinstate SAT, ACT requirements for STEM applicants: https://dailybruin.com/2026/05/27/hundreds-of-uc-faculty-cal...
ken47
·2 เดือนที่ผ่านมา·discuss
> However, this was not verified in Lean.

This is the caliber of thinking in unimpaired AI bullishness.
ken47
·3 เดือนที่ผ่านมา·discuss
Because the majority of executives think AI is a magical black box, I’d reckon.
ken47
·7 เดือนที่ผ่านมา·discuss
I have to wonder if there is a relation to the rising prevalence of coding LLMs.
ken47
·9 เดือนที่ผ่านมา·discuss
Coincidence is God’s way of remaining anonymous.
ken47
·9 เดือนที่ผ่านมา·discuss
And don't forget that physical loneliness, that is, actually being alone, eliminates one major feedback source that something could be wrong with your health, or a source of immediate aid if e.g. you go into cardiac arrest.

Maybe the researcher above touches on these things, but more generally, there should be a standardized probability and statistics exam for ALL aspiring scientific researchers, and a high score should be the minimum cutoff. The influence that a statistically flawed study can have over our collective futures is too dangerous.
ken47
·3 ปีที่แล้ว·discuss
You're stating something that should be obvious. How are there so many software and software-adjacent people who take headlines at face value?