Sign in

Abel Dantas

@abeldantas.bsky.social
299 followers 909 following 64 posts

Researcher, Distributed Systems

PostsRepliesMedia
Abel Dantas @abeldantas.bsky.social · 10/09/2025
You can probably get close with in Jupyter, with python deps to edit dataframes in a grid.
010
Abel Dantas @abeldantas.bsky.social · 10/09/2025
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.
110
Abel Dantas @abeldantas.bsky.social · 10/09/2025
Airtable/Baserow are stiff compared to a real spreadsheet, and they aren't code-first, you can't manipulate the content locally (local-first).
100
Abel Dantas @abeldantas.bsky.social · 10/09/2025
Jupyter is ok, but you lose the sheet-like interaction. And the serialized format is not meant to be manipulated directly.
110
Abel Dantas @abeldantas.bsky.social · 10/09/2025
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.
100
Reposted by Abel Dantas
Aislinn @imnotmerida.com · 24/08/2025
What a badass 💪🏻
24512
Reposted by Abel Dantas
John Scalzi @scalzi.com · 24/08/2025
This feels like a spot of good news www.sciencedaily.com/releases/202...
sciencedaily.com
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...
576250677285
Abel Dantas @abeldantas.bsky.social · 24/07/2025
Credit to my PhD coordinator, @xmal.bsky.social, for the push off the deep end. Loving it.
100
Abel Dantas @abeldantas.bsky.social · 24/07/2025
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.
181
Abel Dantas @abeldantas.bsky.social · 21/07/2025
“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.
000
Abel Dantas @abeldantas.bsky.social · 05/07/2025
010
Abel Dantas @abeldantas.bsky.social · 03/07/2025
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.
020
Abel Dantas @abeldantas.bsky.social · 26/06/2025
Servidor de MCP do impa
010
Abel Dantas @abeldantas.bsky.social · 20/06/2025
Servidor MCP wired à API da CP smithery.ai/server/@leo0... medium.com/@LeonardoDan...
000
Abel Dantas @abeldantas.bsky.social · 07/06/2025
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.
021
Abel Dantas @abeldantas.bsky.social · 06/06/2025
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
donif.pt
000
Abel Dantas @abeldantas.bsky.social · 06/06/2025
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...
github.com
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
110
Abel Dantas @abeldantas.bsky.social · 06/06/2025
Wrapped latexdiff in a git tool for easier LaTeX diffs: git gtdiff chapter.tex Generates PDF with changes highlighted. github.com/abeldantas/g...
010
Abel Dantas @abeldantas.bsky.social · 31/05/2025
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.
openrouter.ai
OpenRouter
The unified interface for LLMs. Find the best models & prices for your prompts
020
Abel Dantas @abeldantas.bsky.social · 22/05/2025
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.
000
Reposted by Abel Dantas
Dr. Jeroen W.P. Wijnendaele @drdragases.bsky.social · 17/05/2025
0292
Abel Dantas @abeldantas.bsky.social · 17/05/2025
000
Abel Dantas @abeldantas.bsky.social · 17/05/2025
Fireship explaining bloom filters youtu.be/6fnmXX8RK0s?...
youtu.be
5 weird (but useful) data structures in computer science
YouTube video by Fireship
000
Abel Dantas @abeldantas.bsky.social · 16/05/2025
But, I just opened the app..
020
Abel Dantas @abeldantas.bsky.social · 15/05/2025
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.
021
Abel Dantas @abeldantas.bsky.social · 15/05/2025
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.
000
Abel Dantas @abeldantas.bsky.social · 12/05/2025
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 🤦‍♂️
000
Abel Dantas @abeldantas.bsky.social · 10/05/2025
Literally me today after changing the proxmox server name for my org
030
Abel Dantas @abeldantas.bsky.social · 10/05/2025
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.
010
Abel Dantas @abeldantas.bsky.social · 09/05/2025
TIL that Nginx is pronounced "engine-x"
000
Abel Dantas @abeldantas.bsky.social · 08/05/2025
Chatbot que tem os programas eleitorais como ground truth votaai.pt para as Legislativas de 2025
votaai.pt
Vota AI – Fala agora com o assistente das Legislativas 2025
Fala com o Vota AI! O primeiro assistente criado com Inteligência Artificial que te ajuda a comparar os programas dos partidos nas Legislativas 2025 de forma simples e rápida
000
Abel Dantas @abeldantas.bsky.social · 07/05/2025
Just set up our co-op's own VPN using github.com/hwdsl2/setup-ipsec-vpn. First step to reclaiming control over our digital infrastructure.
000
Abel Dantas @abeldantas.bsky.social · 04/05/2025
Made a printable habit calendar to track weight, body fat, exercise, sleep, and diet. Simple printable calendar you can tape up anywhere. Sometimes the analog approach works best for staying consistent. Print yours: abeldantas.github.io/habit-tracker/
abeldantas.github.io
Printable Habit Tracker
Track weight, body fat, exercise, sleep, and diet all in one simple printable calendar.
010
Abel Dantas @abeldantas.bsky.social · 01/05/2025
Curious on the walkie
000
Abel Dantas @abeldantas.bsky.social · 28/04/2025
Já voltou na maior parte do país. Estão a fazer a reposição progressiva para não ir abaixo outravez.
010
Abel Dantas @abeldantas.bsky.social · 28/04/2025
Só sobrou a broa de avintes
100
Abel Dantas @abeldantas.bsky.social · 26/04/2025
Almost no one focuses on the elephant’s perspective. Kind of creepy... just standing there while a bunch of confused bipeds grope you and argue about whether you’re a rope or a wall.
010
Reposted by Abel Dantas
Eric Pugh @dep4b.bsky.social · 23/04/2025
Thanks Aruna for sharing why search is hard!!!
331
Reposted by Abel Dantas
Gergely Orosz @gergely.pragmaticengineer.com · 08/04/2025
I'm rarely excited about hyped up features related to LLMs: but MCP is one of those things where it's a glimpse of the future of how dev tools and IDEs will work. Even if the current security issues mean you probably should be *very* careful in using it!
3929
Reposted by Abel Dantas
Carlos Baquero @xmal.bsky.social · 07/04/2025
Good morning. All investors are now long term investors. Glad to be in Europe.
051
Reposted by Abel Dantas
Carlos Baquero @xmal.bsky.social · 04/04/2025
S&P 500. Here it is, I fixed it.
1102
Reposted by Abel Dantas
Carlos Baquero @xmal.bsky.social · 04/04/2025
cacm.acm.org/blogcacm/the...
cacm.acm.org
The Last Solo Programmers – Communications of the ACM
033
Reposted by Abel Dantas
pvh @pvh.ca · 05/04/2025
Our new research track is called Universal Version Control and it's about exploring how to bring the power of version control to every person, on every kind of document and every kind of collaboration. www.inkandswitch.com/universal-ve...
inkandswitch.com
Universal Version Control
Industrial research lab working on digital tools for creativity and productivity
721947
Reposted by Abel Dantas
Martin Kleppmann @martin.kleppmann.com · 05/04/2025
A few days ago I gave a keynote at the PaPoC workshop on Byzantine Eventual Consistency and Local-first Access Control. It wasn't recorded, but slides are here speakerdeck.com/ept/byzantin...
speakerdeck.com
Byzantine Eventual Consistency and Local-first Access Control
Slides from a talk given at the 12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Rotterdam, Netherlands, 31 March 2…
411823
Reposted by Abel Dantas
Carlos Baquero @xmal.bsky.social · 05/04/2025
Global mood for this weekend
092
Reposted by Abel Dantas
Carlos Baquero @xmal.bsky.social · 20/03/2025
The lineup for the 12th Workshop on Principles and Practice of Consistency for Distributed Data is now up. The programme looks excellent, sad not to be able to attend. @abeldantas.bsky.social will be presenting our paper on VR collaboration. papoc-workshop.github.io/2025/program...
papoc-workshop.github.io
Program
The 12th Workshop on Principles and Practice of Consistency for Distributed Data
053
Reposted by Abel Dantas
Carlos Baquero @xmal.bsky.social · 20/03/2025
New paper under submission, in the confluence of statistics and distributed systems. arxiv.org/abs/2503.15287
arxiv.org
Distributed Generalized Linear Models: A Privacy-Preserving Approach
This paper presents a novel approach to classical linear regression, enabling model computation from data streams or in a distributed setting while preserving data privacy in federated environments. W...
033
Abel Dantas @abeldantas.bsky.social · 14/03/2025
Any system that is at least as efficient without as many externalized costs should be able to replace it.
011
Reposted by Abel Dantas
Jason Hickel @jasonhickel.bsky.social · 14/03/2025
What a world. Capitalism "externalizes" costs to the point where the costs are "externalized" into our own bodies.
6320111