TLA+ in Practice and Theory
https://pron.github.io/posts/tlaplus_part1
https://pron.github.io/posts/tlaplus_part1
Ron Pressler
TLA+ in Practice and Theory
Part 1: The Principles of TLA+
Part 1: The Principles of TLA+
TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.
❤2
2406.17455v2.pdf
498.7 KB
Smart Casual Verification of the Confidential Consortium Framework
https://arxiv.org/abs/2406.17455
https://arxiv.org/abs/2406.17455
Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidityhttps://osec.io/blog/2025-08-11-compiler-bug-causes-compiler-bug
OtterSec
Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity
A subtle G++ bug from 2012, C++20's new comparison rules, and legacy Boost code can collide to crash Solidity's compiler on valid code. We unpack the surprising chain reaction and how to fix it.
😱4
Without the futex, it's futile
https://h4x0r.org/futex/
https://h4x0r.org/futex/
h4x0r.org
Without the futex, it's futile | H4X0R****
Review: It's a history text, not a CS text
😭1
self-reflecting-language.pdf
192.8 KB
A Self-Reflecting Formal Language
https://arxiv.org/pdf/2302.09077v7
https://arxiv.org/pdf/2302.09077v7
👍3
AWS in 2025: The Stuff You Think You Know That’s Now Wronghttps://www.lastweekinaws.com/blog/aws-in-2025-the-stuff-you-think-you-know-thats-now-wrong/
Last Week in AWS
AWS in 2025: The Stuff You Think You Know That’s Now Wrong
One of the neat things about AWS is that it's almost twenty years old. One of the unfortunate things about AWS is... that it's almost twenty years old
🤔1🤯1
Vector Clock: A data structure used for determining the partial ordering of events in a distributed system and detecting causality violationshttps://en.wikipedia.org/wiki/Vector_clock
Wikipedia
Vector clock
algorithm for partial ordering of events and detecting causality in distributed systems
👍3🤔2
We need to seriously think about what to do with C++ modules
https://nibblestew.blogspot.com/2025/08/we-need-to-seriously-think-about-what.html?m=1
https://nibblestew.blogspot.com/2025/08/we-need-to-seriously-think-about-what.html?m=1
Blogspot
We need to seriously think about what to do with C++ modules
Note: Everything that follows is purely my personal opinion as an individual. It should not be seen as any sort of policy of the Meson buil...
😢1🥴1💅1
Memory Order: The Story Of Strongly Happens Before (C++)https://nekrozqliphort.github.io/posts/happens-b4/
Ryan Chung
Learner’s Notes: Memory Order Side Chapter - The Story Of Strongly Happens Before
Strongly Happens Before? It started innocently enough. I just wanted to brush up on C++ memory orderings. It’s been a while since I last stared into the abyss of std::atomic, so I figured, why not revisit some good ol’ std::memory_order mayhem?
🙏2
shared_ptr<T>: the (not always) atomic reference counted smart pointer (C++)https://snf.github.io/2019/02/13/shared-ptr-optimization/
snf.github.io
shared_ptr<T>: the (not always) atomic reference counted smart pointer · Snf's blog
👍1
Preserving Order in Concurrent Go Apps
https://destel.dev/blog/preserving-order-in-concurrent-go
https://destel.dev/blog/preserving-order-in-concurrent-go
Viktor Nikolaiev's blog
Preserving Order in Concurrent Go Apps: Three Approaches Compared
Concurrency breaks ordering by design, but sometimes we need both. Explore three methods to preserve order in concurrent Go applications, from standard ReplyTo channels to sophisticated permission passing, with benchmarks and real-world trade-offs.
👍2
Object-oriented design patterns (C)
https://oshub.org/projects/retros-32/posts/object-oriented-design-patterns-in-osdev
https://oshub.org/projects/retros-32/posts/object-oriented-design-patterns-in-osdev
OSHub - Hobby OS Projects
Object-oriented design patterns on OSHub
[My scheduler operations implementation]
A benefit of working on your own operating system is that you’re free from the usual "restraints" of coll...
A benefit of working on your own operating system is that you’re free from the usual "restraints" of coll...
🥴6👍2🔥2
Object-oriented design patterns in the Kernel (C)
https://lwn.net/Articles/444910/
https://lwn.net/Articles/444910/
LWN.net
Object-oriented design patterns in the kernel, part 1
Despite the fact that the Linux Kernel is mostly written in C, it makes broad use of some techn [...]
🔥4👍1
Don’t Build Multi-Agents
https://cognition.ai/blog/dont-build-multi-agents
https://cognition.ai/blog/dont-build-multi-agents
Cognition
Cognition | Don’t Build Multi-Agents
Frameworks for LLM Agents have been surprisingly disappointing. I want to offer some principles for building agents based on our own trial & error, and explain why some tempting ideas are actually quite bad in practice.
🥴4😐2
Indices, not Pointers (Zig)
https://joegm.github.io/blog/indices-not-pointers/
https://joegm.github.io/blog/indices-not-pointers/
👍6🥴5🤨2😱1
Spineful tagless G-machine in assembly (amd64). Uses GNU assembler macros.
https://git.e-x-a.org/exa/uskel/src/branch/master
https://git.e-x-a.org/exa/uskel/src/branch/master
forgejo@git.e-x-a.org
uskel
🤯3🙏2😍2
Writing a C compiler in 500 lines of Python
https://vgel.me/posts/c500/
https://vgel.me/posts/c500/
vgel.me
Writing a C compiler in 500 lines of Python
Blog about linguistics, programming, and my projects
❤4😐3🤨2👍1💅1