Martin Coll (@colltoaction) header
Martin Coll (@colltoaction) profile picture

Martin Coll

@colltoaction

Hyping hypergraphs 🇦🇷

 Buenos Aires
github.com/colltoaction
Joined October 2023
  • Tweets207
  • Following579
  • Followers89
32Media
Photo by Martin Coll (@colltoaction)Photo by Martin Coll (@colltoaction)Photo by Martin Coll (@colltoaction)Photo by Martin Coll (@colltoaction)Photo by Martin Coll (@colltoaction)Photo by Martin Coll (@colltoaction)Photo by Martin Coll (@colltoaction)Photo by Martin Coll (@colltoaction)
I'm happy to share my first paper ever. Thanks to my amazing collaborators for this opportunity🎉
NetScience (@net_science) profile pictureNetScience@net_science17 Jul 2025
HIF: The hypergraph interchange format for higher-order networks arxiv.org/abs/2507.11520
1
133
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
SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Language models have outpaced our ability to evaluate them effectively, but for their future development it is essential to study the frontier of their capabilities. We find real-world software...

arxiv.org
51
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
GitHub - titi-org/titi-cc: C Compiler using Lex & Yacc

GitHub - titi-org/titi-cc: C Compiler using Lex & Yacc

C Compiler using Lex & Yacc. Contribute to titi-org/titi-cc development by creating an account on GitHub.

github.com
1
2
5,373
New hypergraph library dropped nature.com/articles/s41599-0…

EasyHypergraph: an open-source software for fast and memory-saving analysis and learning of...

Humanities and Social Sciences Communications - EasyHypergraph: an open-source software for fast and memory-saving analysis and learning of higher-order networks

nature.com
1
58
A little rest from higher-order networks: I'm also doing some compiler work youtu.be/XKY4LLBwmmg
1
74
Save the date! June 2 at @NetSciConf I will be presenting the Hypergraph Interchange Format. netsci.nascol.net/abstracts/…

HIF: The Hypergraph Interchange Format for higher-order networks

A NetSci 2025 Satellite Workshop June 2, 2025, Maastricht, Netherlands

netsci.nascol.net
1
70
Come find me tomorrow for a demo of Interaction Nets in MLIR discourse.llvm.org/t/open-ml…
Open MLIR Meeting, April 10, 2025: Inet: Interaction Nets dialect

Open MLIR Meeting, April 10, 2025: Inet: Interaction Nets dialect

This Thursday, April 10, @colltoaction will present the Inet dialect for the interaction networks paradigm, adopted among others by HVM2 and Vine IVM. The call starts at 9am PDT, 4pm UTC, 6pm CEST....

discourse.llvm.org
2
65
✅ Adjoint School application
69
bills should be powers of 2 including negatives
64
Rethinking the original LISP paper with Hypergraph symbolic computation: github.com/colltoaction/writ…
writings/Widip/Widip.md at main · colltoaction/writings

writings/Widip/Widip.md at main · colltoaction/writings

Presentations, papers and other material with text sources - colltoaction/writings

github.com
68
US politics... then you remember que vivís en Argentina y se te pasa
1
62
UI design at its best youtu.be/TymwS5N95aY
1
56
so excited 🤩😍
Paolo Perrone (@PaoloPMath) profile picturePaolo Perrone@PaoloPMath31 Oct 2024
The Applied Category Theory Adjoint School 2025 is coming! golem.ph.utexas.edu/category…
64
Michael Nielsen: youtube.com/playlist?list=PL…
Quantum computing for the determined

Quantum computing for the determined

youtube.com
54
Linear Algebra but it's Quantum youtu.be/UWWdz3Nw8y0
1a - Pawel Sobocinski, Tutorial 1, "Graphical linear algebra"

1a - Pawel Sobocinski, Tutorial 1, "Graphical linear algebra"

Talk given as part of QPL 2015, Oxford, UKhttp://www.cs.ox.ac.uk/q...

youtube.com
67
Brenda Praggastis on open source hypergraph libraries youtu.be/Yf9-i8NRsvc
Visualize Hypergraphs with Open Source – Brenda Praggastis on...

Visualize Hypergraphs with Open Source – Brenda Praggastis on...

#18: Brenda Praggastis joins Arfon and Abby to discuss HyperNetX, a...

youtube.com
58
proyectos que SÍ. te ofrezco mi ayuda para probar Ututo y que tu compu vuele!
Ututo (@UtutoLinux) profile pictureUtuto@UtutoLinux18 Oct 2024
Sin mucho más preambulo, les compartimos la primer ISO de la versión Alfa de Ututo 11 (ayer cumplimos 24 años y queriamos festejarlo asi) Continua el hilo:
1
5
122
Ya lo tengo instalado, y ya estoy desarrollando Ututo en Ututo 🤩
Ututo (@UtutoLinux) profile pictureUtuto@UtutoLinux12 Oct 2024
¡Buen fin de semana! Ututo 11 ya tiene nombre... ¡Araucaria! (y van a tener nombres de plantas autoctonas de ahora más junto a números enteros) Les dejamos una captura de nuestra Live ISO que vamos a estar compartiendo para probar e instalar en algunos días ❤️
Image from Ututo (@UtutoLinux)
5
68
youtube.com/playlist?list=PL…
PLanQC 2024

PLanQC 2024

PLanQC 2024

youtube.com
28
Look how many countries can you fit in Argentina a24.com/actualidad/el-increi…
Image from Martin Coll (@colltoaction)
1
2
41

No more items