matt_d

32 ms·

961.
Fast and Efficient Emulation of Matrix Multiplication Using INT8 Matrix Engines(arxiv.org)
2 points by matt_d 1y ago|0 comments
962.
Analyzing Control Flow More Like a Human [video](wonks.github.io)
14 points by matt_d 1y ago|1 comments
963.
libsemigroups: C++ library for semigroups and monoids(github.com)
4 points by matt_d 1y ago|0 comments
964.
Type Universes as Kripke Worlds(doi.org)
2 points by matt_d 1y ago|0 comments
965.
Analysing Snapshot Isolation(muratbuffalo.blogspot.com)
5 points by matt_d 1y ago|0 comments
966.
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1(philipzucker.com)
2 points by matt_d 1y ago|0 comments
967.
Revisiting Clause Vivification [pdf](cs.cmu.edu)
2 points by matt_d 1y ago|0 comments
968.
40th Anniversary International Obfuscated C Code Contest IOCCC28 Winning Entries(ioccc.org)
2 points by matt_d 1y ago|2 comments
969.
Paralegal: Practical Static Analysis for Privacy Bugs(cs.brown.edu)
2 points by matt_d 1y ago|0 comments
970.
IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers(doi.org)
3 points by matt_d 1y ago|0 comments
971.
Morty: Scaling Concurrency Control with Re-Execution(muratbuffalo.blogspot.com)
2 points by matt_d 1y ago|0 comments
972.
tcmalloc's Temeraire: A Hugepage-Aware Allocator(paulcavallaro.com)
2 points by matt_d 1y ago|0 comments
973.
by matt_d 1y ago
See https://github.com/MattPD/cpplinks/blob/master/performance.t...
974.
Test Results for AMD Zen 5(agner.org)
255 points by matt_d 1y ago|79 comments
975.
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters(chapel-lang.org)
1 points by matt_d 1y ago|0 comments
976.
by matt_d 1y ago
Start here: "The Microarchitecture of Superscalar Processors," J.E. Smith and G.S. Sohi, Proc. IEEE, vol. 83 (1995) https://doi.org/10.1109/5.476078 https://courses.cs.washington.edu/courses&#
977.
Algorithms for Modern Processor Architectures(lemire.github.io)
290 points by matt_d 1y ago|58 comments
978.
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement(era.ed.ac.uk)
7 points by matt_d 1y ago|1 comments
979.
Semi-Automated Assembly Verification in Python Using Pypcode Semantics(philipzucker.com)
2 points by matt_d 1y ago|0 comments
980.
Dissecting the NVIDIA Blackwell Architecture with Microbenchmarks(arxiv.org)
2 points by matt_d 1y ago|0 comments
981.
Precise Exceptions in Relaxed Architectures(dl.acm.org)
3 points by matt_d 1y ago|0 comments
982.
Losing language features: some stories about disjoint unions(graydon2.dreamwidth.org)
3 points by matt_d 1y ago|0 comments
983.
BeePL: Correct-by-Compilation Kernel Extensions(arxiv.org)
4 points by matt_d 1y ago|0 comments
984.
Caches and Abstractions(parallelprogrammer.substack.com)
2 points by matt_d 1y ago|0 comments
985.
Formal Security & Verification of Cryptographic Protocol Implementations in Rust(eprint.iacr.org)
2 points by matt_d 1y ago|0 comments
986.
Types That Count: Journey across Qualitative and Quantitative Intersection Types(iris.unito.it)
3 points by matt_d 1y ago|0 comments
987.
Functional Abstract Interpretation(simon.peytonjones.org)
5 points by matt_d 1y ago|0 comments
988.
by matt_d 1y ago
Background: https://discourse.llvm.org/t/announcing-the-lifetime-safety-... Lifetime Analysis: Current Status > For those not already familiar, we’re working on a new lifetime analysis in Clang to catch issues like
989.
Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis(github.com)
42 points by matt_d 1y ago|1 comments
990.
Good Fun: Creating a Data-Oriented Parser/AST/Visitor Generator – DConf '24 [video](youtube.com)
2 points by matt_d 1y ago|0 comments

More ›