🏷️ Pointer Tagging - hello · Scour

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·5h

🧮SMT Solvers

Dealing with alternatives

jemarch.net·1d

📦Binary Formats

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·15h·

Discuss: r/cpp

Union-Find Path Compression: A Visual Dry Run

dev.to·1d·

Discuss: DEV

📦Succinct Data Structures

GNU C Language Manual

gnu.org·14h

🔨Compiler Design

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·22h

🔬Static Analysis

Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors

towardsdatascience.com·20h

Uncovering Unfaithful CoT in Deceptive Models

lesswrong.com·8h

🛡️AI Security

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·17h·

Discuss: Hacker News

🪢Rope Data Structure

Making a Language

thunderseethe.dev·11h

🔨Compiler Design

CMind: An AI Agent for Localizing C Memory Bugs

arxiv.org·5h

abelianization of an additive category in nLab

ncatlab.org·17h

∘Category Theory

Memory layout matters: Reducing metric storage overhead by 4x in a Rust TSDB

baarse.substack.com·18h·

Discuss: r/rust

🏛️Region-Based Memory

Subterms Modulo Theories I

philipzucker.com·3d

🔍Type Inference

I Made Zig Compute 33 Million Satellite Positions in 3 Seconds. No GPU Required.

atempleton.dev·1d·

Discuss: Hacker News

A Guide to TF-IDF

pub.towardsai.net

·6h

How Does ChatGPT Work? A Guide for the Rest of Us

producttalk.org

·20h

💬Prompt Engineering

Iterative multi-word anagram solver

boulter.com·1d

🔤Suffix Automata

Letting the Tiger out of Its Cage: Bosonic Coding without Concatenation

link.aps.org·1d

⚛️Quantum Computing

Simple Sudoku Solvers SII, EI: Dyalog APL

blog.veitheller.de·2d

🧩Constraint Programming

Loading more...