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
β€4
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.
π1π₯1
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
π1
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
β€1π₯1π1
BMI2, an x86-64 expansion of bit-manipulation instructions by Intel.
https://www.chessprogramming.org/BMI2
https://www.chessprogramming.org/BMI2
π2
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β¦
π6β€2π₯2π1π‘1
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
π2π1
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
π₯2π
2π€―1
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
πΎ6πΏ4π2π1
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
π1π₯1π€1
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
π1π€1
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
π1
type-theory-workbench.pdf
364.2 KB
Type Theory as a Language Workbench
https://arxiv.org/pdf/2301.12852
https://arxiv.org/pdf/2301.12852
π1