Vaclav Kosar
@vackosar
Followers
325
Following
8K
Media
283
Statuses
1K
Time is limited, but more is possible! Posts about machine learning, programming. ML engineer, physics masters, builder-explorer. Blog: https://t.co/WHA9kaiJxC
Europe
Joined September 2015
The Czech Republic has chosen UK firm @RollsRoyce SMR after assessing seven potential technology suppliers for its proposed small modular reactor programme #nuclear
https://t.co/btnPN3t5X1
1
37
93
Today, we release several Moshi artifacts: a long technical report with all the details behind our model, weights for Moshi and its Mimi codec, along with streaming inference code in Pytorch, Rust and MLX. More details below 🧵 ⬇️ Paper: https://t.co/JQtEMppifK Repo:
50
397
2K
Thiel at All-In Summit: "we probably tried to do too much investing in Europe over the years it's always sort of a junk it sort of it's a nice place to go on vacation as an investor...the US ...where people do new things"
1
0
3
I’ve just finished reading the Draghi Report, and to my surprise, 4 out of the 5 policies I proposed in my EU/ACC open letter were included almost word-for-word. It's encouraging to see this alignment, but there’s still work to be done. Signing the open letter is a way to keep
2
3
24
Terence Tao's take on o1. TT is a mathematician won the Fields Medal in 2006 and is widely regarded as one of the greatest living mathematicians.
Terence Tao’s grading: GPT-4o: Completely incompetent graduate student o1-preview: Mediocre but not completely incompetent graduate student A step change.
0
0
0
"In summary, 01 represents a paradigm shift from memorize the answers to memorize the reasoning", but still "fitting a curve to a distribution" So, no gleam of AGI yet.
0
1
5
Thanks 🫶to all our sponsors for a more than generous amount of cloud GPU credits! (European mind can’t comprehend… 😉).
$300K in cloud credits, a 10-node GH200 cluster, and a 4-node 8 H100 cluster. All available to attendees of CUDA MODE IRL Thanks to our amazing sponsors @anyscalecompute @FAL @LambdaAPI @modal_labs @nebiusai @Oracle @nvidia @PrimeIntellect @togethercompute
0
2
34
Losing mindset: * Setting (lower) expectations * Talking about how things could be worse paired with inaction Winning mindset * Setting (high) expectations and figuring out how to deliver * Talking about how things could be better paired with action to get there.
1
1
14
OpenAI o1 — our first model trained with reinforcement learning to think hard about problems before answering. Extremely proud of the team! This is a new paradigm with vast opportunity. This is evident quantitatively (eg reasoning metrics are already a step function improved)
We're releasing a preview of OpenAI o1—a new series of AI models designed to spend more time thinking before they respond. These models can reason through complex tasks and solve harder problems than previous models in science, coding, and math.
257
861
7K
🇪🇺 eu/acc A few weeks ago Mario Draghi asked my recommendations for his report that came out today about European competitiveness I had a call with him and summarized my problems with doing business in the EU I wrote this which is included in the report presented to the
699
1K
8K
This is awesome and I fully support it. But I wager to say this is slightly inconsistent with his (and my own) AI timelines. Whether a self-sustaining Mars colony can be built before the singularity happens is questionable. But definitely worth trying anyway.
The first Starships to Mars will launch in 2 years when the next Earth-Mars transfer window opens. These will be uncrewed to test the reliability of landing intact on Mars. If those landings go well, then the first crewed flights to Mars will be in 4 years. Flight rate will
4
1
7
If the Sun does become a red giant, it will engulf and destroy the Earth. If any of our descendants, physical or intellectual, are still on the Earth at that time, they might not want that to happen. They might do everything in their power to prevent it. Is it obvious that they
4
17
88
The word is out.. @EnricoLetta officially speaks in favor of a “European Delaware” In line with what we’ve been saying: let’s make Europe attractive for tech headquarters As US Delaware is currently the leading place of incorporation for tech companies, time for 🇪🇺 to lead
Un 'Delaware europeo': @EnricoLetta spiega a Class CNBC la sua proposta di un "28esimo stato europeo virtuale con un suo diritto commerciale, opzionale, valido in tutta Ue" così che Pmi e multinazionali "non debbano cambiare tra i vari Paesi". Intervista di @IreneElisei
3
22
95
"physicists have also thrown out Einstein’s original idea...that matter is really just made of spacetime, curved in a particular way...It has been replaced by a different idea of unification, ... both made of something else, ..., for example, strings or loops or networks.
Pls enjoy my new essay for @NautilusMag about Einstein's attempt to explain everything as dips and bends in spacetime https://t.co/s84yY4LFGL
0
0
0
Would you like some AI with that?
Hey @agnostoxxx and @PauloMacro, noticed this on my wife’s exercise supplement - what stage is this??
0
0
0
LLM self-verification (reflection) may worsen results: "Across almost all of our domains, this self-verification system worsens performance... this kind of self-correction consistently degrades output quality." Interesting that some agent systems use it.
📢 "On the self-verification limitations of LLMs in Reasoning and Planning Tasks" https://t.co/yqdu4syQ2n (lead by @karthikv792 and @kayastechly) 👇 Investigates LLM self-verification in three formal benchmarks--Game of 24, Graph Coloring and Planning, and shows that accuracy
1
0
1
Ok, it maybe possible with some Pydantic schema post-processing. > "Although all fields must be required (and the model will return a value for each parameter), it is possible to emulate an optional parameter by using a union type with null." ``` "type": ["string", "null"],```
0
0
0