E. W. Dijkstra Archive: On the foolishness of "natural language programming"https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html
👍2
Valgrind and GDB in close cooperation
https://www.redhat.com/en/blog/valgrind-and-gdb-close-cooperation
https://www.redhat.com/en/blog/valgrind-and-gdb-close-cooperation
Redhat
Valgrind and GDB in close cooperation
It used to be tricky to run GDB and connect Valgrind to it, but that’s not the case any more. The 3.21.0 Valgrind release brings new great features that allow using it and GDB much more easily and conveniently in a single terminal. In this article, I review…
👍3
WasmGC: A new way to bring garbage collected programming languages efficiently to WebAssemblyhttps://v8.dev/blog/wasm-gc-porting
👍3
Opusmodus: Common Lisp Music Composition System
https://opusmodus.com/
https://opusmodus.com/
A Dialogue on Metasystem Transition
Valentin F. Turchin
https://pespmc1.vub.ac.be/Papers/Turchin/dialog.pdf
Valentin F. Turchin
https://pespmc1.vub.ac.be/Papers/Turchin/dialog.pdf
FIFO Queues are ALL You Need for Cache Eviction
https://jasony.me/publication/sosp23-s3fifo.pdf
https://jasony.me/publication/sosp23-s3fifo.pdf
A library with an encoding of higher kinded types in OCaml
https://github.com/janestreet/higher_kinded
https://github.com/janestreet/higher_kinded
GitHub
GitHub - janestreet/higher_kinded: A library with an encoding of higher kinded types in OCaml
A library with an encoding of higher kinded types in OCaml - janestreet/higher_kinded
👍1
Object-oriented design patterns in the kernel, part 1
https://lwn.net/Articles/444910/
https://lwn.net/Articles/444910/
LWN.net
Object-oriented design patterns in the kernel, part 1
Despite the fact that the Linux Kernel is mostly written in C, it makes broad use of some techn [...]
👍3
Object-oriented design patterns in the kernel, part 2
https://lwn.net/Articles/446317/
https://lwn.net/Articles/446317/
LWN.net
Object-oriented design patterns in the kernel, part 2
In the first part of this analysis we looked at how the polymorphic side of object-oriented pro [...]
👍3
A Dependently Typed Calculus with Pattern Matching and Erasure Inference
https://dl.acm.org/doi/pdf/10.1145/3408973
https://dl.acm.org/doi/pdf/10.1145/3408973
👍1
The Unreasonable Effectiveness of Multiple Dispatch
https://www.juliaopt.org/meetings/santiago2019/slides/stefan_karpinski.pdf
https://www.juliaopt.org/meetings/santiago2019/slides/stefan_karpinski.pdf
👍2
When should you choose C++ as your starting language?
https://steelph0enix.github.io/posts/choosing-first-language
https://steelph0enix.github.io/posts/choosing-first-language
steelph0enix.github.io
When should you choose C++ as your starting language?
Short answer: probably never.
😎4👎2🤯1
Partial Computation of Programs
Yoshihiko Futamura
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/103401/1/0482-14.pdf
Yoshihiko Futamura
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/103401/1/0482-14.pdf
Supercompiler HOSC 1.0: under the hood
https://keldysh.ru/papers/2009/source/prep2009_63_eng.pdf
https://keldysh.ru/papers/2009/source/prep2009_63_eng.pdf
Efficient normalization by evaluation
https://inria.hal.science/inria-00434283/document
https://inria.hal.science/inria-00434283/document
Normalization by evaluation and algebraic effects
https://danel.ahman.ee/papers/mfps13.pdf
https://danel.ahman.ee/papers/mfps13.pdf