Javier Viñuales (@[email protected])

5.3K posts

Javier Viñuales (@vigu@mastodon.social) banner
Javier Viñuales (@vigu@mastodon.social)

Javier Viñuales (@[email protected])

@vigu

Co-founder of @Difundi, tech troubleshooter, loving family & friends, amateur guitarist

Sevilla, España Katılım Haziran 2007
596 Takip Edilen630 Takipçiler
Javier Viñuales (@[email protected]) retweetledi
How To AI
How To AI@HowToAI_·
Chinese researchers have developed the best shortest-path algorithm in 41 years! Dijkstra’s Algorithm has been the undefeated king of the shortest path for over 40 years. Whether you’re using Google Maps, booking a flight, or routing internet packets, Dijkstra is the engine running in the background. Since 1984, textbooks have taught that its efficiency was hit by a "sorting barrier." To find the shortest path, you have to sort the points by distance. And sorting has a mathematical floor you can’t cross. Until now. A research team from Tsinghua University just published a paper that shatters the 41-year-old record. They proved that Dijkstra is not optimal. By combining the logic of the Bellman-Ford algorithm with a revolutionary "recursive partial ordering" method, they figured out how to find the path without fully sorting the nodes. The results are a massive shift in theoretical computer science: - The first deterministic improvement to the Single-Source Shortest Path (SSSP) problem since 1984. - A new time complexity of $ O(m \log^{2/3} n)$, officially beating the long-standing $ O(m + n \log n)$ limit. - On massive sparse graphs (like the web or global logistics), this means finding the best route significantly faster than previously thought possible. For four decades, the greatest minds in algorithms believed this limit was absolute. Last year, even the legendary Robert Tarjan won an award proving Dijkstra was "optimally efficient" at sorting distances. Tsinghua’s answer? Stop sorting. The world’s most settled problem is suddenly wide open again. If we can break a 40-year-old law in basic graph theory, what other "impossible" speed limits are waiting to be crushed?
English
91
594
4.1K
821.9K
Javier Viñuales (@[email protected]) retweetledi
Michał Podlewski
Michał Podlewski@trajektoriePL·
Terence Tao proposes what he calls a "Copernican view of intelligence". Instead of buying into the common, one-dimensional narrative that artificial intelligence will simply evolve from "subhuman" to "superhuman" and ultimately make humanity entirely redundant, Tao urges us to look at the bigger picture. Much like the Copernican revolution proved the Earth is not the center of the universe, Tao suggests we need to realize that human intelligence isn't the only, or necessarily the highest, form of intellect. Historically, we have treated other forms of storing or creating knowledge—like animals, books, and computers—as secondary. However, we actually exist within a much richer universe of intelligence. Both human intelligence and computer intelligence possess their own distinct strengths and weaknesses. The true potential lies not in viewing them as direct competitors, but rather in focusing on collaboration. By working together, humans and computers can achieve additional things that neither could accomplish on their own, requiring us to think in much wider terms than just what humans or computers can do alone.
English
140
606
4.1K
602K
Javier Viñuales (@[email protected]) retweetledi
NASA
NASA@NASA·
History in the making In this new image from our @NASAArtemis II crew, you can see Orientale basin on the right edge of the lunar disk. This mission marks the first time the entire basin has been seen with human eyes.
NASA tweet media
English
1.9K
14.3K
105.6K
6.6M
Javier Viñuales (@[email protected]) retweetledi
Andrej Karpathy
Andrej Karpathy@karpathy·
Wow, this tweet went very viral! I wanted share a possibly slightly improved version of the tweet in an "idea file". The idea of the idea file is that in this era of LLM agents, there is less of a point/need of sharing the specific code/app, you just share the idea, then the other person's agent customizes & builds it for your specific needs. So here's the idea in a gist format: gist.github.com/karpathy/442a6… You can give this to your agent and it can build you your own LLM wiki and guide you on how to use it etc. It's intentionally kept a little bit abstract/vague because there are so many directions to take this in. And ofc, people can adjust the idea or contribute their own in the Discussion which is cool.
Andrej Karpathy@karpathy

