Programming Deadlock

Відкрити в Telegram

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

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

1 790

Підписники

Немає даних24 години

+57 днів

+4230 день

931

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

~ 33224 години

~ 40848 годин

52.01%

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

Немає даних

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

Ads index

beta

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

1 790

Typed Design Patterns for the Functional Era https://arxiv.org/pdf/2307.07069.pdf

1 790

Functions are Vectors https://thenumb.at/Functions-are-Vectors/

1 790

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism https://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf

1 790

Time, Clocks, and the Ordering of Events in a Distributed System (Lamport) - Paper Review https://percisely.xyz/syncronicity

1 790

Building and operating a pretty big storage system called S3 https://www.allthingsdistributed.com/2023/07/building-and-operating-a-pretty-big-storage-system.html

1 790

Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity. https://austral-lang.org/

1 790

The First Room-Temperature Ambient-Pressure Superconductor https://arxiv.org/abs/2307.12008

1 790

Intel AVX10: Taking AVX-512 With More Features & Supporting It Across P/E Cores https://www.phoronix.com/news/Intel-AVX10

1 790

Introducing Intel® Advanced Performance Extensions (Intel® APX) https://www.intel.com/content/www/us/en/developer/articles/technical/advanced-performance-extensions-apx.html

1 790

Unicode is Hard https://mcilloni.ovh/2023/07/23/unicode-is-hard/

1 790

Epigram: Practical Programming with Dependent Types http://www.e-pig.org/downloads/epigram-notes.pdf

1 790

A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture https://raw.githubusercontent.com/StanfordPL/stoke/develop/docs/papers/pldi19a.pdf

1 790

Reimplementation of Coroutines for Go https://research.swtch.com/coro

1 790

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer https://github.com/coin-or/minotaur

1 790

A tutorial quantum interpreter in 150 lines of Lisp https://www.stylewarning.com/posts/quantum-interpreter/?s=09

1 790

Someone crafted a redstone PC in Minecraft to play Minecraft inside Minecraft https://www.pcgamer.com/minecraftception-redstone-pc-chungus/

1 790

Patching GCC to build Actually Portable Executables (Cosmopolitan) https://ahgamut.github.io/2023/07/13/patching-gcc-cosmo/

1 790

Fixing Memory Leaks in Rust https://onesignal.com/blog/solving-memory-leaks-in-rust/

1 790

On Maximizing Your Rust Code's Performance https://jbecker.dev/research/on-writing-performant-rust

1 790

FloatZone: Accelerating Memory Error Detection Using the Floating Point Unit