Programming Deadlock
الذهاب إلى القناة على Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
إظهار المزيد1 791
المشتركون
-124 ساعات
+77 أيام
+4230 أيام
أرشيف المشاركات
1 791
Programming and Reasoning with Algebraic Effects and Dependent Types
Edwin C. Brady
https://www.type-driven.org.uk/edwinb/papers/effects.pdf
1 791
Lone is a freestanding Lisp interpreter designed to run directly on top of the Linux kernel with full support for Linux system calls. It has zero dependencies, not even the C standard library.
https://github.com/lone-lang/lone
1 791
The Boolean Satisfiability Problem: an overview of solving techniques and applications
https://inria.hal.science/hal-03589602/file/ClementinTayou-mai2021.pdf
1 791
Features of a dream programming language: 3rd draft
https://magnemg.eu/features-of-a-dream-programming-language-3rd-draft
1 791
A context-based approach to proving termination of evaluation
https://ii.uni.wroc.pl/~mabi/papers/mfps09.pdf
1 791
Supercompiler HOSC 1.0: under the hood
https://keldysh.ru/papers/2009/source/prep2009_63_eng.pdf
1 791
Partial Computation of Programs
Yoshihiko Futamura
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/103401/1/0482-14.pdf
1 791
When should you choose C++ as your starting language?
https://steelph0enix.github.io/posts/choosing-first-language
1 791
The Unreasonable Effectiveness of Multiple Dispatch
https://www.juliaopt.org/meetings/santiago2019/slides/stefan_karpinski.pdf
1 791
A Dependently Typed Calculus with Pattern Matching and Erasure Inference
https://dl.acm.org/doi/pdf/10.1145/3408973
1 791
A library with an encoding of higher kinded types in OCaml
https://github.com/janestreet/higher_kinded
1 791
FIFO Queues are ALL You Need for Cache Eviction
https://jasony.me/publication/sosp23-s3fifo.pdf
1 791
A Dialogue on Metasystem Transition
Valentin F. Turchin
http://pespmc1.vub.ac.be/Papers/Turchin/dialog.pdf
