🎯 Bit-Vector Algorithms - abnv · Scour

[2004.00731] Small object arguments, plus-construction, and left-exact localizations

arxiv.org·1h

↕️Bidirectional Types

Rare Events and Griffiths Phases in Topological Quantum Error Correction

arxiv.org·10h

🏰Capability Machines

Database Schema as Code Intelligence

dev.to·2d·

Discuss: DEV

📈Query Optimization

Fastfood: Approximate Kernel Expansions in Loglinear Time

dev.to·2d·

Discuss: DEV

🗺️Region Inference

Sampling the Oxford CS Library

blog.computationalcomplexity.org·6d·

Discuss: blog.computationalcomplexity.org

🗑️Stack Scanning GC

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·4d·

Discuss: Hacker News

🌊Reactive Languages

*Efficient Symbolic–Numerical Computation of Poisson Cohomology for Complex Algebraic Surfaces with Nodal Singularities* — ### Abstract Poisson cohomol...

freederia.com·4d

🔢Algebraic Datatypes

FreeBSD audio diagnostics and optimization

discoverbsd.com·5d

🛡️Capability VMs

Evaluating and mitigating the growing risk of LLM-discovered 0-days

red.anthropic.com·4d·

Discuss: Lobsters, Hacker News, Hacker News

🛡️Parser Security

*Quantum‑Resistant Cryptographic Hash Functions Based on the Colored Jones Polynomial of Knots*

freederia.com·5d

🔗Hash Functions

Raspberry Pico: Programming with PIO State Machines

admantium.com·4d

🤖Embedded Go

Easy 6502 by skilldrick

skilldrick.github.io·4d

📱Bytecode Design

Lessons from BF-Tree: Building a Concurrent Larger-Than-Memory Index in Rust

zhihanz.github.io·5d·

Discuss: Hacker News

🧠Memory Consistency

OSTEP Chapters 6,7

muratbuffalo.blogspot.com·5d·

Discuss: Blogger

💾Cache Algorithms

Performance Tip of the Week #93: Robots never sleep

abseil.io·2d

🏰Capability Machines

Tower of Structured Excited States from Measurements

link.aps.org·4d

✨Effect Inference

On the Promises of 'High-Assurance' Cryptography

symbolic.software·5d·

Discuss: Lobsters, Hacker News

🛡️Security Type Systems

A Ralph Loop for Reading: Beating GPT 5.2 with a 4k Context Window (and 4 GPUs)

stevehanov.ca·4d

🗺️Region Inference

deepmriprep: voxel-based morphometry preprocessing via deep neural networks

nature.com·4d

🗺️Region Inference

When cost models hit the wall clock

futhark-lang.org·6d

🔄Tail Call Analysis

Loading more...