Latest posts
Programming Deadlock
5 Sept, 20:59
Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware https://dl.acm.org/doi/pdf/10.1145/2544173.2509546Programming Deadlock
3 Sept, 15:29
Specifications Don't Exist https://www.galois.com/articles/specifications-dont-existProgramming Deadlock
3 Sept, 11:23
Why You Should Learn To Program The Hard Way https://youtube.com/watch?v=Qf56xUKbx24YouTubeWhy You Should Learn To Program The Hard WayEven if it takes more time, learning to program the hard way using as few libraries and external dependencies as possible will make you more confident. Research shows that confident people make more money, so it also makes you rich. In this audio stream…Programming Deadlock
2 Sept, 17:09
Copy-and-Patch: Building a JIT https://transactional.blog/copy-and-patch/Programming Deadlock
31 Aug, 14:02
Why I chose OCaml as my primary language https://xvw.lol/en/articles/why-ocaml.htmlxvw.lolWhy I chose OCaml as my primary languageA detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.Programming Deadlock
19 Aug, 01:34
Schrödinger's TOCTOU: The binary you run is not the program you wrote https://github.com/xoreaxeaxeax/schrodingers-toctouGitHubGitHub - xoreaxeaxeax/schrodingers-toctou: The binary you run is not the program you wrote.The binary you run is not the program you wrote. Contribute to xoreaxeaxeax/schrodingers-toctou development by creating an account on GitHub.Programming Deadlock
19 Aug, 01:14
Larger than RAM Vector Indexes for Relational Databases https://planetscale.com/blog/larger-than-ram-vector-indexes-for-relational-databasesPlanetscaleLarger than RAM Vector Indexes for Relational Databases — PlanetScaleA new hybrid design for scalable vector indexes and a reference implementation in MySQLProgramming Deadlock
18 Aug, 14:13
gf2p8affineqb: Bit reversal https://wunkolo.github.io/post/2020/11/gf2p8affineqb-bit-reversal/wunkolo.github.iogf2p8affineqb: Bit reversalBit-reversing with the gf2p8affineqb instructionProgramming Deadlock
16 Aug, 20:56
Fear the Obj.magic https://gist.github.com/polytypic/4b6793782a7ed68debb3da8215b1d2b9GistFear the `Obj.magic`Fear the `Obj.magic`. GitHub Gist: instantly share code, notes, and snippets.Programming Deadlock
15 Aug, 06:13
Unlocking everything on the CPU with DRAM scrambling https://github.com/xoreaxeaxeax/skitter-creek-bath-saltsGitHubGitHub - xoreaxeaxeax/skitter-creek-bath-salts: Unlocking _everything_ on the CPU with DRAM scramblingUnlocking _everything_ on the CPU with DRAM scrambling - xoreaxeaxeax/skitter-creek-bath-saltsProgramming Deadlock
14 Aug, 15:21
XOR https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/xor/Programming Deadlock
13 Aug, 17:19
Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecbook/Programming Deadlock
11 Aug, 16:19
Domain-specific hyperspecialization (for SAT) https://c.mov/lymphosat/c.movDomain-specific hyperspecialization (for SAT) | c.movAn immune system for SAT solversProgramming Deadlock
10 Aug, 20:57
Tail-call optimization in C is relatively recent https://lwn.net/Articles/1034703/Programming Deadlock
9 Aug, 20:46
The little book about OS development https://littleosbook.github.iolittleosbook.github.ioThe little book about OS developmentProgramming Deadlock
8 Aug, 22:31edited
93% of Paint Splatters are Valid Perl Programs https://www.mcmillen.dev/sigbovik/2019.pdfProgramming Deadlock
3 Aug, 11:03
The Clockwise/Spiral Rule https://c-faq.com/decl/spiral.anderson.htmlProgramming Deadlock
21 Jul, 03:00
Compiling Pattern Matching to Good Decision Trees https://dl.acm.org/doi/pdf/10.1145/1411304.1411311Programming Deadlock
20 Jul, 13:51
Coroutines Trilogy (C/C++) https://www.chiark.greenend.org.uk/~sgtatham/coroutines.htmlProgramming Deadlock
9 Jul, 15:05
High-performance model counter https://github.com/meelgroup/ganakGitHubGitHub - meelgroup/ganak: High-performance model counterHigh-performance model counter. Contribute to meelgroup/ganak development by creating an account on GitHub.
Related Channels
Other channels in the same section of the catalogue.
