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
β€9π₯4
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.
π₯7
The keys to a successful Webassembly deployment
https://queue.acm.org/detail.cfm?id=3746171
https://queue.acm.org/detail.cfm?id=3746171
π2
Zig's New Async I/O
https://kristoff.it/blog/zig-new-async-io/
https://kristoff.it/blog/zig-new-async-io/
kristoff.it
Zig's New Async I/O
Asynchrony is not concurrency.
π¦3π1π₯΄1
Parse, Donβt Validate: Some C Safety Tips
https://www.lelanthran.com/chap13/content.html
https://www.lelanthran.com/chap13/content.html
π2
Hacking Coroutines into C
https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html
https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html
π2
Case study of over-engineered C++ code (Reimplementing C++ in Object Oriented C)
https://blog.kowalczyk.info/a-aiow/case-study-of-over-engineered-c-code.html
https://blog.kowalczyk.info/a-aiow/case-study-of-over-engineered-c-code.html
blog.kowalczyk.info
Case study of over-engineered C++ code
An example of how to simplify over-engineered C++ code
π3π€1
A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux
https://www.muppetlabs.com/~breadbox/software/tiny/teensy.html
https://www.muppetlabs.com/~breadbox/software/tiny/teensy.html
Ryan Fleury β Cracking the Code: Realtime Debugger Visualization Architecture β BSC 2025
https://youtu.be/_9_bK_WjuYY?si=Me3aMV7c2jI4F0x4
https://youtu.be/_9_bK_WjuYY?si=Me3aMV7c2jI4F0x4
YouTube
Ryan Fleury β Cracking the Code: Realtime Debugger Visualization Architecture β BSC 2025
Ryan Fleury's talk at BSC 2025 on the work he's been doing for the Rad Debugger.
Ryan's links:
- https://rfleury.com
- https://x.com/ryanjfleury
- https://github.com/EpicGamesExt/raddebugger
BSC links:
- https://BetterSoftwareConference.com
- https://xβ¦
Ryan's links:
- https://rfleury.com
- https://x.com/ryanjfleury
- https://github.com/EpicGamesExt/raddebugger
BSC links:
- https://BetterSoftwareConference.com
- https://xβ¦
π₯4πΏ2
simpler-lambda-calculus.pdf
662.6 KB
A Simpler Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/3294032.3294085
https://dl.acm.org/doi/pdf/10.1145/3294032.3294085
β€3π2π2
Engineering for Slow Internet
https://brr.fyi/posts/engineering-for-slow-internet
https://brr.fyi/posts/engineering-for-slow-internet
brr.fyi
Engineering for Slow Internet β brr
How to minimize user frustration in Antarctica.
π7π2β€1
polynomial-complexity-typing.pdf
1.6 MB
Checking Polynomial Time Complexity With Types
https://rd.springer.com/content/pdf/10.1007/978-0-387-35608-2_31.pdf
https://rd.springer.com/content/pdf/10.1007/978-0-387-35608-2_31.pdf
π2π1
Resizable structs in Zig
https://tristanpemble.com/resizable-structs-in-zig/
https://tristanpemble.com/resizable-structs-in-zig/
π2π₯1
Synthesis of Heap-Manipulating Programs from Separation Logic
https://gopiandcode.uk/logs/log-certified-synthesis.html
https://gopiandcode.uk/logs/log-certified-synthesis.html
gopiandcode.uk
Gopiandcode > logs > Goodbye C developers: The future of programming with certified program synthesis
π₯7
plai-v325.pdf
4.7 MB
π₯2
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Typeshttps://plv.mpi-sws.org/refinedc/
π₯2
A Minimalistic Verified Bootstrapped Compiler
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-
popl21.sigplan.org
A Minimalistic Verified Bootstrapped Compiler (Proof Pearl) (CPP 2021 - Certified Programs and Proofs) - POPL 2021
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematicsβ¦
π₯3