Abel Dantas's Avatar

Abel Dantas

@abeldantas

Researcher, Distributed Systems

296
Followers
909
Following
64
Posts
21.11.2024
Joined
Posts Following

Latest posts by Abel Dantas @abeldantas

You can probably get close with in Jupyter, with python deps to edit dataframes in a grid.

10.09.2025 10:30 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

It would be nice to have a native, code-first spreadsheet that still feels like Excel when youโ€™re using it, but allows you to iterate as code.

10.09.2025 10:30 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Airtable/Baserow are stiff compared to a real spreadsheet, and they aren't code-first, you can't manipulate the content locally (local-first).

10.09.2025 10:30 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Jupyter is ok, but you lose the sheet-like interaction. And the serialized format is not meant to be manipulated directly.

10.09.2025 10:30 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I keep bouncing between spreadsheets and code and noticing a weird gap. Excel/GSheets are great to poke around in, but if you want to iterate in code you need to import/export, it's clumsy.

10.09.2025 10:30 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

What a badass ๐Ÿ’ช๐Ÿป

24.08.2025 15:52 ๐Ÿ‘ 45 ๐Ÿ” 12 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0
Preview
Scientists found the missing nutrients bees need โ€” Colonies grew 15-fold Scientists have developed a breakthrough food supplement that could help save honeybees from devastating declines. By engineering yeast to produce six essential sterols found in pollen, researchers pr...

This feels like a spot of good news

www.sciencedaily.com/releases/202...

23.08.2025 23:31 ๐Ÿ‘ 25232 ๐Ÿ” 7334 ๐Ÿ’ฌ 580 ๐Ÿ“Œ 599

Credit to my PhD coordinator, @xmal.bsky.social, for the push off the deep end. Loving it.

24.07.2025 09:00 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Got my first citation.

Good to see my name in someone elseโ€™s Related Work.

Been working on eventual consistency and BFT, so getting cited in a games paper โ€” FlockJS: A Browser-Native Game Engine Integrating WebGPU and Peer-to-Peer Networking โ€” hits different. Full-circle moment.

24.07.2025 09:00 ๐Ÿ‘ 7 ๐Ÿ” 1 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

โ€œSybil attackโ€ comes from a 70s book about a woman diagnosed with dissociative identity disorder. Sybil was a pseudonym of the women said to have 16 distinct personalities.

21.07.2025 10:38 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image
05.07.2025 19:51 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

Acabamos mais uma sessรฃo de oficinas de introduรงรฃo ร  programaรงรฃo aos mais novos. Neste grupo eram miรบdos na casa dos 11. ร‰ muito gratificante ver a aptidรฃo deles. Sรฃo um espetรกculo.

03.07.2025 11:40 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image Post image

Servidor de MCP do impa

26.06.2025 16:31 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

Servidor MCP wired ร  API da CP
smithery.ai/server/@leo0...
medium.com/@LeonardoDan...

20.06.2025 09:28 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

TIL: If your VPN server and local network share the same subnet (e.g. 192.168.1.0/24), routing breaks. Do yourself a favor always change the default subnet on new home routers.

07.06.2025 10:26 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Se ficarem a funcionar sim, vรฃo meter no smithery. IPMA, NIF.pt, infraestruturas de portugal, mas a experiรชncia depende de como estรก a API tambรฉm, por exemplo na das infraestruturas hรก paragens de comboio mal catalogadas

06.06.2025 18:53 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
GitHub - devpt-org/public-data-portugal: Agregador de APIs e dados pรบblicos, ou semi-pรบblicos de entidades Portuguesas. Agregador de APIs e dados pรบblicos, ou semi-pรบblicos de entidades Portuguesas. - devpt-org/public-data-portugal

Lancei um desafio a uns alunos para fazerem wrap the APIs pรบblicas portuguesas em MCP. Descobri que hรก muito poucas APIs pรบblicas portuguesas, รฉ um bocado triste:
github.com/devpt-org/pu...

06.06.2025 14:25 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Post image

Wrapped latexdiff in a git tool for easier LaTeX diffs:

git gtdiff chapter.tex

Generates PDF with changes highlighted.
github.com/abeldantas/g...

06.06.2025 09:43 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
OpenRouter The unified interface for LLMs. Find the best models & prices for your prompts

openrouter.ai lets you swap models on the backend with a variable change. Useful for switching around LLMs on the fly before you lock in on self-hosting or a particular one.

31.05.2025 08:07 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Eu gostava de ver uma esquerda menos focada na justiรงa social como retรณrica moral e mais focada em soluรงรตes tรฉcnicas bem desenhadas para os problemas - com base em dados, tecnologia e rigor na execuรงรฃo pรบblica.

22.05.2025 19:00 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image
17.05.2025 18:49 ๐Ÿ‘ 29 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image
17.05.2025 12:23 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
5 weird (but useful) data structures in computer science
5 weird (but useful) data structures in computer science YouTube video by Fireship

Fireship explaining bloom filters youtu.be/6fnmXX8RK0s?...

16.05.2025 23:17 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

But, I just opened the app..

16.05.2025 19:23 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Pure asynchrony is like a Schrรถdinger network โ€” you donโ€™t know whoโ€™s alive, whoโ€™s dead, and everyone still has to agree on something.

15.05.2025 09:06 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Natural when the motivation is to go through the hops instead of learning. The problem is not AI. The problem is just being made increasingly evident.

15.05.2025 09:06 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

TIL that `ssh -A user@server` let's you forward your SSH agent, so you don't have to generate new keys everytime you need to checkout a repo. Better late than never ๐Ÿคฆโ€โ™‚๏ธ

12.05.2025 09:19 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Literally me today after changing the proxmox server name for my org

10.05.2025 12:42 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

As AI and AI-UX continues to evolve, I sense there will be a movement towards local-first apps. MCP has already led me to adopt more local tools โ€” shifting from Google Docs to Obsidian/Latex for faster, more dynamic document access.

10.05.2025 12:41 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

TIL that Nginx is pronounced "engine-x"

09.05.2025 22:49 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0