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
1
128
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
48
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
2
5,061
New hypergraph library dropped
nature.com/articles/s41599-0…
1
56
Martin Coll retweeted
more proof that trees are bad for syntax, and hypergraphs are better
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
1
2
13
503
A little rest from higher-order networks: I'm also doing some compiler work
piped.video/XKY4LLBwmmg
1
72
Save the date! June 2 at @NetSciConf I will be presenting the Hypergraph Interchange Format.
netsci.nascol.net/abstracts/…
1
69
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
12
22
318
42,662
Come find me tomorrow for a demo of Interaction Nets in MLIR
discourse.llvm.org/t/open-ml…
2
64
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…
1
2
117
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 🐈
piped.video/live/xBI03pvUn3w…
3
16
78
8,952
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
12
18
1,884
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…
12
14
4,055
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…
2
16
50
3,732
Rethinking the original LISP paper with Hypergraph symbolic computation: github.com/colltoaction/writ…
67
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.
6
24
202
9,681