🌲 B-tree Variants - matmat · Scour

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

lwn.net·5d

🔗Topological Sorting

New Proposal Explores Machine Learning Assistance for Linux Kernel Behavior

linuxiac.com·3d

Paths of MySQL, vector search edition

notes.eatonphil.com·3d

🗂️Vector Search

Six stable kernels for Friday

lwn.net·4d

📊RISC-V Vectors

Differential Logic • 4

inquiryintoinquiry.com·3d

⚔️Lean Theorem

Unlocking the Power of Python Generators: A Comprehensive Guide

dev.to·3d·

Discuss: DEV

⚙️Parser Generators

Hello World: Algorithmic Trading & DeFi Logic

dev.to·2d·

Discuss: DEV

⚔️Lean Tactics

ByteHouse: A Cloud-Native OLAP Engine with Incremental Computation and Multi-Modal Retrieval

arxiv.org·1d

🗄️Database Sharding

The First Known Problem That Is FPT with Respect to Node Scanwidth but Not Treewidth

arxiv.org·2d

🧮Kolmogorov Complexity

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·4d

🤝Consensus Protocols

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·3d

🦀Rust Borrowing

Private Data Space Model

privatedata.space·6d

✅Format Verification

MicroBlaze MCS Seven-Segment Counter on Basys 3 FPGA

hackster.io·3d

⚡Homebrew CPUs

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·5d·

Discuss: Hacker News

💻Programming languages

C and C++ dependencies, don't dream it, be it!

nibblestew.blogspot.com·3d·

Discuss: Hacker News, nibblestew.blogspot.com, r/cpp

🔗Dependency Resolution

Splitwise alternative that makes sense

divvy.club·3d·

Discuss: Hacker News

🌳Trie Structures

Show HN: High-performance bidirectional list for React, React Native, and Vue

suhaotian.github.io·3d·

Discuss: Hacker News

🌀Brotli Internals

How I squeezed a BERT sentiment analyzer into 1GB RAM on a $5 VPS

mohammedeabdelaziz.github.io·3d·

Discuss: Hacker News

🌀Brotli Dictionary

Show HN: Routed Attention – 75-99% savings by routing between O(N) and O(N²)

zenodo.org·3d·

Discuss: Hacker News

📼Tape Combinators

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·3d·

Discuss: Hacker News

🦀Rust Macros

Loading more...