Pinned toot

Hi types.pl,

I am a computer scientist interested in , concurrency theory applied to parallel systems.

My main research project deals with verifying safety and performance properties of kernels.

I write code for research mainly in and .

I am passionate about teaching. I am currently using Racket to teach functional programming and Coq to teach Intro to Theory of Computation.

I use this to share my own research findings, papers I like, and software that I find fun.

PS: I just migrated from mathstodon.xyz and I think I lost my posts.

CALL FOR PAPERS

The 39th International Conference on Logic Programming (ICLP 2023)

Imperial College London, UK

July 9 - 15, 2023

(*) ICLP 2023 will also mark the closing of the Year of Prolog celebrations.

IMPORTANT DATES

Abstract registration: January 23, 2023
Paper submission: January 31, 2023
Notification to authors: February 28, 2023
Final notifications: May 19, 2023
Camera-ready submission: May 26, 2023

iclp2023.imperial.ac.uk/

Interesting #CallForPapers just out : #FSCD2023 International Conference on Formal Structures for Computation and Deduction "covers all aspects of formal structures for computation and deduction from theoretical foundations to applications" easyconferences.eu/fscd2023/cf #logic #TheoreticalCS

Zotero continues to be the best reference manager around — #FOSS, made by scholars for scholars. Upcoming features (now available for beta testing) include automatic relinking of #mendeley citations, much faster #googledocs integration, and support for #latex math in notes

If you don't use a reference manager yet (or if you're using a for-profit one like Mendeley or EndNote) you can always give #Zotero a whirl: it's free and doesn't lock you in: zotero.org

#AcademicWriting

NABU Network was a computer system that existed in Canada from 1982 until 1985. Notably a NABU computer would use the cable network to download programs/games on the fly. It boasted a rudimentary form of streaming programs.

I find it fascinating that youtube.com/@DJSures is reverse engineering the communication protocol with a NABU computer to make it run programs again!

I found out about this computer through Adrian Black's wonderful channel: youtube.com/watch?v=HLYjZoShjy

@CapybaraWizard @peterb Here are folks I've found so far, still looking for more!

Agda sages
@agdakx
@amy
@MartinEscardo
@egbertrijke
@andrejbauer
@buchholtz

Agda but also galaxy-brain make your own PL CMU alums
@jonmsterling
@favonia

Mathematicians who use Agda and might mention it
@DavidJaz
@aws
@emilyriehl

Great follow for curated formalization and adjacent links:
@Jose_A_Alonso

Job Offer: KDE needs a software engineer. Come and work with our vibrant FLOSS projects and help build amazing software products!

ev.kde.org/resources/callforpr

operator precedence parsing was solved 100 years ago, y'all just cowards

Faial checks for absence of in kernels. New since our version is:
- a new frontend all written in OCaml (no more Python+Rust) we also have a new UI (sshot below)
- a new backend (invoke as a library, as a process)
- support for partial inputs (eg, missing includes)

My intent to have a bit of a codebase written in Python was to attract students. Turns out interested students are excited to learn .

Homework assignment for my students: prove in that the complement of a decidable language is decidable.

gitlab.com/umb-svl/turing/

The Journal of Open Source Software is a developer friendly, diamond/platinum open access journal for research software packages.

Committed to publishing quality research software with zero article processing charges or subscription fees.

joss.theoj.org/
#introduction

TheoretiCS, a new diamond-open-access journal in all areas of theoretical computer science: theoretics.episciences.org/

It is being run as an overlay of arXiv, through the Episciences platform for such overlays, with Javier Esparza and Uri Zwick as editors-in-chief and a large and distinguished editorial board.

Hi types.pl,

I am a computer scientist interested in , concurrency theory applied to parallel systems.

My main research project deals with verifying safety and performance properties of kernels.

I write code for research mainly in and .

I am passionate about teaching. I am currently using Racket to teach functional programming and Coq to teach Intro to Theory of Computation.

I use this to share my own research findings, papers I like, and software that I find fun.

PS: I just migrated from mathstodon.xyz and I think I lost my posts.

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.