Languages ... by finite semigroups [generalised to] trees and graphs (2020)[pdf](mimuw.edu.pl)18 points by 082349872349872 2 years ago | 0 comments
Polycentric interstate federalism among the Yoruba of Nigeria (2022) [pdf](cosmosandtaxis.files.wordpress.com)40 points by brandonlc 3 years ago | 5 comments
SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)(paulgazzillo.com)79 points by g0xA52A2A 2 years ago | 14 comments
The Surprising Predictability of Long Runs (2012) [pdf](csun.edu)36 points by alexmolas 2 years ago | 10 comments
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf](users.cs.utah.edu)73 points by luu 2 years ago | 8 comments
![Screenshot of mimuw.edu.pl: Languages ... by finite semigroups [generalised to] trees and graphs (2020)[pdf]](https://hn.urlbox.com/shots/renders/2024/11/11/0eef0854-886b-4920-a55f-c5ace0ba6729.jpg)
![Screenshot of doc.ic.ac.uk: Algorithm = Logic and Control [pdf]](https://hn.urlbox.com/shots/renders/2024/11/6/318850ce-4a2c-49c5-b408-b2d54a0d50ca.jpg)
![Screenshot of cosmosandtaxis.files.wordpress.com: Polycentric interstate federalism among the Yoruba of Nigeria (2022) [pdf]](https://hn.urlbox.com/shots/renders/2023/9/22/243d114d-a892-4e40-87e5-559912a565e1.jpg)
![Screenshot of paulgazzillo.com: SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)](https://hn.urlbox.com/shots/renders/2024/3/9/57e5751d-6921-4758-80c8-bff8b956aca0.jpg)
![Screenshot of carstenfuehrmann.org: Abacus Machines [pdf]](https://hn.urlbox.com/shots/renders/2024/10/7/3becbd02-e8cc-4b9c-a79a-7d235ea0e1db.jpg)
![Screenshot of csun.edu: The Surprising Predictability of Long Runs (2012) [pdf]](https://hn.urlbox.com/shots/renders/2024/10/11/293d609f-e9f2-4fb5-aed4-e16f7904ab11.jpg)
![Screenshot of users.cs.utah.edu: High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]](https://hn.urlbox.com/shots/renders/2024/1/12/78d1c585-675c-4c2c-aedb-70347a6f1cea.jpg)