mcs.pdf
12.7 MB
Mathematics for Computer Science
https://courses.csail.mit.edu/6.042/spring18/mcs.pdf
https://courses.csail.mit.edu/6.042/spring18/mcs.pdf
GCC 16 Adding Support For GNU/Hurd On RISC-V Targets
https://www.phoronix.com/news/GCC-16-RISC-V-GNU-Hurd-Targets
https://www.phoronix.com/news/GCC-16-RISC-V-GNU-Hurd-Targets
Phoronix
GCC 16 Adding Support For GNU/Hurd On RISC-V Targets
GNU/Hurd has long struggled with hardware support and is still working on its x86_64 support while having a host of various hardware limitations but it also appears they are eager to explore Hurd on RISC-V platforms.
Detecting if an expression is constant in C
https://nrk.neocities.org/articles/c-constexpr-macro
https://nrk.neocities.org/articles/c-constexpr-macro
nrk.neocities.org
Detecting if an expression is constant in C
Designing a SIMD Algorithm from Scratch (Rust)
https://mcyoung.xyz/2023/11/27/simd-base64/
https://mcyoung.xyz/2023/11/27/simd-base64/
mcyoung.xyz
Designing a SIMD Algorithm from Scratch · mcyoung
BMI2, an x86-64 expansion of bit-manipulation instructions by Intel.
https://www.chessprogramming.org/BMI2
https://www.chessprogramming.org/BMI2
The quest for the fastest linked list
https://johnnysswlab.com/the-quest-for-the-fastest-linked-list/
https://johnnysswlab.com/the-quest-for-the-fastest-linked-list/
Johnny's Software Lab
The quest for the fastest linked list - Johnny's Software Lab
Linked lists are celebrity data structures of software development. They are celebrities because every engineer has had something to do with them in one part of their career. They are used in many places: from low-level memory management in operating systems…
explicit-level-imports.pdf
315.7 KB
Explicit Level Imports (GHC)
https://www.well-typed.com/blog/aux/files/explicit-level-imports.pdf
https://www.well-typed.com/blog/aux/files/explicit-level-imports.pdf
2404.04552v3.pdf
346.5 KB
Fast and Simple Sorting Using Partial Information
https://arxiv.org/abs/2404.04552
https://arxiv.org/abs/2404.04552
Optimizations in C++ Compilers
https://queue.acm.org/detail.cfm?id=3372264
https://queue.acm.org/detail.cfm?id=3372264
queue.acm.org
Optimizations in C++ Compilers - ACM Queue
There
Structure and Interpretation of Computer Programs (SICP)
https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html
https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html
computation-by-interaction.pdf
429.8 KB
Computation by Interaction for Space-Bounded Functional Programming
https://www.ulrichschoepp.de/Docs/intml_long.pdf
https://www.ulrichschoepp.de/Docs/intml_long.pdf
implicit-complexity.pdf
352.8 KB
Implicit computation complexity in higher-order programming languages
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0E9A155F520EA7294C6A64F039479D33/S0960129521000505a.pdf
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0E9A155F520EA7294C6A64F039479D33/S0960129521000505a.pdf
3-SAT-2-2-NP.pdf
186.4 KB
Monotone 3-Sat-(2,2) is NP-complete
https://arxiv.org/pdf/1912.08032
https://arxiv.org/pdf/1912.08032
SAT-linear.pdf
471.9 KB
Selecting and covering colored points
https://www.sciencedirect.com/science/article/pii/S0166218X18302695
https://www.sciencedirect.com/science/article/pii/S0166218X18302695