#ai

https://www.nature.com/articles/s41586-023-06747-5

Nature

Solving olympiad geometry without human demonstrations

Nature - A new neuro-symbolic theorem prover for Euclidean plane geometry trained from scratch on millions of synthesized theorems and proofs outperforms the previous best method and reaches the...

#career

Cloudflare's layoff process is broken.

Source:
https://www.reddit.com/r/TikTokCringe/comments/194v9y8/ae_at_cloudflare_records_hr_trying_to_fire_her/

9:16

Media is too big

VIEW IN TELEGRAM

#ml


Interesting idea to use Hydra in ML experiments.

https://github.com/ashleve/lightning-hydra-template

GitHub

GitHub - ashleve/lightning-hydra-template: PyTorch Lightning + Hydra. A very user-friendly template for ML experimentation. ⚡🔥⚡

PyTorch Lightning + Hydra. A very user-friendly template for ML experimentation. ⚡🔥⚡ - ashleve/lightning-hydra-template

#ai

Simple yet deep. I love this piece of work.

Nylund, Kai, Suchin Gururangan, and Noah A. Smith. 2023. “Time Is Encoded in the Weights of Finetuned Language Models.” arXiv [Cs.CL]. arXiv. http://arxiv.org/abs/2312.13401.

#fun

Just Google overseas France

https://www.reddit.com/r/mapporncirclejerk/s/mNvPNp6yf8

Reddit

yes, Europe : r/mapporncirclejerk

5.7K votes, 185 comments. 224K subscribers in the mapporncirclejerk community. Cartographers with nothing left to lose.

#visualization

Source: https://www.statista.com/statistics/520952/netherlands-number-of-live-born-children-by-marital-status-of-the-mother/

#ai

Looks like Gemini is a handy tool for researchers.

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

YouTube

This is changing the way scientists research | Gemini

Gemini — Google’s newest and most capable AI model.

200,000 scientific papers with crucial science information gets read, understood, and filtered by Gemini all in one lunch break. Join DeepMind Research Scientist Sebastian Nowozin and Software Engineer…

👍 impressive step by step visualization of how GPTs work
https://bbycroft.net/llm

bbycroft.net

LLM Visualization

A 3D animated visualization of an LLM with a walkthrough.

#visualization

Finland vs UK, and
Turkiye/Turkey is such a nice example of data quality issues.

https://www.reddit.com/r/MapPorn/s/QYGauVmzOP

Reddit

From the MapPorn community on Reddit: Did Google auto generate roast your country?

Explore this post and more from the MapPorn community

#misc

Background: https://www.reddit.com/r/MapPorn/s/7SA4Ri7bZW

Someone made a visualization of "the percentage of workforce who are women by country".

The visualization itself is terrible, especially the color scheme. However, it sparked a lot of discussions and this one is top.

#misc

My recent experience sort of supports this idea.

https://www.reddit.com/r/MachineLearning/s/e3HPle3UIN

Reddit

mcjoness's comment on "[D] Skill Creep in ML/DL Roles - is the field getting not just more competitive, but more difficult?"

Explore this conversation and more from the MachineLearning community

#fun

I was digging into my google drive files and found this funny story in one of my slide decks.

Just in case, Guido is the creator of Python.

I do not have any reference for this screenshot as I didn't include one in my slide. So I would call this unverified.

#research

https://clarivate.com/highly-cited-researchers/

Update:
I got the full list of researchers as a csv file:
https://drive.google.com/file/d/1iequOfuGECEcDWt9AhljJzxHQYdArguN/view?usp=sharing

Clarivate

Clarivate Highly Cited Researchers 2025

The Highly Cited Researchers 2025 list identifies and celebrates individuals who have demonstrated significant and broad influence in their fields of research. Through rigorous selection criteria and comprehensive analysis, we recognize researchers whose…

#misc

OpenAI announces leadership transition
https://openai.com/blog/openai-announces-leadership-transition

Openai

OpenAI announces leadership transition

#fun

There are normal and professional contests, and then this:

The International Obfuscated C Code Contest

https://ioccc.org/

Alright, someone please host a Python version of it. It could go completely wild.

#dl

Google & USC benchmarked a prompt based forecasting method, and the results are amazing.

Cao D, Jia F, Arik SO, Pfister T, Zheng Y, Ye W, et al. TEMPO: Prompt-based Generative Pre-trained Transformer for time series forecasting. arXiv [cs.LG]. 2023. Available: http://arxiv.org/abs/2310.04948