🛡️ Memory Safety - hello · Scour

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·5d

🔄Concurrency

To Consume or Reference in Rust

meejah.ca·4d

🦀Rust Lifetimes

Saving Buffers (GNU Emacs Lisp Reference Manual)

gnu.org·3d

Introduction to SAFE

safe-docs.erlang-solutions.com·6d

Why Interface + Factory? The Java Pattern That Makes Everything Replaceable

dev.to·2d·

Discuss: DEV

WritePolicyBench: Benchmarking Memory Write Policies under Byte Budgets

arxiv.org·6d

🌊Memory Bandwidth

Bitcoin Optech Newsletter #391

bitcoinops.org·4d

[$] Modernizing swapping: the end of the swap map

lwn.net·4d

Learning to Share: Selective Memory for Efficient Parallel Agentic Systems

arxiv.org·4d

🗺️Memory-Mapped Queues

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·5d

✓Formal Verification

Presentation: Expanding Swift from Apps to Services

infoq.com

·4d

Life at the Edge

asadk.com·2d·

Discuss: Hacker News

Recursive Deductive Verification: A framework for reducing AI hallucinations

news.ycombinator.com·1d·

Discuss: Hacker News

🌊CALM Theorem

Built a tiny fast library for catching obvious prompt injections

reddit.com·3d·

Discuss: r/golang

Evaluating and mitigating the growing risk of LLM-discovered 0-days

red.anthropic.com·4d·

Discuss: Lobsters, Hacker News, Hacker News

🔓Binary Exploitation

The end of "trust me bro" - confidential computing for everyone

stacker.news·4d

🔐SGX Enclaves

akshat666/ephemeral-first-security-framework: Security through transience, not just encryption

github.com·6d·

Discuss: Hacker News

🌳Merkle Trees

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·3d

In Depth – Memory Governance: The Achilles' Heel of Enterprise AI

yeasy.blogspot.com·6d·

Discuss: Hacker News

🧠Memory Models

Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla

sobolev.substack.com·6d·

Discuss: Substack

Loading more...