🧵 Concurrency Models - emschwartz · Scour

Optimal Single-Pass Streaming Lower Bounds for Approximating CSPs 🧠Inference Serving

arxiv.org·1h

Show HN: User-Friendly Persistent AI Memory Layer 🆕New AI

reflectmemory.com·5d·Hacker News

Atomic Operations in Go • Asaduzzaman Pavel 🔓Lock-Free Structures

iampavel.dev·7h·r/golang

Conway: Think Networks First, Actors Second 🌐Distributed systems

jan.wildeboer.net·2d·Hacker News

janaraj/volnix: A living world where agents exist as participants alongside NPCs, internal actors, real service APIs, budgets, policies, and consequences. 🔧Agent Tooling

github.com·2d·Hacker News

New AI video tool removes objects without breaking the laws of physics 🆕New AI

techxplore.com·5d

Reversing.Works 📑Inverted Indexes

reversing.works·1d

Daniel's Blog · The Case That More Openness Brings More Good to Society 🔓Economics of Open Source

danieltan.weblog.lol·1d·Hacker News

PGC-derived migrasomes couple PGC proliferation with migration 🍄Mycorrhizal Networks

nature.com·3d

Pausing AI Is the Best Answer to Post-Alignment Problems 👨‍💻AI Coding

lesswrong.com·1d

A new type of electrically driven artificial muscle fiber 🔬Chip Fabrication

news.mit.edu·3d

OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains 🔄Incremental Computation

arxiv.org·1h

The Free Market Lie: Why Switzerland Has 25 Gbit Internet and America Doesn't (sschueller.github.io) 🌐Municipal Broadband

news.ycombinator.com·6d·Hacker News

Mussels and mistletoe inspire design for sustainable materials 🌿Urban Foraging

phys.org·4d

Self-Sovereign Agent 🔧Agent Tooling

arxiv.org·1h

Electrofluidic fiber muscles could enable silent robotic systems ⏳Tech History

techxplore.com·3d

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor 🧵Concurrency

arxiv.org·5d

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🧮SMT Solvers

arxiv.org·4d

ANX: Protocol-First Design for AI Agent Interaction with a Supporting 3EX Decoupled Architecture 🔧Agent Tooling

arxiv.org·6d

Logical Robots: Declarative Multi-Agent Programming in Logica 🔧Agent Tooling

arxiv.org·4d

Loading more...