C++ Shared Pointer Thread-Safety (via raymii) — discussion

#c++

What I wish I had known as a programmer moving to Berlin (by stip) — discussion

#culture

C++20 comparison in Qt (even with C++17) (via raymii) — discussion

#c++

Demystifying secure NFS (by jmmv) — discussion

#security #unix

Massive Text Embedding Benchmark (2022) (via kaycebasques) — discussion

#ai #pdf #performance #science

Principles of Dependent Type Theory (via juuso) — discussion

#pdf #plt

Long Distance Relationships (via calebhearth) — discussion

#practices

Writing secure Go code (via thombles) — discussion

#go #security

A conceptual model of ATProto and ActivityPub (via gsora) — discussion

#distributed

Atomic Attributes in Local-First Sync – Adam Wulf (via zmitchell) — discussion

#distributed

Object Pools (via JordiGH) — discussion

#games #retrocomputing

In Search of Types (via hwayne) — discussion

#historical #pdf #plt

jspin: GUI for running the SPIN model checker (via hwayne) — discussion

#formalmethods

Highlighting Text in Links with Text Fragments (by calebhearth) — discussion

#web

Why GCP is More Usable for Developers (by tonymet) — discussion

#devops #programming #security

swift-format GitHub Action (by calebhearth) — discussion

#swift #testing

HTML link, or button, that is the question / Marijke Luttekes (via noncrab) — discussion

#a11y #web

Parsing arguments in Rust with no dependencies (via emschwartz) — discussion

#practices #rust

We’re leaving Kubernetes (via drmorr) — discussion

#distributed #programming

Magical Fibonacci Formulae (via w0nder1ng) — discussion

#math