Erik Meijer
@headinthebox
Followers
32K
Following
16K
Media
1K
Statuses
12K
One way or another, it would get turned into shit anyways.
my mom was the one that baked this cake, she was so excited about the opportunity to make a cake for Katy Perry and spent so long on it, im genuinely confused and upset as to why she would do this
1
0
13
I have no connection with Google, but I love Kotlin and Aarhus is a nice city. This seems a great opportunity for compiler hackers in the old country. https://t.co/s2dsLrf3Ue
1
1
21
BREAKING: Mamdani's odds collapse in NYC Mayoral Election. If he continues falling at the rate he has the past 24h, Cuomo would be the projected winner.
2K
2K
17K
Why we can't have nice things!
New research with @AdtRaghunathan, Nicholas Carlini and Anthropic! We built ImpossibleBench to measure reward hacking in LLM coding agents 🤖, by making benchmark tasks impossible and seeing whether models game tests or follow specs. (1/9)
2
0
15
"... At a meta level, however, the environment in which the enterprise operates will also change over time; hence, the corporate memory needs to be "reset" occasionally since it is not tracking relevant inputs anymore. ..." [0]
2
0
14
The Century Foundation isn’t just a think tank—it’s an operator connecting money, media, and power.
5
11
70
Is the prompt engineering equivalent of this https://t.co/yMO56ewHFG like saying "create a step-by-step plan" and then using that to generate the answer based on the plan, vs saying "think step-by-step" to generate the answer directly?
0
2
8
A classic in the making!
Wooo!!! I can't believe the book is finally out! 🎉🎉🎉 The process of writing the Vibe Coding book with @Steve_Yegge was an adventure of a lifetime — I love that this book tells the story of two people who both thought their best days of coding were behind them... Only to
1
2
15
This "MIT paper" from UW.
🚨 This MIT paper just broke everything we thought we knew about AI reasoning. These researchers built something called Tensor Logic that turns logical reasoning into pure mathematics. Not symbolic manipulation. Not heuristic search. Just tensor algebra. Here's how it works:
26
42
1K
Crypto 101: seed phrases are broken. We don’t use them. Each wallet is independent, backups encrypted, PIN-protected. No photo, glance, or leak can steal your funds. Yet the old, vulnerable story is still everywhere.
1
8
42
https://t.co/0K7MnzXODA This is much more interesting folks ;-)
wsj.com
Andrew Tulloch is the latest big-name AI researcher to join the social-media giant.
0
0
11
Last week at a workshop I will not name to protect the innocent, it was claimed that "if you have a good evaluation, you can ask any foundation model company to use it as part of their training" and thus your favorite LLM will magically will understand your niche PL/formal method
anthropic.com
Anthropic research on data-poisoning attacks in large language models
1
0
19
🐐 I've been a retail trader for 15 years who loves goats, walks barefoot, and trades anything with a chart - stocks, crypto, commodities, you name it! Follow for real talk & technical analysis.
2
0
4
"... Guido van Rossum: I honestly think the importance of the GIL removal project has been overstated. It serves the needs of the largest users (e.g. Meta) while complicating things for potential contributors to the CPython code base (proving that new code does not introduce
39
48
700
AI has many potential advantages and challenges when applied to hardware verification, especially formal verification. Join me for a free to attend webinar where we will discuss AI and hardware verification with panelists Adam Chlipala (MIT professor, formal hardware verification
0
2
47
Every year, like a Swiss clock, when the Nobel Prizes are announced, the usual suspect gets triggered.
2025 update: A Nobel Prize for Plagiarism (Technical Report IDSIA-24-24). Sadly, the 2024 Nobel Prize in Physics awarded to Hopfield & Hinton is effectively a prize for plagiarism. They republished foundational methodologies for artificial neural networks developed by Ivakhnenko,
5
1
45
85 years of serious computer science [0] destroyed in one OpenAI Dev Day.
20
22
371
Trump tariffs are pushing US trading partners to buy from other countries. It's weakened US roll in global trade and attendant influence and threatens dollar’s supremacy. Contrary to Trump promise, his tariffs cannot restore lost manufacturing jobs. Read Full Article:
10
70
105
I have a new benchmark for computer use. Listen to an arbitrary song (via the microphone) and transcribe it (all instruments and lyrics) using Guitar Pro or similar tool. Wake me up when it is real.
3
0
19
How can you have worked at Meta and not know what a "boomerang" is?
I had never heard the term "Boomerang Hiring". 😃 Thanks for the reachout @Meta @finkd, but what I'm building now is far more exciting and important. I'm rooting for @AIatMeta and Meta Superintelligence Labs teams though. The recent ARE paper and GAIA2 benchmark in particular
2
0
33