现已上线！2025 年 Telegram 研究 — 年度关键洞察 
Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 685
订阅者
+324 小时
+87 天
+3630 天
帖子存档
1 685
Normalization by evaluation and algebraic effects
https://danel.ahman.ee/papers/mfps13.pdf
1 685
Efficient normalization by evaluation
https://inria.hal.science/inria-00434283/document
1 685
Supercompiler HOSC 1.0: under the hood
https://keldysh.ru/papers/2009/source/prep2009_63_eng.pdf
1 685
Partial Computation of Programs
Yoshihiko Futamura
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/103401/1/0482-14.pdf
1 685
When should you choose C++ as your starting language?
https://steelph0enix.github.io/posts/choosing-first-language
1 685
Productive Coprogramming with Guarded Recursion
https://bentnib.org/productive.pdf
1 685
The Unreasonable Effectiveness of Multiple Dispatch
https://www.juliaopt.org/meetings/santiago2019/slides/stefan_karpinski.pdf
1 685
A Dependently Typed Calculus with Pattern Matching and Erasure Inference
https://dl.acm.org/doi/pdf/10.1145/3408973
1 685
Object-oriented design patterns in the kernel, part 2
https://lwn.net/Articles/446317/
1 685
Object-oriented design patterns in the kernel, part 1
https://lwn.net/Articles/444910/
1 685
A library with an encoding of higher kinded types in OCaml
https://github.com/janestreet/higher_kinded
1 685
FIFO Queues are ALL You Need for Cache Eviction
https://jasony.me/publication/sosp23-s3fifo.pdf
1 685
A Dialogue on Metasystem Transition
Valentin F. Turchin
http://pespmc1.vub.ac.be/Papers/Turchin/dialog.pdf
1 685
WasmGC: A new way to bring garbage collected programming languages efficiently to WebAssembly
https://v8.dev/blog/wasm-gc-porting1 685
Valgrind and GDB in close cooperation
https://www.redhat.com/en/blog/valgrind-and-gdb-close-cooperation
1 685
E. W. Dijkstra Archive: On the foolishness of "natural language programming"
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html1 685
Namespaced De Bruijn indices
https://www.haskellforall.com/2021/08/namespaced-de-bruijn-indices.html
