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

Idris’ Internals https://docs.idris-lang.org/en/latest/reference/internals.html

1 789

A dependently-typed programming language with static memory management https://github.com/vekatze/neut

1 789

In defense of simple architectures https://danluu.com/simple-architectures/

1 789

DJI: The ART of obfuscation https://blog.quarkslab.com/dji-the-art-of-obfuscation.html

1 789

Compile-Time Garbage Collection by Necessity Analysis https://www.researchgate.net/publication/229062257_Compile-Time_Garbage_Collection_by_Necessity_Analysis

1 789

Chez Scheme https://cisco.github.io/ChezScheme/

1 789

A Unified Theory of Garbage Collection https://web.eecs.umich.edu/~weimerw/2012-4610/reading/bacon-garbage.pdf

1 789

Compiling History: A brief tour of C compilers https://www.deusinmachina.net/p/compiling-history-a-brief-tour-of

1 789

How Much Memory Do You Need to Run 1 Million Concurrent Tasks? https://pkolaczk.github.io/memory-consumption-of-async/

1 789

The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr. https://github.com/mortdeus/legacy-cc

1 789

The Erlang Runtime System https://blog.stenmans.org/theBeamBook/

1 789

The GHC Runtime System http://ezyang.com/jfp-ghc-rts-draft.pdf

1 789

Definitional Interpreters for Higher-Order Programming Languages John C. Reynolds https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other

1 789

Principles of Dependent Type Theory https://carloangiuli.com/courses/b619-sp24/notes.pdf

1 789

BuildKit in depth: Docker's build engine explained https://depot.dev/blog/buildkit-in-depth

1 789

Solving SAT via Positive Supercompilation https://hirrolot.github.io/posts/sat-supercompilation.html

1 789

WASM Playground https://observablehq.com/@chaosalchemist/wasm-playground

1 789

(How to Write a (Lisp) Interpreter (in Python)) https://norvig.com/lispy.html

1 789

A Beginner's Guide to Programming Language Academia https://ryanbrewer.dev/posts/beginners-guide-pl-academia.html

1 789

Heap Layers: a flexible infrastructure for composing high-performance memory allocators out of C++ layers https://github.com/emeryberger/Heap-Layers