Lukas

CS Student; Software, AI, Theory and Maths

[Max Wolf @MaxWolf_01]

yapit.md turns urls and pdfs (even research papers) into clean, listenable markdown. @kepano's defuddle handles websites, a vision LLM handles PDFs and e.g. gives math spoken alt text. Free TTS in your browser, open source, self-hostable - and I didn't make UI/UX an afterthought.

[Lukas @lukasl_dev]

@rfleury @cmuratori @dgtlgrove @croloris why not?

[Alex Mordvintsev @zzznah]

Growing Graphs demo is finally out! 🕸️✨
🔗 https://t.co/YJCA1WRrbL
Videos from a few months ago finally meet a finished implementation, thanks Gemini for doing the boring parts.

Inspired by Paul Cousin's Graph-Rewriting Automata: like a Game of Life, but cells can split if they want to

#GenerativeArt #WASM #SwissGL

[Lukas @lukasl_dev]

@rfleury @cmuratori @dgtlgrove we need awebo, @croloris

[Lukas @lukasl_dev]

@mischavdburg

[Lukas @lukasl_dev]

@adamwathan https://t.co/bLQNruHAKm

[kepano @kepano]

cloud apps have locked generations of people into self-limiting beliefs about what a computer can do

[Lukas @lukasl_dev]

@RhysSullivan @theo https://t.co/v11JPj3KMO

[Lukas @lukasl_dev]

@julianhyde @MaineFrameworks There's a Google research paper discussing an alternative pipe-based syntax for SQL:

https://t.co/XdZQCwq4xO

[Oxford Mathematics @OxUniMaths]

Will you still need me, will you still feed me, when I'm 94?

Happy Birthday Roger.

[Lukas @lukasl_dev]

@VictorTaelin Isn't Deepmind interested in theorem proving given their recent Alpha* releases?

[Lukas @lukasl_dev]

@iamgiyu_ I'm using Tailscale for that

[Lukas @lukasl_dev]

@charliermarsh ty

[Lukas @lukasl_dev]

@charliermarsh amazing

[Lukas @lukasl_dev]

@VictorTaelin Generally speaking, I have the feeling that O1 tends to skip subproblems and marks them as "trivial". As soon as you ask more in-depth questions, it starts to fail.

Maybe something like a type enumerator could help :)

[DeepSeek @deepseek_ai]

🚀 DeepSeek-R1 is here!

⚡ Performance on par with OpenAI-o1
📖 Fully open-source model & technical report
🏆 MIT licensed: Distill & commercialize freely!

🌐 Website & API are live now! Try DeepThink at https://t.co/v1TFy7LHNy today!

🐋 1/n

[The Nobel Prize @NobelPrize]

BREAKING NEWS
The Royal Swedish Academy of Sciences has decided to award the 2024 #NobelPrize in Physics to John J. Hopfield and Geoffrey E. Hinton “for foundational discoveries and inventions that enable machine learning with artificial neural networks.”

[Max Wolf @MaxWolf_01]

My prediction for how coming AGI systems will look like: A self-organizing core "reasoning system" which makes use of LLMs as a knowledge base.
Intrinsic reward signals - curiosity and prediction. External rewards - LLM (bootstrapping) & humans (alignment).

[OpenAI @OpenAI]

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. https://t.co/peKzzKX1bu