不要被骗子欺骗！Telemetrio 会找到并标记这些频道 👉 如果想查看标记，请订阅

Programming Deadlock

前往频道在 Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

显示更多

美国10 681 技术与应用32 949

Buy Ad

1 869

订阅者

+124 小时

+77 天

+3730 天

1 383

帖子浏览量

~ 41124 小时

~ 48448 小时

74.04%

参与率

无数据

每日帖子数

Ads index

beta

帖子存档

1 869

How OCaml type checker works -- or what polymorphism and garbage collection have in common https://okmij.org/ftp/ML/generalization.html

1 869

Better Firmware with LLVM/Clang https://interrupt.memfault.com/blog/arm-cortexm-with-llvm-clang

1 869

A comparison of arena libraries in Rust https://donsz.nl/blog/arenas/

1 869

Delimited continuations in operating systems https://okmij.org/ftp/continuations/ZFS/context-OS.pdf

1 869

Isometric Projection in Game Development https://pikuma.com/blog/isometric-projection-in-games

1 869

An experimental proof assistant based on a type theory for synthetic ∞-categories. https://github.com/rzk-lang/rzk

1 869

https://github.com/rzk-lang/rzk

1 869

Hashing Modulo Alpha-Equivalence https://arxiv.org/pdf/2105.02856

1 869

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter https://www.cs.tufts.edu/~nr/pubs/maniaws.pdf

1 869

Parallel programming facilities in OCaml https://ocaml.org/manual/5.2/parallelism.html

1 869

Type-Safe Modular Hash-Consing https://usr.lmf.cnrs.fr/~jcf/ftp/publis/hash-consing2.pdf

1 869

SSA is Functional Programming https://dl.acm.org/doi/pdf/10.1145/278283.278285

1 869

SSA is Functional Programming https://dl.acm.org/doi/pdf/10.1145/278283.278285

1 869

Ray Tracing in One Weekend Book Series https://github.com/RayTracing/raytracing.github.io

1 869

The Best Refactoring You've Never Heard Of https://www.youtube.com/watch?v=vNwukfhsOME

1 869

GitHub Roaster https://github-roast.pages.dev/

1 869

The Linux Kernel Module Programming Guide https://sysprog21.github.io/lkmpg/

1 869

Guix Tips and Common Mistakes https://lambdanil.github.io/Guix_Mistakes/

1 869

Crafting Interpreters https://craftinginterpreters.com/contents.html

1 869

The Functional Machine Calculus https://arxiv.org/abs/2212.08177