📏 Linear Memory - abnv · Scour

Building a Universal Memory Layer for AI Agents: Architecture Patterns and Implementation

dev.to·3h·

Discuss: DEV

🧠Memory Models

Show HN: Deterministic symbolic memory layer for grounding LLMs

github.com·1d·

Discuss: Hacker News

🧠Memory Models

A quadratic lower bound for 2DFAs against one-way liveness

arxiv.org·1d

🎯Finite Automata

LeakLess: Selective Data Protection against Memory Leakage Attacks for Serverless Platforms

papers.cool·1d

💾Cache-Oblivious Algorithms

Right-sizes LLM models to your system's RAM, CPU, and GPU

news.ycombinator.com·1d·

Discuss: Hacker News

🖥️Minimal VMs

Neat representation of polymorphic data types

gist.github.com·1h·

Discuss: r/C_Programming

🧮Combinator Calculus

OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering

arxiv.org·5h

🧠Memory Consistency

komrad36/CRC: Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches

github.com·1d

📦Compact Data

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·17h

📈Monotonic Logic

Show HN: Valkey-powered semantic memory for Claude Code sessions

news.ycombinator.com·15h·

Discuss: Hacker News

🔗Lexical Scoping

AI memory gold rush sparks high-speed bot assault on DDR5 inventory

siliconangle.com·20h

🏷️Memory Tagging

Mitigating sybil attacks against locally differentially private truth discovery

sciencedirect.com·1d

🔢Bit Manipulation

Scoped Resources in C with `__attribute__((mulle_confined_loop))`

mulle-kybernetik.com·23h

🔀Control Structures

Optimizing Recommendation Systems with JDK’s Vector API

netflixtechblog.com·8h·

Discuss: Hacker News, r/programming

🔀SIMD Programming

QMSan: Efficiently Detecting Uninitialized Memory Errors During Fuzzing

papers.cool·1d

🗺️Region Inference

TurboSparse Efficiency: Achieving 97% Parameter Sparsity in Mixtral-47B

hackernoon.com·7h

🚀Tokenizer Performance

Disaggregated Prefill and Decode

research.perplexity.ai·12h

⏲️Embedded GC

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

Completing the formal proof of higher-dimensional sphere packing

math.inc·15h·

Discuss: Hacker News

🧮Combinator Calculus

Poking a 200-Line GPT Until It Breaks (So You Understand Bigger Models Better)

dev.to·10h·

Discuss: DEV

🪜Recursive Descent

Loading more...