Pog man

Lᴵᵛᴱ Aᶜᵀᴵᴼᴺ Rᴼᴸᴱ Pᴸᴬʸ

人不能說話，就必須保持沉默。

[Pog man @jolicorp]

@tunahorse21 the best advice for most, fortunately

[effectfully @effectfully]

I believe Haskell’s relative unpopularity stems from poor state-handling patterns. Sure, we have the tardis monad, which allows state to travel both forwards and backwards, but it lacks reentrance.

To address this, I’ve started working on a reentrant tardis monad: retardis.

[Pog man @jolicorp]

@tunahorse21 they are all bad sir, as you were captain

[HSVSphere @HSVSphere]

@effectfully Can you stop putting women on my timeline

[Ⓑⓤⓑⓑⓛⓔ Ⓑⓐⓢⓢ🥱👾 @Caltarcular123]

@VLONEPREDATOR Bro was like

[Pog man @jolicorp]

I like Rust, honestly

[Herrington Darkholme @hd_nvim]

DHH on Rust

[Pog man @jolicorp]

@CEOofFuggy gives me motion sickness lmao

[Pog man @jolicorp]

One must imagine Sisyphus happy

[Insilico Terminal @InsilicoTrading]

Ahhh I’m Chooorting

[Pog man @jolicorp]

they will be foolish enough to listen to me... ;-;

[Pog man @jolicorp]

Fools will listen to me when they see how smart I am

[Pog man @jolicorp]

BTC is going DOWN, why are you buying am asset that is DECREASING in price-> not to zero though homies, never fear

[Pog man @jolicorp]

@tawnniee I know where

[Pog man @jolicorp]

@heart_ @InsilicoTrading well-worded

[Pog man @jolicorp]

yeag

[Pog man @jolicorp]

no disrespect intended but this is p much the take of someone entirely non technical who has ended up on a slightly more accurate mental model and framed it as bearish, but also its overly hyperbolic and nonspecific/unrealistic in its final bearish scenario. top thesis is clarted

[Adam Hunt @RealAdamHunt]

Recently I've flipped from being bullish to being bearish about AI.

I think I'm updating my bearishness to be more solidly bearish. Early thoughts (which I hope to be disproven in the next year or so, I would prefer progress) and my reasoning:

The whole 'it turns out if you keep training and scaling the models more they develop broad new capabilities in lots of domains' thesis is wrong (sorry Demis). The recent batch of models haven't got more general, they've got less general. This is most obvious in the fact that their language outputs have got much worse in comparison to e.g. o3. If they were gaining generalist capacities we would expect them to be describing their work in ever more graceful and comprehensive prose!

The image that was being shared as the AGI thesis (November 2025, Tomas Pueyo) was the spiky bubble that has a current spike or two out past human capabilities (e.g. on coding or math) but below human on other capabilities on the other spikes - the future prediction was that as the models scale/advance, every spike would grow bit by bit until the whole center encompasses the human capabilities, with super-superhuman on some spikes. I think it seems like what's actually happened in the last few models has been that the coding/math spike has grown, but leaving behind or even at the cost of the other spikes. The models are no better at some simple logic, language (and sometimes worse!).

This makes sense from a simple RL perspective; you can't RL something endlessly on one domain of tasks and expect it to improve on the other tasks. The fact that early LLMs did seem to improve generally was a byproduct of the written language corpus covering everything - that corpus is general, so training it on that gave the appearance of something generally intelligent and becoming more generally intelligent as it got better at replicating that corpus. But the actual logic and underlying ground truths behind the language aren't captured efficiently enough and weren't effectively RLd in - they top out at some point (I guess this happened around the time that there was the 'has scaling hit a wall' discussion in late 2024). Chain of thought was then a genuine breakthrough, along with web search, which plugged into that general LLM global-corpus intelligence to lead to post 2024 gains.

The AI companies have since worked out that coding works (and pays) really well (basically this is because the entire job is nearly perfectly recorded and exists as training data, and you can set up clear benchmarks and rewards). The recent models (and benchmarks) have been maxxing that and we've seen degradation on normal English use for that reason. This could still be transformative, leading to extremely powerful (and potentially dangerous, particularly in cyber security) models but it's not a pathway to AGI.

I'm probably at about 40% confidence about this. It fits my current observations of AI progress and has a basic explanatory model. It doesn't account for potential breakthroughs, which is a major reason for discounting.
To make some predictions, I guess if I'm right this will become broadly apparent and more widely acknowledged in the next year or two, as we see how the spikiness of models that keep getting released develops.
Maybe there will be efforts to concentrate on specific spikes e.g. health or law which require going back to earlier models and RLing on a different data set/with different rewards/benchmarks. Maybe those separate models can be linked together to give a more apparently general model. How capital intensive that is/the potential profitability will be a defining question. But I just don't see general abilities emerging atm, and I don't think we will any time soon. Good news - a whole industry of tackling important specific problems/sectors can open up!

[💺 @patience_cave]

Introducing MazeBench, a 3D open world environment that evaluates long term planning with visual spatial reasoning.

It spans hundreds of rooms and puzzles. Today’s best agents cannot progress beyond the initial levels.

[cephalopodshop @macrocephalopod]

> built a market making bot

> in a couple of hours

> vibe coded with claude

> it loses 0.75bp per trade

fyi what you have built is a machine for transferring your money to people smarter than you

[Mohamed Sabba @ma_sabba]

Man I love Terry Tao.

[Pog man @jolicorp]

No diesel no weasel