Pinned Tweet
I'm happy to share my first paper ever. Thanks to my amazing collaborators for this opportunity🎉
HIF: The hypergraph interchange format for higher-order networks arxiv.org/abs/2507.11520
I've been implementing Mytilus support in mini-swe-agent and replicating SWE-bench. Models understand the production rules and write shell command pipelines using YAML as effectively as Bash scripts.
mini-swe-agent.com/latest/
arxiv.org/abs/2310.06770
I'm working on a C compiler where the intermediate representation is based on the single-instruction Run language by Dusko Pavlovic.
Most features are grammar transformations defined in Lex and Yacc files, and C for the remaining implementation.
github.com/titi-org/titi-cc
New hypergraph library dropped
nature.com/articles/s41599-0…
Martin Coll retweeted
more proof that trees are bad for syntax, and hypergraphs are better
Replying to @undebeha
trees are cool but even cooler are networks. to turn the tree into a graph I'm going to add links connecting each identifier to all other mentions of that identifier. now we have an abstract syntax graph! how fun
A little rest from higher-order networks: I'm also doing some compiler work
youtu.be/XKY4LLBwmmg
Save the date! June 2 at @NetSciConf I will be presenting the Hypergraph Interchange Format.
netsci.nascol.net/abstracts/…
Martin Coll retweeted
I'm actively looking for cofounders to build general-purpose, massively parallel computer architectures on the basis of Interaction Nets. If you're talented and have some experience in hardware design, compiler engineering or models of computation feel free to DM me
Come find me tomorrow for a demo of Interaction Nets in MLIR
discourse.llvm.org/t/open-ml…
Martin Coll retweeted
Curso Introducción a la Computación Cuántica, edición 2025, año internacional de la ciencia y la tecnología cuánticas.
academia.sadio.org.ar/introd…
Martin Coll retweeted
"Tensor Species" by @andrewdudzik 🧮🐒
A great talk at the @ToposInstitute Colloquium, overviewing our team's category-theoretic vision for understanding AI systems through CS primitives...
...casually algebrafying einsums and softmax in the process 🐈
youtube.com/live/xBI03pvUn3w…
Martin Coll retweeted
📢If you’re interested in Temporal Networks, consider joining the TENET satellite @NetSciConf in Maastricht!🔎We accept one-page abstracts concerning all aspects of temporal network theory, as well as real-world applications.
📅Deadline: February 7
info 👉🏻 tinyurl.com/27ntstep
Martin Coll retweeted
Another year, another edition!💥
Join #TopoNets25 at @NetSciConf in Maastricht and send us your work on higher-order networks: structure, dynamics, methods, inference, software, topology, #TDA, etc.
📅 Submit by Feb 7th to give a contributed talk:
sites.google.com/view/topone…
Martin Coll retweeted
HOI: A Python toolbox for high-performance estimation of Higher-Order Interdependencies from multivariate data 🚀
Congrats to @matte_blacks, @kNearNeighbors, @dan_marinazzo, @thomrobiglio, C Ferreyra, O Ates, M Ontivero-Ortega
Here is the link 🌐
joss.theoj.org/papers/10.211…
Rethinking the original LISP paper with Hypergraph symbolic computation: github.com/colltoaction/writ…
Martin Coll retweeted
Se viene "Sistemas dinamicos e inteligencia artificial aplicados al modelado de datos", version 2025, en el @Fisica_UBA de @Exactas_UBA ! Son 10 dias intensos, 10 temas, 10 colabs, para entender como y cuando usar IA, o sistemas dinamicos. Abro.













