Programming Deadlock

Відкрити в Telegram

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

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

1 790

Підписники

-124 години

+77 днів

+4230 день

938

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

~ 34824 години

~ 46448 годин

52.40%

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

Немає даних

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

Ads index

beta

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

1 789

Mesh: Compacting Memory Management for C++ https://github.com/plasma-umass/Mesh

1 789

Compacting the Uncompactable (C++) https://youtu.be/c1UBJbfR-H0?si=hEH75oJO85a27nUE

1 789

XFaaS: Hyperscale and Low Cost Serverless Functions at Meta https://www.micahlerner.com/2024/01/23/xfaas-hyperscale-and-low-cost-serverless-functions-at-meta.html

1 789

The C Bounded Model Checker: Criminally Underused https://www.philipzucker.com/cbmc_tut/

1 789

Profunctor optics, a categorical update https://arxiv.org/pdf/2001.07488.pdf

1 789

Unboxed data constructors or, how cpp decides a halting problem https://arxiv.org/pdf/2311.07369.pdf

1 789

The Essence of ML https://web.mit.edu/ghc/old.ghc/programatica/tools/semantics/Overloading/Related/essence-of-ML-mitchell.pdf

1 789

On The Type Structure of Standard ML https://web.archive.org/web/20170808093949id_/http://theory.stanford.edu/~jcm/papers/harper-mitch-TOPLAS-93.pdf

1 789

Typeful Normalization by Evaluation https://cedric.cnam.fr/~puechm/typeful.pdf

1 789

Higher-Order Modules and the Phase Distinction https://www-cs.stanford.edu/people/jcm/papers/harper-mm-90.pdf

1 789

Using Dependent Types to Express Modular Structure https://dl.acm.org/doi/pdf/10.1145/512644.512670

1 789

Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step (C++) https://www.youtube.com/watch?v=ncHmEUmJZf4

1 789

HyperTree Proof Search for Neural Theorem Proving https://arxiv.org/pdf/2205.11491.pdf

1 789

Abstract interpretation for type checking https://sci-hub.ru/10.1007/3-540-54444-5_108

1 789

Types as Abstract Interpretations https://dl.acm.org/doi/pdf/10.1145/263699.263744

1 789

Reified Lambda Functions https://www.artima.com/weblogs/viewpost.jsp?thread=277879

1 789

An Alternative to Closure Conversion and to Restricted Closures https://www.artima.com/weblogs/viewpost.jsp?thread=220920

1 789

Ephemerons: A New Finalization Mechanism https://dl.acm.org/doi/pdf/10.1145/263700.263733

1 789

Occam’s Razor in Metacomputation: the Notion of a Perfect Process Tree http://www.xoft.ru/~anklimov/papers/1993.Occam's.Razor.in.Metacompuation.pdf

1 789

Program transformation with metasystem transitions https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F0D67B654FB2C053A961551C357B92E9/S0956796800000757a.pdf/program_transformation_with_metasystem_transitions.pdf