Не попадись на ботовода! Telemetrio знаходить і позначає такі канали мітками 👉 Хочеш бачити мітку, оформляй підписку

Programming Deadlock

Відкрити в Telegram

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

США10 683 Технології та додатки32 907

Buy Ad

1 870

Підписники

+124 години

+77 днів

+3830 днів

1 412

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

~ 41124 години

~ 46848 годин

75.55%

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

Немає даних

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

Ads index

beta

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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

1 874

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 874

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