🔗 Linear Types - ghosh.debasish · Scour

Linear Constraints 🔧SMT Solvers

A Grounded Conceptual Model for Ownership Types in Rust 🖥️Systems Programming

dl.acm.org·12h·Lobsters

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔤PLT

pocketcasts.com·2d·Hacker News

std::unique_lock (3) Linux Manual Page 🖥️Systems Programming

systutorials.com·4h

Language Brain Teaser 🧮Denotational Semantics

braingle.com·1d

simplex-chat/simplex-chat v6.5.0 🦀Rust

A Grounded Conceptual Model for Ownership Types in Rust 🖥️Systems Programming

cacm.acm.org·6d·Hacker News, Hacker News

Big 12 reaches private capital deal to add $12.5M to conference, optional $30M in credit for schools 🕸️Graph Theory

·19h

Scroll-driven animations 🖱, legal ownership over AI code ⚖️, GitHub issues 📉 🤖Claude

Earlybird closes €360M Fund VIII, doubling down on deeptech and long-term ownership 🤖Claude

Stop Overthinking OT Security: The Total Cost of Ownership and Being Smart with Refreshes 🌐Distributed Systems

blogs.cisco.com·2d

New comment by zigzag312 in "Rust Memory Management: Ownership vs. Reference Counting" 🖥️Systems Programming

news.ycombinator.com·3d·Hacker News

Earlybird closes €360M Fund VIII, its largest ever, with a new perpetual ownership model and a deeptech-first thesis 🦎Zig Allocators

thenextweb.com·9h

ICSA Talk - 30/04/2026 | ICSA 🖥️Systems Programming

informatics.ed.ac.uk·1d

Trading Is Getting Younger, Ownership Is Getting Older 📜Constitutional AI

apollo.com·5d·Hacker News

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic 🧠Reasoning Models

Critical Briefing: home ownership headaches | Adam James Pollock 🦀Rust

thecritic.co.uk·1d

New Pacific Metals: 47% Insider Ownership And $4 Billion Of Silver (NYSE:NEWP) 🌲LSM Trees

seekingalpha.com

·1d

Why C Remains the Gold Standard for Cryptographic Software 🖥️Systems Programming

wolfssl.com·5d·Lobsters, Hacker News, r/C_Programming

std::unique_lock::operator= (3) Linux Manual Page 🖥️Systems Programming

systutorials.com·4h

Log in to enable infinite scrolling