@emollick Do read some Terry Pratchett.
The wit and clever layers of meaning are a such a relief after Fable.
”In the beginning there was nothing, which exploded.” - Lords and Ladies
@aspelund They are! And what is your favorite research flow? I used to swear by Google DR but yesterday let gpt 5.5 do market research (what a particular user group is missing from current apps) and was pleasantly surprised. But its rather hard to make comparisons.
@trq212 I want this in my statusbar, not in a tweet. If you expose it in API headers CC can show peak/off-peak right where I need it. If you provide a rate multiplier too, even better.
Thanks for an awesome model! Keep it up.
@VictorTaelin This must be what being stuck in local minima looks like in the llm coding era. I wonder what the escape strategies are? Abstraction? Random noise? Annealing?
@8teAPi Iirc they narrowly escaped being engulfed and turned into computronium by whatever alien machine civilization the earth and inner solar system became in the acceleration. Depressing indeed, they moved slow enough observe all beauty that humanity was disappear forever.
@OfficialLoganK Gemini is astounding and we are having a great time building AI Studio apps ... until we hit the GitHub button.
Regardless of what we do it errors with insufficient permissions. It. has. every. permission. possible. This:
https://t.co/Ex8U5fl73s
Dealbreaker! Hlp.
@VictorTaelin Fascinating work! I've seen you speculate about integrating NeoGen with an LLM. Is DeepSeek-Prover close to what you are going for? https://t.co/45tb5qAFQv
DeepSeek-Prover
Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Proof assistants like Lean have revolutionized mathematical proof verification, ensuring high accuracy and reliability. Although large language models (LLMs) show promise in
@tom_doerr Underrated! Works great self hosted and it does semantic (vector) search too using local model or apis (openAi etc) for embeddings. Rarely seen in comparison qdrant, weaviate etc which is a shame.
@levelsio As a swede - that’s awesome! Can’t comment on @JohnnetrTran post but very curios - why here? Looking forward to see what works and doesn’t. Good luck!