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'rsatish

AQSH10 600 Texnologiyalar & Aralashmalar31 185

1 791

Obunachilar

+124 soatlar

+107 kunlar

+4230 kunlar

912

Post ko'rishlar

~ 39624 soatlar

~ 47148 soatlar

50.95%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 791

Against essential and accidental complexity https://danluu.com/essential-complexity/

1 791

Infinite λ-calculus and non-sensible models http://people.dm.unipi.it/berardu/Art/1996Nonsensible/non-sensible.pdf

1 791

Understanding Machine Learning: From Theory to Algorithms https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf

1 791

Follow the Denotation https://reasonablypolymorphic.com/blog/follow-the-denotation/

1 791

Denotational design with type class morphisms (extended version) http://conal.net/papers/type-class-morphisms/type-class-morphisms-long.pdf

1 791

Sell yourself, Sell Your Work https://www.solipsys.co.uk/new/SellYourselfSellYourWork.html

1 791

Numberphile: Sandpiles https://youtu.be/1MtEUErz7Gg?si=JVJ9cFINnblQV0ZH

1 791

Abelian sandpile model (ASM): Encoding turing completeness on a sand castel https://en.m.wikipedia.org/wiki/Abelian_sandpile_model

1 791

ATS Programming Language: Unleashing the Potentials of Types and Templates https://ats-lang.sourceforge.net/

1 791

Higher RAII, and the Seven Arcane Uses of Linear Types https://verdagon.dev/blog/higher-raii-uses-linear-types

1 791

Programming Languages and Logics: Linear Types

1 791

Repost from Programming Deadlock

LLVM MLIR: Multi-Level IR Compiler Framework https://mlir.llvm.org/

1 791

Java is better than Rust https://youtu.be/JeoYA7wABAA?si=PQhdR7y0xQ4mOzbG

1 791

FFMPEG Assembly Language Lessons https://github.com/FFmpeg/asm-lessons

1 791

Principles of Cryptography https://principlesofcryptography.com/

1 791

FP²: Fully in-Place Functional Programming https://dl.acm.org/doi/pdf/10.1145/3607840

1 791

LADDER: Self-Improving LLMs Through Recursive Problem Decomposition https://arxiv.org/pdf/2503.00735

1 791

A functional quantum programming language https://people.cs.nott.ac.uk/psztxa/publ/qml.pdf

1 791

LANGSEC: Language-theoretic Security (The View from the Tower of Babel) http://langsec.org/

1 791

Neurosymbolic Programming with Scallop https://www.scallop-lang.org/