🏷️ Pointer Tagging - hello · Scour

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

arxiv.org·4h

🧮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

I'm Still Grinding LeetCode and These 8 Advanced Patterns Changed Everything 🚀

dev.to·1d·

Discuss: DEV

🔀Topological Sorting

GNU C Language Manual

gnu.org·14h

🔨Compiler Design

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·21h

🔬Static Analysis

Uncovering Unfaithful CoT in Deceptive Models

lesswrong.com·7h

🛡️AI Security

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

towardsdatascience.com·20h

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

CMind: An AI Agent for Localizing C Memory Bugs

arxiv.org·4h

Making a Language

thunderseethe.dev·11h

🔨Compiler Design

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

A Guide to TF-IDF

pub.towardsai.net

·5h

Subterms Modulo Theories I

philipzucker.com·3d

🔍Type Inference

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

producttalk.org

·19h

💬Prompt Engineering

Phase-space engineering and collective dynamics in memcomputing

link.aps.org·2h

🎴SIMD Shuffles

Iterative multi-word anagram solver

boulter.com·1d

🔤Suffix Automata

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

atempleton.dev·1d·

Discuss: Hacker News

Simple Sudoku Solvers SII, EI: Dyalog APL

blog.veitheller.de·2d

🧩Constraint Programming

Loading more...