Firibgarlarga uchmang! Telemetrio bunday kanallarni topadi va belgilaydi 👉 Belgini ko‘rmoqchi bo‘lsangiz, obuna bo‘ling

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 630 Texnologiyalar & Aralashmalar32 825

Buy Ad

1 876

Obunachilar

+624 soatlar

+127 kun

+4030 kun

1 430

Post ko'rishlar

~ 41624 soatlar

~ 46848 soatlar

76.27%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 875

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

1 875

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

1 875

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

1 875

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

1 875

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

1 875

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

1 875

A Roadmap to Metacomputation by Supercompilation https://web.archive.org/web/20130628231908/http://repository.readscheme.org/ftp/papers/dagstuhl-pe96/02.pdf

1 875

Progress towards a GCC-based Rust compiler https://lwn.net/SubscriberLink/954787/41470c731eda02a4/

1 875

Bidirectional Elaboration of Dependently Typed Programs https://www.cs.mcgill.ca/~fferre8/papers/BidirectionalElaboration.pdf

1 875

Continuous Normalization for the Lambda-Calculus and Gödel’s T https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b42488e06239b71c12d429db1895063e25601e8b

1 875

Bidirectional Typing https://arxiv.org/pdf/1908.05839.pdf

1 875

Don’t Substitute Into Abstractions (Functional Pearl) https://benl.ouroborus.net/papers/2016-dsim/lambda-dsim-20160328.pdf

1 875

Elaboration with First-Class Implicit Function Types https://dl.acm.org/doi/pdf/10.1145/3408983

1 875

Contracts for Higher-Order Functions https://users.cs.northwestern.edu/~robby/pubs/papers/ho-contracts-icfp2002.pdf

1 875

Handlers in Action https://homepages.inf.ed.ac.uk/slindley/papers/handlers.pdf

1 875

A Polymorphic λ-calculus with Type:Type http://lucacardelli.name/Papers/TypeType.pdf

1 875

CPython Dynamic Dispatch Internals https://codeconfessions.substack.com/p/cpython-dynamic-dispatch-internals

1 875

Harder Drive: Hard drives we didn't want or need https://youtu.be/JcJSW7Rprio?si=xNG96RVJwc60IJUt

1 875

The Bologna Optimal Higher-order Machine https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1F2763B0F931680F9B15BDC750BEB343/S0956796800001994a.pdf/bologna_optimal_higherorder_machine.pdf

1 875

Compiling a Functional Language Luca Cardelli http://lucacardelli.name/Papers/CompilingML.A4.pdf