tgindex
Programming Deadlock

Programming Deadlock

Статистика

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

Последний пост
15 авг.
Последнее чтение
15:42
Постов за неделю
6
Всего постов
23
Тип
открытый
Язык
английский
Категория
Новости и СМИ (по похожим)
В каталоге с
12 авг.
Подписчики
1 770
+8 за 4 дн.
Сутки
+5
+0,28%
Неделя
 
Месяц
 
Просмотров на пост
1 582
23 постов
Вовлечённость
89,4%
к подписчикам
Постов в день
0,9
всего 23
Упоминаний
5
каналов
Охват размещения
оценка
1/24сутки в ленте
772
1/48двое суток
884
1/72трое суток
954

Оценка по просмотрам недавних постов: пост набирает почти всё за первые сутки.

Посты

  • Unlocking everything on the CPU with DRAM scrambling https://github.com/xoreaxeaxeax/skitter-creek-bath-salts

  • XOR https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/xor/

  • Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecbook/

  • Domain-specific hyperspecialization (for SAT) https://c.mov/lymphosat/

  • Tail-call optimization in C is relatively recent https://lwn.net/Articles/1034703/

  • 9 авг.9901159

    The little book about OS development https://littleosbook.github.io

  • 9 авг.908127

    93% of Paint Splatters are Valid Perl Programs https://www.mcmillen.dev/sigbovik/2019.pdf

  • 3 авг.1 31469

    The Clockwise/Spiral Rule https://c-faq.com/decl/spiral.anderson.html

  • 21 июл.1 737319

    Compiling Pattern Matching to Good Decision Trees https://dl.acm.org/doi/pdf/10.1145/1411304.1411311

  • 20 июл.1 851626

    Coroutines Trilogy (C/C++) https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html

  • 9 июл.2 104314

    High-performance model counter https://github.com/meelgroup/ganak

  • 8 июл.2 402222

    A Final Return for OpenBSD Anti-Return-Oriented Programming Mitigations https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6869668

  • 5 июл.2 259951

    Introduction to Compilers and Language Design https://dthain.github.io/books/compiler/

  • 4 июл.2 046611

    Strictness Analysis using Abstract Reduction https://dl.acm.org/doi/pdf/10.1145/165180.165219

  • 28 июн.2 262512

    A passive self-correcting quantum memory in three dimensions https://arxiv.org/abs/2605.10943

  • 27 июн.2 10117

    Epsilon number (Georg Cantor) https://en.wikipedia.org/wiki/Epsilon_number

  • 26 июн.2 2301041

    Categories for the Working Hacker https://youtu.be/gui_SE8rJUM

  • 25 июн.2 0901726

    Memory Safe Inline Assembly https://fil-c.org/inlineasm

  • 21 июн.1 803210

    PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs https://fstar-lang.org/papers/pulsecore-indirection-2025.pdf

  • 21 июн.1 972924

    Generating Compiler Optimizations from Proofs https://rosstate.org/publications/proofgen/proofgen_tate_popl10_tr.pdf

Programming Deadlock — tgindex