Explore

~lobsters ×
  • TLA+ Web Explorer

    Github url with docs is at https://github.com/will62794/tla-web Comments

  • LLVM is Smarter Than Me - sulami's blog

    I was reading Algorithms for Modern Hardware recently, specifically the chapter on SIMD, and was impressed...

  • 3 important things I overlooked during code reviews | Piglei

    Code review is a popular practice in software development. By incorporating human reviews before merging code...

  • screenshot

    pzuraq | On Signal Relays

    If you haven’t heard, Signals are a new proposal for the JavaScript language, and they’ve just...

  • What are you doing this weekend? | Lobsters

    Feel free to tell what you plan on doing this weekend and even ask for help...

  • screenshot

    Raw flux streams and obscure formats: Further work around imaging 5.25-inch floppy disks

    Leontien Talboom, Technical Analyst, Cambridge University LibraryChris Knowles, Digital Archivist, Churchill Archives CentreThis blog is a...

  • XZ/LZMA Worked Example Part 1: Range Coding

    This blog post is one of a five part series. Background XZ is a general purpose...