Programming Deadlock

Открыть в Telegram

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

Больше

США10 584 Технологии и приложения31 239

1 790

Подписчики

+424 часа

+117 дней

+4330 день

1 001

Просмотры поста

~ 40424 часа

~ 47348 часов

55.95%

Коэффициент вовлеченности

Нет данных

Постов в день

Ads index

beta

Архив постов

1 791

Synthesis of Heap-Manipulating Programs from Separation Logic https://gopiandcode.uk/logs/log-certified-synthesis.html

1 791

Resizable structs in Zig https://tristanpemble.com/resizable-structs-in-zig/

1 791

Checking Polynomial Time Complexity With Types https://rd.springer.com/content/pdf/10.1007/978-0-387-35608-2_31.pdf

1 791

Engineering for Slow Internet https://brr.fyi/posts/engineering-for-slow-internet

1 791

A Simpler Lambda Calculus

1 791

Ryan Fleury – Cracking the Code: Realtime Debugger Visualization Architecture – BSC 2025 https://youtu.be/_9_bK_WjuYY?si=Me3aMV7c2jI4F0x4

1 791

A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html

1 791

Case study of over-engineered C++ code (Reimplementing C++ in Object Oriented C) https://blog.kowalczyk.info/a-aiow/case-study-of-over-engineered-c-code.html

1 791

Hacking Coroutines into C https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html

1 791

Parse, Don’t Validate: Some C Safety Tips https://www.lelanthran.com/chap13/content.html

1 791

Zig's New Async I/O https://kristoff.it/blog/zig-new-async-io/

1 791

The keys to a successful Webassembly deployment https://queue.acm.org/detail.cfm?id=3746171

1 791

Writing a very simple JIT Compiler in about 1000 lines of C https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html

1 791

Maximal Sharing in the Lambda Calculus with letrec https://dl.acm.org/doi/pdf/10.1145/2692915.2628148

1 791

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. https://github.com/veyselusta/programming-language-research

1 791

Evolutionary Computation Bestiary: A bestiary of evolutionary, swarm and other metaphor-based algorithms https://fcampelo.github.io/EC-Bestiary/

1 791

Strategies for very fast Lexers (C) https://xnacly.me/posts/2025/fast-lexer-strategies

1 791

Functional abstract interpretation https://simon.peytonjones.org/abs-den/

1 791

"Modern" C++ Lamentations https://aras-p.info/blog/2018/12/28/Modern-C-Lamentations/

1 791

What is the Strict Aliasing Rule and Why do we care? (C/C++) https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8