C++ Seeding Surprises (2015)
pcg-random.orgยท13hยท
Discuss: Hacker News
๐Ÿ”ขBitwise Algorithms
I Built My Own Programming Language and its Virtual Machine In Python!
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท1d
๐Ÿ”Concolic Testing
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.orgยท1d
๐ŸŒ€Fractal Compression
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Tired of messy, sensitive, or suspicious data slowing down your ML projects?
dev.toยท1dยท
Discuss: DEV
โ›๏ธFile Carving
Unlocking Hyper-Security: The Power of AI in Multi-Modal Biometric Systems
dev.toยท1dยท
Discuss: DEV
๐ŸŽตSpectral Hashing
MMSearch-R1: Incentivizing LMMs to Search
arxiv.orgยท1h
๐Ÿ”BitFunnel
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.orgยท1h
โœ…Format Verification
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750885516953300๏ผ‰
dev.toยท8hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.toยท9hยท
Discuss: DEV
๐Ÿ› Language Design
Resource-Friendly Dynamic Enhancement Chain for Multi-Hop Question Answering
arxiv.orgยท2d
๐Ÿ”Information Retrieval
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.orgยท1h
๐Ÿ”—Parser Combinators
31 Best AI Automation Tools for 2025
dev.toยท23hยท
Discuss: DEV
โšกProof Automation
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.comยท1d
๐Ÿค–Grammar Induction
Machine Learning Fundamentals: active learning project
dev.toยท13hยท
Discuss: DEV
๐Ÿง Machine Learning
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท21hยท
Discuss: DEV
๐Ÿ“Error Bounds
Industrial Energy Disaggregation with Digital Twin-generated Dataset and Efficient Data Augmentation
arxiv.orgยท1h
๐Ÿง Machine Learning
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.orgยท1h
๐Ÿ“ŠQuantization
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏPerformance Proofs