Holger Dell

Associate Professor at IT University of Copenhagen
Theoretical Computer Science

[Holger Dell @holgerdell]

@ccanonne_ "Zoom is so great! Now you can easily participate in faculty meetings even when you are on a research retreat abroad."

[Holger Dell @holgerdell]

@ccanonne_ I do the same, sometimes choosing odd times (8:41am) to avoid suspicion.

[Holger Dell @holgerdell]

Looking for a job that matches your excitement about teaching, algorithms, complexity, and modern web development? Apply here for a position in our e-learning project: https://t.co/5zfgN7faFX

[Neeldhara 🐦|🐘 @neeldhara]

Exciting opportunity from @holgerdell (via DMANET).

For more information please visit:

https://t.co/UCqgjda1Qm

[Holger Dell @holgerdell]

@neeldhara Thanks for sharing!

[Holger Dell @holgerdell]

@thomasahle Also, it will be interesting to empirically analyze the model to see whether it contains the original circuit as a subcircuit somehow.

[Holger Dell @holgerdell]

@thomasahle Yes, and then prove a theorem about it, perhaps depending on the number of heads or types of layers being used.

[Holger Dell @holgerdell]

@neeldhara We plan to implement a "build tool" with which instructors can select the question generators they would like to use for their courses. We're early in development and open for ideas :)

[Holger Dell @holgerdell]

@neeldhara The exercises are generated by typescript programs with a well-defined interface. The generated questions are JSON-objects with markdown text that can be rendered by your front-end of choice (e.g., browser, pdflatex, etc.). Here are the exercises: https://t.co/GCFx7eKArn

[Holger Dell @holgerdell]

@JukkaSuomela @dblp_org You may also be interested in my (unmaintained) fork of a python program to pull information via doi or dblp key from dblp and other sources: https://t.co/W11IagaPD1 (Note that my changes are on branch refactor-cli).

[Holger Dell @holgerdell]

@neeldhara Cool! Next time that I have an urgent and important project that I can procrastinate on by instead updating my website, I might copy some of your ideas. :)

In my vision, there'll be little interactive visualizations of each research topic that I am interested in.

[PACE challenge @PACE_challenge]

The slides of the PACE 2022 (Directed Feedback Vertex Set) prize ceremony are available at https://t.co/V5OUjzN5cL

[Holger Dell @holgerdell]

@thomasahle @deliprao Inkscape can export to latex+pdf, see https://t.co/A9Q9TpQVrw. Main issue is that precise text alignment is difficult, because the Inkscape editor does not render latex text.

[Holger Dell @holgerdell]

@polylogblog but hey, at least you inbox is now at zero, right? 😆

[Holger Dell @holgerdell]

@abhatt2 @GregBodwin I forked and improved upon a python tool to automatically retrieve .bib data from unique identifiers (DBLP or doi). The tool needs some polish to make it user-friendly, but I don't have the time to maintain it. https://t.co/W11IagaPD1

[Holger Dell @holgerdell]

@Pseudomanifold Also try the tool ssh-audit: https://t.co/hbmdt7xTqK

[Holger Dell @holgerdell]

@guo_krystal @normalsubgroup Wait, @normalsubgroup also didn't use hard mode?

[Holger Dell @holgerdell]

@guo_krystal @normalsubgroup Ha, instead of signalling group membership to my tribe, my tweet unintentionally sent the opposite, honest signal.