https://gemini.google/overview/canvas/

The Gemini Canvas landing promises (among other things) to make you interactive (as in "HTML/JS app") quizzes for your studies. Coincidentally I was flipping through an extended lecture notes/lightweight textbook (80+ pages, pretty comprehensive thing), which has many multiple-choice tests for self-assessment. In particular, it has an entry test for pre-course assessment.

So I figured, I'd upload the PDF into Gemini and ask it to make an interactive quiz for the pre-test specifically. And it did!

Though, at first it simply extracted the test from the PDF into a Markdown document, but at least it was the right test, nothing added, nothing subtracted. And after I asked about an interactive app it generated HTML/JS for the quiz which Canvas can show inline.

Funny enough, one of the "correct answers" in the PDF was pointing to the fifth answer for a four-answer question, and Gemini corrected it to the right one. 😁

Yeah, these LLM become not only fun but also useful and usable. 😊

https://www.youtube.com/watch?v=Umy7hsw7pF0

A beautiful video on New Zealand's nature and its history.

Overpass API + YOLOv11 + SAM2 + Colab + HuggingFace

"Statements dreamed up by the utterly deranged"

I'm frightened by the fact I know what that means and how that came to be...

https://www.youtube.com/watch?v=G6R7UOFx1bw

Really interesting, much more than I anticipated. Some deep ideas about both past and future.

https://www.bigfootmap.com/

If you spot a Bigfoot/Yeti/Sasquatch/etc. you can report the encounter here. Otherwise you can analyse the data, but I have no idea what you can make of it. 😁

Судя по тому как программисты реагируют на бенчмарки разных LLM, мы понимаем, что свой код они не бенчмаркают, и вообще никогда ничего не бенчмаркали... 😏

https://www.youtube.com/watch?v=YdOXS_9_P4U

Damn the Ancient Greeks! They figured out so much from literally nothing: no instruments, no data, the most basic math. By the sheer power of reason. And a lot of patience it seems.

https://www.youtube.com/watch?v=LI7koSi5J6w

More hype!!! 😃

So soon already!

Apparently, Google Gemini "thinks" the https://www.geminidata.com/ is somehow related to Google Gemini... 😏

Sweet cats are made of fur...

Turn your unwieldy Python code into beautiful math formulae and render them right in a Jupyter Notebook:
https://github.com/google/latexify_py
😂

TIL: Applicative instance for functions comprises K and S combinators:

instance Applicative ((→) a) where
  pure b = λa → b
  h ⊛ g  = λa → (h a) (g a)

😳

https://www.basis.ai/blog/

A pretty curious "AI lab". For the starter, they don't rave about LLMs which is a nice change these days. Instead they revel in Bayesian inference. 😊

Maybe most interesting, they work in the intersection of Programming Languages, Bayesian and Causal Inference, Neural Networks, Neuroscience and Cognitive Science. At least one of their research directions employs programs as models for cognitive processes, and thus implements a form of program synthesis in the area of Machine Learning. Like good 'ol days. 😁

Another throwback to classical AI topics is the aim to understand and model actual Neuronal and Cognitive mechanisms and processes in animals (including humans) through Machine Learning and Statistical approaches.

At the very least that sounds more scientific and interesting than a shaky ambition to build a Superhuman AGI stacking more layers to a Transformer... 😏

— Почему коллайдер адронный?
— Потому что когда его строили, дронов ещё не было.

Looks like Nitrogen-like Web frameworks in Python gain prominence:
https://mesop-dev.github.io/mesop/

Another one was https://www.fastht.ml/

https://250bpm.com/blog:181/index.html

Why programming sucks? 'Coz we don't use the Hemingway case!

https://cyclic-structures.gitlab.io/vacancies/
Six (6) fully-funded PhD positions (4 years) in the project "Cyclic Structures in Programs and Proofs", The Netherlands.
Deadline: Friday, May 23, 2025.

Coinduction, coalgebras, modal logics, type theory and proof assistants. All the good stuff. 😁

https://www.youtube.com/watch?v=vEioDeOiqEs

Curious. An adaptation of a pretty famous series of novels. Cool actors. I didn't check on the director(s) though.

Наш сервер — как собачка: все команды понимает и выполняет, но ответ сформулировать не может...