🦞🌯 Lobster Roll

Stories by indolering

Why are true and false so large? (unix.stackexchange.com)
L 52 pts 15 comments by indolering Aug 26, 2020 unix Systems / Low-Level / OS thread
The World of OCR (C. 1960) [video] (youtube.com)
HN 25 pts 11 comments by indolering Dec 14, 2025 thread
"Why don't you use dependent types?" (lawrencecpaulson.github.io)
L 24 pts 8 comments by indolering Nov 3, 2025 formalmethods Programming Languages / CS Theory thread
StarMalloc: verified memory allocator (dl.acm.org)
L 15 pts 0 comments by indolering Jun 13, 2025 formalmethodssecurity Programming Languages / CS TheorySecurity / Privacy thread
LionsOS Design, Implementation and Performance (arxiv.org)
L 14 pts 0 comments by indolering Dec 18, 2025 formalmethodsosdevperformance Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / InfrastructureDesign / UX / Visualization thread
seL4 2025 Playlist (youtube.com)
L 13 pts 0 comments by indolering Sep 28, 2025 formalmethodsosdevsecurityvideo Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy thread
LionsOS Design, Implementation and Performance (arxiv.org)
HN 13 pts 0 comments by indolering Dec 18, 2025 thread
Fuzzcheck: structure + coverage guided fuzzing for Rust (github.com)
L 9 pts 0 comments by indolering Jan 14, 2021 rustsecurity Systems / Low-Level / OSSecurity / Privacy thread
Unikernels: The Next Stage of Linux's Dominance (dl.acm.org)
L 9 pts 27 comments by indolering May 16, 2020 linux Systems / Low-Level / OS thread
Almost all we know about Browser Security in one paper [2017] (cure53.de)
L 8 pts 0 comments by indolering Jul 4, 2018 browserssecurity Web DevelopmentSecurity / Privacy thread
NSA and IETF, part 3: Dodging the issues at hand (blog.cr.yp.to)
L 7 pts 14 comments by indolering Nov 25, 2025 cryptography thread
Update on JS verification tool JaVerT
L 6 pts 0 comments by indolering Feb 6, 2019 formalmethodsjavascript Web DevelopmentProgramming Languages / CS Theory thread
The authors (finally) published their code and sent me the following note: > Here's the link for a public repository with the POPL'19 version of JaVerT on GitHub: > >https://github.com/javert2/JaVerT2.0 > > You can also download our POPL artifact (in the form of a virtual machine) using the ...
TAG: Tagged Architecture Guide (dl.acm.org)
L 5 pts 6 comments by indolering Sep 13, 2022 hardwarepdfsecurity Security / PrivacyMaker / DIY / Hardware thread
The Ada++ Programming Language (adapplang.com)
L 5 pts 3 comments by indolering Apr 11, 2020 programmingsatire Programming (General)Programming Languages / CS Theory thread
Google: Software is never going to be able to fix Spectre-type bugs (arstechnica.com)
L 5 pts 1 comments by indolering Feb 24, 2019 pdfsecurity Programming (General)Security / Privacy thread
IELE: Formally verified Ethereum VM based on LLVM (runtimeverification.com)
L 5 pts 0 comments by indolering Nov 29, 2018 formalmethodsmerkle-trees Systems / Low-Level / OSProgramming Languages / CS TheoryCrypto / Blockchain thread
Report on Secure Compilation Research (drops.dagstuhl.de)
L 4 pts 5 comments by indolering Sep 13, 2022 compilersformalmethodspdfsecurity Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy thread
KOI8-R, a phonetic Russian text encoding based on Morse code: "Русский Текст" -> "rUSSKIJ tEKST" (en.wikipedia.org)
L 4 pts 0 comments by indolering Oct 25, 2020 culture Programming (General)Culture / Philosophy / History / Reading thread
Are CRDTs suitable for shared editing? (blog.kevinjahns.de)
L 4 pts 0 comments by indolering Aug 16, 2020 compsci Programming Languages / CS Theory thread
Optics vs copper interconnect technology from the perspective of Thunderbolt 3 (sci-hub.tw)
L 4 pts 1 comments by indolering Jul 27, 2020 hardware Maker / DIY / Hardware thread
TS*: Gradual Typing Embedded Securely in JavaScript [2014] (prosecco.gforge.inria.fr)
L 4 pts 1 comments by indolering May 29, 2018 formalmethodsjavascriptpdf Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
I can't find a source code repo, but I managed to track down a [slidedeck](https://www.slideserve.com/stamos/gradual-typing-embedded-securely-in-javascript) and a (broken) [tutorial](https://rise4fun.com/FStar/tutorial/tsStar) with some code samples.
Survey Paper: Formal Methods for Web Security (2016) (dais.unive.it)
L 4 pts 0 comments by indolering May 26, 2018 formalmethodspdfweb Web DevelopmentProgramming Languages / CS TheorySecurity / Privacy thread
DOI: [https://doi.org/10.1016/j.jlamp.2016.08.006](https://doi.org/10.1016/j.jlamp.2016.08.006)
CHERI: The Arm Morello Board (cl.cam.ac.uk)
L 3 pts 1 comments by indolering Apr 23, 2020 formalmethodshardwaresecurity Programming Languages / CS TheorySecurity / PrivacyMaker / DIY / Hardware thread
Approximate Normalization for Gradual Dependent Types (arxiv.org)
L 3 pts 0 comments by indolering Sep 18, 2019 formalmethodspdfplt Programming Languages / CS Theory thread
JaVerT 2.0: Symbolic Execution for JavaScript (doc.ic.ac.uk)
L 3 pts 0 comments by indolering Nov 30, 2018 formalmethodspdf Web DevelopmentProgramming Languages / CS Theory thread
They bury the lead a bit: JaVerT now has the ability to perform symbolic verification of contracts in the form of "tests" written in plain JavaScript. It's getting close to something that is usable by mortal developers.
SeL4 Summit 2024 Playlist (youtube.com)
L 2 pts 0 comments by indolering Mar 25, 2025 formalmethodssecurityvideo Programming Languages / CS TheorySecurity / Privacy thread
Trade-offs of Using Compilers for Java (AOT/JIT < JIT + Caching < JIT Server) (infoq.com)
L 2 pts 0 comments by indolering Sep 20, 2022 compilerscompscijavavideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
[Slides](https://drive.google.com/file/d/19yaYn4rMyD5E39ZDEchvTgQ_bDOTVZ5P/view?usp=sharing)
Are Code Contracts going to be supported in .NET Core going forwards? (2018) (github.com)
L 2 pts 2 comments by indolering Mar 3, 2021 dotnet Programming (General) thread
SafeStrings: Representing Strings as Structured Data (arxiv.org)
L 2 pts 1 comments by indolering Sep 18, 2019 pdfplt Programming Languages / CS Theory thread
Landlock: Userspace Sandboxing for Linux (landlock.io)
L 2 pts 0 comments by indolering Apr 15, 2019 linuxsecurity Systems / Low-Level / OSSecurity / Privacy thread
* Uses and extends eBPF, making it stackable with existing LSMs (like SELinux or AppArmor). * [Latest patch][LKML] revision submitted to the Linux kernel mailing list. * [FOSDEM 2018 talk][fosdem] with overview of Landlock and explainer on how per-file access control works. [LKML]: https://lkml...