🔗 Linear Types - Handler4605 · Scour

A Categorical Semantics for Linear Logical Frameworks λType Theory

The Par Programming Language 📐Lean

par.run·3d·Hacker News, r/programming

Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based 🔓Lock-Free Structures

lobste.rs·1h·Lobsters

Gary Stevenson: “Your Kids Will Be Poorer Than You” ⚖️Ethics of Technology

youtube.com·16h

Behavior-Oriented Concurrency in Python: Lockless, Deadlockfree, Ownership-based 🔓Lock-Free Structures

microsoft.github.io·2d·Lobsters, Hacker News, Hacker News

Expanding OER with GenAI 🔧Linkers

er.educause.edu·51m

Thoroughly Modal Hypersequents 🔣Model Theory

consequently.org·3d

Bun is being ported from Zig to Rust 🦀Rust

Mapped: Where Young Americans Still Own Homes 📚Index Structures

visualcapitalist.com·1h

How to add a watermark to a PDF in Java (Tutorial) 🖼️WebGPU

blog.idrsolutions.com·20h

Here Are 72 New Vehicles With Financing As Low As 0.0% Interest 🧠Query Planners

forbes.com·20h

Motivation, Productivity Barriers, and Engineering Friction 🔐MVCC

pankajpipada.com·1d·Hacker News, r/coding, r/vibecoding

ptmx (4) Linux Manual Page 🌐XDP

systutorials.com·6d

I rebooted my router and busted Reddit’s favorite tech myth 🔄Cache Replacement

pcworld.com·22h

The Mirror Is Part of the Machine ⚙️Mechanical Sympathy

yusufaytas.com·2d·Hacker News

Vay CEO: The Plan to Replace Private Car Ownership 👑Leader Election

·5h

FOIA data reveals patterns of car ownership in DC ⚙️Database Internals

ggwash.org·20h

Kubernetes v1.36: Pod-Level Resource Managers (Alpha) 🔄Cache Replacement

kubernetes.io·6d

Navigating the complex LNP IP landscape 🧬Synthetic Biology

ipkitten.blogspot.com·1d·ipkitten.blogspot.com

Article: Beyond the Benchmark: A Metrics-Driven Approach to Sustained iOS Performance on Real Devices ⚙️Mechanical Sympathy

Log in to enable infinite scrolling