Programming Deadlock
Kanalga Telegram’da o‘tish
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Ko'proq ko'rsatish1 867
Obunachilar
+224 soatlar
+47 kun
+3430 kun
Postlar arxiv
1 867
Mixin’ Up the ML Module System
https://people.mpi-sws.org/~rossberg/papers/Rossberg,%20Dreyer%20-%20Mixin%27%20Up%20the%20ML%20Module%20System.pdf
1 867
My Own Private Binary: An Idiosyncratic Introduction to Linux Kernel Modules
https://www.muppetlabs.com/~breadbox/txt/mopb.html
1 867
How OCaml type checker works -- or what polymorphism and garbage collection have in common
https://okmij.org/ftp/ML/generalization.html
1 867
Infinite λ-calculus and non-sensible models
http://people.dm.unipi.it/berardu/Art/1996Nonsensible/non-sensible.pdf
1 867
Understanding Machine Learning: From Theory to Algorithms
https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf
1 867
Denotational design with type class morphisms (extended version)
http://conal.net/papers/type-class-morphisms/type-class-morphisms-long.pdf
1 867
Abelian sandpile model (ASM): Encoding turing completeness on a sand castel
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model1 867
ATS Programming Language: Unleashing the Potentials of Types and Templates
https://ats-lang.sourceforge.net/1 867
Higher RAII, and the Seven Arcane Uses of Linear Types
https://verdagon.dev/blog/higher-raii-uses-linear-types
1 867
Repost from Programming Deadlock
LLVM MLIR: Multi-Level IR Compiler Framework
https://mlir.llvm.org/