Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
https://arxiv.org/abs/2301.10061v3
https://arxiv.org/abs/2301.10061v3
arXiv.org
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Probabilistic couplings are the foundation for many probabilistic relational program logics and arise when relating random sampling statements across two programs. In relational program logics,...
👍2
Optimizing Rabin-Karp Hashing
https://mattsills.github.io/2024/03/02/rabin-karp/
https://mattsills.github.io/2024/03/02/rabin-karp/
👏2🤯1
What Cannot be Skipped About the Skiplist: A Survey of Skiplists and Their Applications in Big Data Systems
https://arxiv.org/abs/2403.04582v2
https://arxiv.org/abs/2403.04582v2
arXiv.org
What Cannot be Skipped About the Skiplist: A Survey of Skiplists...
Skiplists have become prevalent in systems. The main advantages of skiplists are their simplicity and ease of implementation, and the ability to support operations in the same asymptotic...
C++ Safety, in Context
https://herbsutter.com/2024/03/11/safety-in-context/
https://herbsutter.com/2024/03/11/safety-in-context/
Sutter’s Mill
C++ safety, in context
Scope. To talk about C++’s current safety problems and solutions well, I need to include the context of the broad landscape of security and safety threats facing all software. I chair the ISO C++ s…
💯3❤2🔥2👍1
Tagless-final embedding of (a subset of) C in OCaml
https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf
https://okmij.org/ftp/meta-programming/tutorial/genc.html#tf
okmij.org
Generating C
Heterogeneous metaprogramming: generating low-level language from a higher-level host language
🥴2💅1💊1
Dependently typed programming with singletons
https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs
👍1
Abstract interpretation: A semantics-based tool for program analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
https://www.researchgate.net/publication/234803097_Abstract_interpretation_A_semantics-based_tool_for_program_analysis
ResearchGate
(PDF) Abstract interpretation: A semantics-based tool for program analysis
PDF | Desirable mathematical background for this chapter includes basic concepts such as lattices, complete partial orders, homomorphisms, etc.the... | Find, read and cite all the research you need on ResearchGate
🔥1
Reflection and Metaprogramming in Smalltalk
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
https://m-sp.org/downloads/titech_programming_langauge_design.pdf
👍1
Experimental undelimited continuations in C via x86-64 assembly
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
https://github.com/cslarsen/callcc-c/blob/master/callcc.c
GitHub
callcc-c/callcc.c at master · cslarsen/callcc-c
Experimental undelimited continuations in C via x86-64 assembly - cslarsen/callcc-c
👍2
Build systems a la carte: theory and practice
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/
Simon Peyton Jones
Build systems a la carte: theory and practice
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones Published in Journal of Functional Programming, Vol 30(E11) View PDF Download BibTex
👍1🔥1👏1🤯1
CONS Should not CONS its Arguments, or, a Lazy Alloc is a Smart Alloc
https://www.cs.tufts.edu/~nr/cs257/archive/henry-baker/cons-lazy-alloc.pdf
https://www.cs.tufts.edu/~nr/cs257/archive/henry-baker/cons-lazy-alloc.pdf
👍2
Garbage Collection for Systems Programmers
https://bitbashing.io/gc-for-systems-programmers.html
https://bitbashing.io/gc-for-systems-programmers.html
Bit Bashing
Garbage Collection for Systems Programmers
Yet another programming blog. Thoughts on software and related misadventures.
👍2👌1