Последние посты
Programming Deadlock
5 сент., 20:59
Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware https://dl.acm.org/doi/pdf/10.1145/2544173.2509546Programming Deadlock
3 сент., 15:29
Specifications Don't Exist https://www.galois.com/articles/specifications-dont-existProgramming Deadlock
3 сент., 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 сент., 17:09
Copy-and-Patch: Building a JIT https://transactional.blog/copy-and-patch/Programming Deadlock
31 авг., 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 авг., 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 авг., 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 авг., 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 авг., 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 авг., 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 авг., 15:21
XOR https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/xor/Programming Deadlock
13 авг., 17:19
Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecbook/Programming Deadlock
11 авг., 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 авг., 20:57
Tail-call optimization in C is relatively recent https://lwn.net/Articles/1034703/Programming Deadlock
9 авг., 20:46
The little book about OS development https://littleosbook.github.iolittleosbook.github.ioThe little book about OS developmentProgramming Deadlock
8 авг., 22:31изменён
93% of Paint Splatters are Valid Perl Programs https://www.mcmillen.dev/sigbovik/2019.pdfProgramming Deadlock
3 авг., 11:03
The Clockwise/Spiral Rule https://c-faq.com/decl/spiral.anderson.htmlProgramming Deadlock
21 июл., 03:00
Compiling Pattern Matching to Good Decision Trees https://dl.acm.org/doi/pdf/10.1145/1411304.1411311Programming Deadlock
20 июл., 13:51
Coroutines Trilogy (C/C++) https://www.chiark.greenend.org.uk/~sgtatham/coroutines.htmlProgramming Deadlock
9 июл., 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.
