Programming Deadlock

Відкрити в Telegram

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

США10 605 Технології та додатки31 117

1 791

Підписники

-124 години

+77 днів

+4230 день

938

Перегляди допису

~ 34824 години

~ 46448 годин

52.40%

Коефіцієнт залучення

Немає даних

Дописів на день

Ads index

beta

Архів дописів

1 790

OCaml for the Masses https://queue.acm.org/detail.cfm?id=2038036

1 790

Towards a Programming Language for Interaction Nets https://core.ac.uk/download/pdf/82392928.pdf

1 790

Go: What We Got Right, What We Got Wrong https://commandcenter.blogspot.com/2024/01/what-we-got-right-what-we-got-wrong.html

1 790

Interaction Nets Yves Lafont https://dl.acm.org/doi/pdf/10.1145/96709.96718

1 790

Solving SAT via interaction net superpositions https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615

1 790

Metavariables: their Implementation and Use in Program Transformation https://pat.keldysh.ru/~roman/doc/Turchin/1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.pdf

1 790

GCC JIT Library https://gcc.gnu.org/onlinedocs/jit

1 790

Convergence of program transformers in the metric space of trees https://www.sciencedirect.com/science/article/pii/S016764239900026X

1 790

A tutorial implementation of dynamic pattern unification https://adam.gundry.co.uk/pub/pattern-unify/pattern-unification-2012-07-10.pdf

1 790

Typelevel Brainfuck in Haskell; Brainfuck implemented solely in Haskell's type system https://github.com/toptobes/typefuck-haskell

1 790

Why is Idris 2 so much faster than Idris 1? https://www.type-driven.org.uk/edwinb/category/posts.html

1 790

A Self-Applicable Supercompiler http://refal.botik.ru/library/Nemytykh-Pinchuk-Turchin_A_Self-Applicable_Supercompiler_(LNCS_vol_1110,_1996,_pp_322-337).pdf

1 790

Time- and Size-Efficient Supercompilation https://www.diva-portal.org/smash/get/diva2:999818/FULLTEXT01.pdf

1 790

ITT-Flavored Calculus of Constructions Type Checker https://gist.github.com/VictorTaelin/dd291148ee59376873374aab0fd3dd78

1 790

Higher-order polymorphic lambda calculus (Fω) https://gist.github.com/Hirrolot/505901460f131da1f0cd8b118e46a7bc

1 790

Why I Use the GPL and Not Cuck Licenses https://lukesmith.xyz/articles/why-i-use-the-gpl-and-not-cuck-licenses/

1 790

Tailored Termination for Optimal Supercompilation https://www.cs.purdue.edu/homes/bendy/TailoredSuperOptimization/BespokeSO.pdf

1 790

The Quest Language and System Luca Cardelli http://lucacardelli.name/Papers/Notes/QuestManual.pdf

1 790

Handbook of Applied Cryptography https://cacr.uwaterloo.ca/hac/

1 790

Transaction Isolation in Postgres DataBase https://www.thenile.dev/blog/transaction-isolation-postgres