LLM Knowledge Bases Something I'm finding very useful recently: using LLMs to build personal knowledge bases for various topics of research interest. In this way, a large fraction of my recent token throughput is going less into manipulating code, and more into manipulating knowledge (stored as markdown and images). The latest LLMs are quite good at it. So: Data ingest: I index source documents (articles, papers, repos, datasets, images, etc.) into a raw/ directory, then I use an LLM to incrementally "compile" a wiki, which is just a collection of .md files in a directory structure. The wiki includes summaries of all the data in raw/, backlinks, and then it categorizes data into concepts, writes articles for them, and links them all. To convert web articles into .md files I like to use the Obsidian Web Clipper extension, and then I also use a hotkey to download all the related images to local so that my LLM can easily reference them. IDE: I use Obsidian as the IDE "frontend" where I can view the raw data, the the compiled wiki, and the derived visualizations. Important to note that the LLM writes and maintains all of the data of the wiki, I rarely touch it directly. I've played with a few Obsidian plugins to render and view data in other ways (e.g. Marp for slides). Q&A: Where things get interesting is that once your wiki is big enough (e.g. mine on some recent research is ~100 articles and ~400K words), you can ask your LLM agent all kinds of complex questions against the wiki, and it will go off, research the answers, etc. I thought I had to reach for fancy RAG, but the LLM has been pretty good about auto-maintaining index files and brief summaries of all the documents and it reads all the important related data fairly easily at this ~small scale. Output: Instead of getting answers in text/terminal, I like to have it render markdown files for me, or slide shows (Marp format), or matplotlib images, all of which I then view again in Obsidian. You can imagine many other visual output formats depending on the query. Often, I end up "filing" the outputs back into the wiki to enhance it for further queries. So my own explorations and queries always "add up" in the knowledge base. Linting: I've run some LLM "health checks" over the wiki to e.g. find inconsistent data, impute missing data (with web searchers), find interesting connections for new article candidates, etc., to incrementally clean up the wiki and enhance its overall data integrity. The LLMs are quite good at suggesting further questions to ask and look into. Extra tools: I find myself developing additional tools to process the data, e.g. I vibe coded a small and naive search engine over the wiki, which I both use directly (in a web ui), but more often I want to hand it off to an LLM via CLI as a tool for larger queries. Further explorations: As the repo grows, the natural desire is to also think about synthetic data generation + finetuning to have your LLM "know" the data in its weights instead of just context windows. TLDR: raw data from a given number of sources is collected, then compiled by an LLM into a .md wiki, then operated on by various CLIs by the LLM to do Q&A and to incrementally enhance the wiki, and all of it viewable in Obsidian. You rarely ever write or edit the wiki manually, it's the domain of the LLM. I think there is room here for an incredible new product instead of a hacky collection of scripts.

English
1.1K
2.8K
26.6K
7M
Javier Viñuales (@[email protected]) retweetledi
José Morón
José Morón@jmgmoron·
Aplaudo hasta que me duelan las manos por esta defensa de Nadal a Alcaraz. 🗣️ “No vamos a preocuparnos por dos derrotas. No tiene sentido. Viene de ganar el Open de Australia, tiene siete Grand Slams y es el número uno del mundo… ¿qué pasa, que va a ganar todos los partidos del año? Pues no, eso no va a ocurrir. Está dando al deporte español una cantidad de éxitos que hace veinte o treinta años eran difíciles de imaginar. No se le puede exigir más de lo que está dando. Por mucho éxito o por muy buen momento que atravieses, todo el mundo tiene derecho a tener un día en el que esté frustrado o cansado. Eso es completamente normal. Todos podemos tener un día en el que las cosas no salen bien o en el que estás más cansado de lo habitual. Es absolutamente respetable y, desde la perspectiva de otro deportista, aún más comprensible” QUÉ GRANDE, RAFA!!! 👏
José Morón tweet media
Español
69
713
7.1K
360.4K
Javier Viñuales (@[email protected]) retweetledi
Jorge Gómez
Jorge Gómez@pelotazo·
Respiraba aire cinco veces al día. No dormía. Esperaba. Contó hasta el infinito… dos veces. Hablaba en braille. Lo mordió una cobra y murió la cobra. La oscuridad le tenía miedo. Mataba dos piedras con un pájaro. Aplaudía con una mano. Hacía fuego con hielo. QEPD Chuck Norris
Jorge Gómez tweet media
Español
415
7.7K
42.6K
685.9K
Javier Viñuales (@[email protected]) retweetledi