Toots for jnpn@mastodon.social account

Written by jnpn on 2025-01-25 at 15:10

https://www.cs.uni-potsdam.de/wv/publications/DBLP_conf/kr/GebserGISSTV10.pdf

answer set programming for biological networks

=> More informations about this toot | View the thread

Written by jnpn on 2025-01-21 at 16:57

ast testing with unordered dicts somewhere in the logic is "fun"

[#]ast #parsing #grammar #test

=> More informations about this toot | View the thread

Written by jnpn on 2025-01-18 at 12:35

til about rowhammer

https://readings.owlfolio.org/a/chris-fallin/

=> More informations about this toot | View the thread

Written by jnpn on 2025-01-18 at 12:18

by https://github.com/cfallin/

=> More informations about this toot | View the thread

Written by jnpn on 2025-01-18 at 12:17

partial evaluation strikes again

https://arxiv.org/pdf/2411.10559

found on https://compilers.iecc.com/comparch/article/24-11-005

=> More informations about this toot | View the thread

Written by jnpn on 2025-01-17 at 19:35

who wants some #ocaml youtube channel ?

https://www.youtube.com/@FUNOCaml

[#]fun #fp

=> More informations about this toot | View the thread

Written by jnpn on 2025-01-15 at 17:30

bluestodon or mastosky ?

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-31 at 22:33

for some reason a lot of indian logic / combinatorics were revolving around sentences and linguistics

https://sanskrit.uohyd.ac.in/faculty/amba/PUBLICATIONS/Lectures/UoHyd/Material/Pingala.pdf

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-29 at 23:19

Maya is the emacs of 3d animation

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-28 at 17:09

Mentioned pueue task queue the other day. There's an emacs porcelain for it.

https://github.com/xFA25E/pueue

very sweet #emacs #lisp #queue

(https://github.com/Nukesor/pueue)

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-28 at 14:27

https://www.christo.sh/numbers-are-leaves/

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-27 at 17:33

pueue is a great little tool

https://github.com/Nukesor/pueue

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-25 at 13:41

Title of the day: "generatingfunctionology"

https://www2.math.upenn.edu/~wilf/gfologyLinked2.pdf

[#]enumeration

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-10 at 21:30

https://www.youtube.com/watch?v=3YwFHPFL20c

TCL / lisp talk

(sadly notebooks demos were too zoomed out)

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-09 at 18:39

https://foones.github.io/files/pub/2020-ICTAC-Semantics_of_a_Relational_Lambda_Calculus.pdf

relational lambda calculus

=> More informations about this toot | View the thread

Written by jnpn on 2024-12-08 at 23:39

another howard abrahams talk

https://www.youtube.com/watch?v=9eEtPnTknhQ

[#]emacs #emacsconf #2024

=> More informations about this toot | View the thread

Written by jnpn on 2024-11-29 at 22:22

another page from the previous blog by martin heinz, this time a nice one about recursive generators in python

https://martinheinz.dev/blog/88

just to warm up them neurons a bit

[#]python #lazy #recursion #stream

=> More informations about this toot | View the thread

Written by jnpn on 2024-11-24 at 21:23

• code in the debugger

• ok

https://github.com/susam/hello

ps: kragen/10

=> More informations about this toot | View the thread

Written by jnpn on 2024-11-20 at 22:41

Ah, Christian Schafmeister is still active

https://www.youtube.com/watch?v=fytGL8vzGeQ

[#]commonlisp #nanotechnology

=> More informations about this toot | View the thread

Written by jnpn on 2024-11-20 at 21:09

non linear chemistry

https://youtu.be/FPjpXiZ1rSY?t=438

warning: scary (but sfw) reaction

=> More informations about this toot | View the thread

=> This profile with reblog | Go to jnpn@mastodon.social account