Integer overflow checking with C23
blog.gnoack.org·1d
💧Liquid Types
Flag this post
Never Use Text Pixelation To Redact Sensitive Information | Bishop Fox
bishopfox.com·1d
🧪Archive Fuzzing
Flag this post
The case against pgvector
simonwillison.net·3h
🗂️Vector Databases
Flag this post
Multi-Representation Attention Framework for Underwater Bioacoustic Denoising and Recognition
arxiv.org·19h
👂Psychoacoustic Coding
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·18h
🌐Edge Preservation
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·19h
🔗Concatenative Languages
Flag this post
Deep Neural Watermarking for Robust Copyright Protection in 3D Point Clouds
arxiv.org·19h
📐Geometric Hashing
Flag this post
Hou Tu Pranownse Inglish
zompist.com·1d·
Discuss: Hacker News
🗣️CMU Pronouncing
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
dev.to·10h·
Discuss: DEV
🦀Rust Borrowing
Flag this post
My Wishlist for PHP in 2026
stitcher.io·4d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·3h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·5h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·1d·
Discuss: Hacker News
⚖️Verification Calculi
Flag this post
D.J. Bernstein: The Good News Archive
aaronsw.com·1d·
Discuss: Hacker News
🔓Hacking
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·3d·
Discuss: Hacker News
🔨Compilers
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·5d·
Discuss: Substack
🧬Functional Programming
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·19h
🌀Fractal Compression
Flag this post
Why Multimodal AI Broke the Data Pipeline — And How Daft Is Beating Ray and Spark to Fix It
hackernoon.com·18h
🌊Streaming Algorithms
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·2d·
📟Terminal Typography
Flag this post