


Ghost Devoid
530 posts

@ghostdevoid
hobbyist dev




I am getting tired of reading 'experts' like LeCun repeatedly claiming that our AIs are nowhere near human-level intelligence. Let us look at the evidence. US universities rank students based on standardized tests like the SAT. Current AIs achieve near-perfect SAT scores. They also beat tests like the GRE. A few years ago, it was notable when early ChatGPT scored ~120 on an IQ test, a common measure of human intelligence. An IQ of 120 is well above average. Current AIs reportedly have IQ scores similar to those of leading scientists. It is not just in tests. I can ask an AI to produce a science paper that looks undistinguishable from what a PhD level student could do. I just have to give it the data. Better yet, from a prompt, agents can run the experiments and collect the data, and then write the papers. Those of us who try to get work done with AI know what is possible. You can't possibly just say 'this is nowhere near human-level intelligence'. In software, good AIs show a greater mastery of, say, C++, than your average software engineering professor. You could just build a formal test to prove it. The difficulty is that the professors would refuse to take your tests. At this point point, someone will object 'yeah, but your AI can't do this simple thing that we can all do'. Fine. These AIs do not have *human* intelligence. They are very much not human beings. They are something like alien intelligence. They can code straight in assembly language, but have trouble counting characters in words. But that's the result of trade-offs. A dog or a monkey can solve some problems faster than you can. But let us be fair. As a species, these AIs have definitively 'human-level intelligence'. You can't spend decades setting up cognitive tests for human beings, have these AIs beat us in these tests and then say 'well, that's not real intelligence'. Come on !





Happy Wednesday! I uploaded a new episode of my podcast where I chat with Turso CEO @glcst about his engineering and faith journey. For people who are more logic and reason oriented, this conversation is perfect for you. Enjoy! 🙂


Back when our Prime Minister used to be classy. Here is Indira Gandhi answering a journalist in French.

Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D. I remain deeply passionate about education and plan to resume my work on it in time.



im on 20x pro plan, been for months. my usage was never reset yesterday, its down 40% and i barely used it yesterday? what is this. @OpenAIDevs @thsottiaux

Turso wants to match and surpass SQLite's reliability. When I say "surpass", usually ppl just look funny at me. But this is one such example: One of our OSS contributors have just found 10+ bugs in SQLite using validation he built for Turso. @pavan4820 used @quint_lang to build a formal model of the system and then executed its traces to find corner cases where SQLite deviated from the spec. It is a great demonstration of how modern reliability tools, formal methods in particular, can lead to reliable systems and find *many* issues even on the most stable software on Earth. Read more: turso.tech/blog/how-we-us…






Top 7 IIT research internship at a reputed lab > they pay X rs for the internship > they charge 0.8X for accomodation and food > they don't provide pillows + blanket + bucket etc. > inside store charges 0.3X for the same amenities > college profits 0.1X research in India is a fucking joke, never do it here. please brain drain asap and leave this place if you wanna do serious research.

