اکنون در دسترس! پژوهش تلگرام ۲۰۲۵ — مهمترین بینشهای سال 
Programming Deadlock
رفتن به کانال در Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
نمایش بیشتر1 686
مشترکین
اطلاعاتی وجود ندارد24 ساعت
+67 روز
+3330 روز
آرشیو پست ها
1 686
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 686
The First Room-Temperature Ambient-Pressure Superconductor
https://arxiv.org/abs/2307.12008
1 686
Intel AVX10: Taking AVX-512 With More Features & Supporting It Across P/E Cores
https://www.phoronix.com/news/Intel-AVX10
1 686
Introducing Intel® Advanced Performance Extensions (Intel® APX)
https://www.intel.com/content/www/us/en/developer/articles/technical/advanced-performance-extensions-apx.html
1 686
Epigram: Practical Programming with Dependent Types
http://www.e-pig.org/downloads/epigram-notes.pdf
1 686
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
https://raw.githubusercontent.com/StanfordPL/stoke/develop/docs/papers/pldi19a.pdf
1 686
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
https://github.com/coin-or/minotaur1 686
A tutorial quantum interpreter in 150 lines of Lisp
https://www.stylewarning.com/posts/quantum-interpreter/?s=09
1 686
Someone crafted a redstone PC in Minecraft to play Minecraft inside Minecraft
https://www.pcgamer.com/minecraftception-redstone-pc-chungus/
1 686
Patching GCC to build Actually Portable Executables (Cosmopolitan)
https://ahgamut.github.io/2023/07/13/patching-gcc-cosmo/
1 686
Fixing Memory Leaks in Rust
https://onesignal.com/blog/solving-memory-leaks-in-rust/
1 686
On Maximizing Your Rust Code's Performance
https://jbecker.dev/research/on-writing-performant-rust
1 686
FloatZone: Accelerating Memory Error Detection Using the Floating Point Unit1 686
Vale's First Prototype for Immutable Region Borrowing
https://verdagon.dev/blog/first-regions-prototype
1 686
STOKE: A stochastic superoptimizer and program synthesizer
https://github.com/StanfordPL/stoke1 686
The History of the Development of the C Language
https://www.bell-labs.com/usr/dmr/www/chist.html
