disambiguation
Otherwise agreed with the sentiment.
Schools need to become tech free zones. Education needs to reorient around more frequent standardized tests. Any "tech" involved needs to be exclusively applied towards solving the supply and demand issue - the number of "quality teachers" to "students per classroom."
I admire Karpathy for advocating common sense, but none of this will happen because SV is full of IQ realists who only see "education" as a business opportunity and the bureaucratic process is too dysfunctional for common sense decisions to prevail. The future is chrome books with GPT browsers for every student.
> By following users over time, as their fingerprints changed, they could guess when a fingerprint was an ‘upgraded’ version of a previously observed browser’s fingerprint, with 99.1% of guesses correct.
https://coveryourtracks.eff.org/static/browser-uniqueness.pd...
Glad others are noticing this, it deserves more attention than it gets and everyone should be aware it's happening.
Does shitposting on Twitter count as eye irritation?
I understand your point - to an LLM there's no meaningful difference between once turing complete language and another. I'll concede that I don't have a counter argument, and perhaps it doesn't need to be prolog - though my hunch is that LLM's tend to give better results when using purpose built tools for a given type of problem.
The only loose end I want to address is the idea of "doing reasoning."
This isn't an AGI proposal (I was careful to say "good at writing prolog") just an augmentation that (as a user) I haven't yet seen applied in practice. But neither have I seen it convincingly dismissed.
The idea is the LLM would act like an NLP parser that gradually populates a prolog ontology, like building a logic jail one brick at a time.
The result would be a living breathing knowledge base which constrains and informs the LLM's outputs.
The punchline is that I don't even know any prolog myself, I just think it's a neat idea.
https://news.ycombinator.com/context?id=43948657
Thesis:
1. LLMs are bad at counting the number of r's in strawberry.
2. LLMs are good at writing code that counts letters in a string.
3. LLMs are bad at solving reasoning problems.
4. Prolog is good at solving reasoning problems.
5. ???
6. LLMs are good at writing prolog that solves reasoning problems.
Common replies:
1. The bitter lesson.
2. There are better solvers, ex. Z3.
3. Someone smart must have already tried and ruled it out.
Successful experiments:
But the relative ease does not merely apply to users, but to the barrier of entry for alt products as well.
Consider that the current paradigm is contingent on the "blind trust" users have held in tech for a long time. It's possible that a new kind of app will thrive in a different paradigm.
For example, is there any reason we couldn't have a simple "message wrapper" which only sends encrypted payloads via SMS or Email and decrypts on the fly in a secure sandbox? Easy for the user and hard to regulate.
1. "Mark Zuckerberg has been cast as the spokesman for the Millennial generation."
2. "I am the most well-known person of my generation"
3. "we'll even see a millennial president within the next few cycles by 2032."
4. The direct comparison to Pete Buttigieg.
5. He's signaled a presidential bid in the recent past.
https://www.buzzfeednews.com/article/alexkantrowitz/mark-zuc...
Some additional interpretation of mine from the exchange:
6. The expressed need to "win" in the policy arena in the next few years.
7. The imminent "transfer of value" (and power) from boomers to millennials, and the explicit urgency and intent to "position" themselves to capitalize on this "rapid shift."
Further real world context:
8. Thiel's track record of hands on political involvement with Trump, Vance, and Yarvin.
9. Thiel's recent "antichrist" lectures which articulates a fear of being "scapegoated."
# Decrypt openssl enc -d -aes-256-cbc -in secret.enc -out secret.txt
Wow that was hard.
- They're going to run Zuck for president to beat the millennial socialist zeitgeist.
- They're going to use generational warfare to stage an institutional coup.
> we need to do better than simply dismiss them by saying that they are stupid or entitled or brainwashed
Classy.
Further, the graph is otherwise smooth. We don't really see small bumps - 1 or 2 exceptions not reassuring.
With the exception of COVID, nearly every small uptick is followed by a large uptick.
Back when voting systems were fairly new to the social web, there was a lot of resistance for this reason. Now its become the norm.
The blog is persuasive and provides a full air quality analysis. It's cheap and effective, a potent combination.
https://chillphysicsenjoyer.substack.com/p/measuring-my-diy-...
I built one (< $50) and I'm pretty happy with the results. As someone with a life long sensitivity to air quality, the air definitely feels cleaner.