correct-lifting.pdf
1.1 MB
Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly
https://dl.acm.org/doi/pdf/10.1145/3658644.3690244
https://dl.acm.org/doi/pdf/10.1145/3658644.3690244
π A collection of resources about supercompilation
https://github.com/etiams/supercompilation-resources
https://github.com/etiams/supercompilation-resources
GitHub
GitHub - etiams/supercompilation-resources: π A collection of resources about supercompilation
π A collection of resources about supercompilation - etiams/supercompilation-resources
π₯3β€1π1π1
"Judging whether life is or is not worth living amounts to answering the fundamental question of philosophy. All the rest β whether or not the world has three dimensions, whether the mind has nine or twelve categories β comes afterwards. These are games; one must first answer." Albert Camus in The Myth of Sisyphus
https://arxiv.org/abs/2106.11285
https://arxiv.org/abs/2106.11285
π3π2πΏ1
linear-lambda-calculus.pdf
173.2 KB
Linear-algebraic Ξ»-calculus
https://arxiv.org/pdf/quant-ph/0501150
https://arxiv.org/pdf/quant-ph/0501150
π2
Maximize Cache Performance with this One Weird Trick: An Introduction to Cache-Oblivious Data Structures
https://rcoh.me/posts/cache-oblivious-datastructures/
https://rcoh.me/posts/cache-oblivious-datastructures/
rcoh.me
Maximize Cache Performance with this One Weird Trick: An Introduction to Cache-Oblivious Data Structures
If you read my recent post about Postgres you may have noted that Postgres operates primarily with fixed-size blocks of memory called βpages.β By default, Postgres pages are 8KB. This number is tuned to match operating system page sizes which are tuned toβ¦
π6
programs-as-singularities.pdf
1 MB
Programs as Singularities
https://arxiv.org/pdf/2504.08075
https://arxiv.org/pdf/2504.08075
πΎ4π€―1
Type Safe Generic Data Structures in C
https://danielchasehooper.com/posts/typechecked-generic-c-data-structures/
https://danielchasehooper.com/posts/typechecked-generic-c-data-structures/
Danielchasehooper
I Write Type Safe Generic Data Structures in C
I write type safe generic data structures in C using a technique that I havenβt seen elsewhere1. It uses unions to associate type information with a generic data structure, but weβll get to that. My approach works for any type of data structure: maps, arraysβ¦
β€2
mimalloc: A general purpose allocator with excellent performance characteristics. Initially developed by Daan Leijen for the runtime systems of the Koka and Lean languages.https://github.com/microsoft/mimalloc/
GitHub
GitHub - microsoft/mimalloc: mimalloc is a compact general purpose allocator with excellent performance.
mimalloc is a compact general purpose allocator with excellent performance. - microsoft/mimalloc
π4β€2π₯2πΏ1π‘1
Our small team vs millions of bots
https://www.fsf.org/blogs/sysadmin/our-small-team-vs-millions-of-bots
https://www.fsf.org/blogs/sysadmin/our-small-team-vs-millions-of-bots
www.fsf.org
Our small team vs millions of bots
π±2π¦1
upward-confluence.pdf
106.3 KB
Upward confluence in the interaction calculus
https://arxiv.org/pdf/1806.07275
https://arxiv.org/pdf/1806.07275
π1
visual-programming.pdf
127.3 KB
Visual Programming with Interaction Nets
https://repositorium.sdum.uminho.pt/bitstream/1822/14408/1/article_20.pdf
https://repositorium.sdum.uminho.pt/bitstream/1822/14408/1/article_20.pdf
π1π₯1
What is the Strict Aliasing Rule and Why do we care? (C/C++)
https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8
https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8
Gist
What is Strict Aliasing and Why do we Care?
What is Strict Aliasing and Why do we Care? GitHub Gist: instantly share code, notes, and snippets.
β€4
"Modern" C++ Lamentations
https://aras-p.info/blog/2018/12/28/Modern-C-Lamentations/
https://aras-p.info/blog/2018/12/28/Modern-C-Lamentations/
π’3
Functional abstract interpretation
https://simon.peytonjones.org/abs-den/
https://simon.peytonjones.org/abs-den/
Simon Peyton Jones
Functional abstract interpretation
Sebastian Graf PhD thesis, Karlsruhe University, Dec 2024. View PDF
π₯3
Strategies for very fast Lexers (C)
https://xnacly.me/posts/2025/fast-lexer-strategies
https://xnacly.me/posts/2025/fast-lexer-strategies
xnacly.me
Strategies for very fast Lexers
Making compilation pipelines fast, starting with the tokenizer
π₯7β€2π¦2
Evolutionary Computation Bestiary: A bestiary of evolutionary, swarm and other metaphor-based algorithmshttps://fcampelo.github.io/EC-Bestiary/
EC-Bestiary
Evolutionary Computation Bestiary
A bestiary of evolutionary, swarm and other metaphor-based algorithms
π₯2
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc.
https://github.com/veyselusta/programming-language-research
https://github.com/veyselusta/programming-language-research
GitHub
GitHub - veyselusta/programming-language-research: Research on theory of programming languages Ξ», compilers, interpreters, functionalβ¦
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc. - veyselusta/programming-language-research
β€8π₯3
maximal-sharing-letrec.pdf
922 KB
Maximal Sharing in the Lambda Calculus with letrec
https://dl.acm.org/doi/pdf/10.1145/2692915.2628148
https://dl.acm.org/doi/pdf/10.1145/2692915.2628148
π1
Writing a very simple JIT Compiler in about 1000 lines of C
https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html
https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html
Kuterdinel
Writing a very simple JIT Compiler in about 1000 lines of C
I demonstrate how you can write a simple JIT (Just In Time) compiler for x86 in about 1000 lines of C code.
π₯6
The keys to a successful Webassembly deployment
https://queue.acm.org/detail.cfm?id=3746171
https://queue.acm.org/detail.cfm?id=3746171
π1