Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.com·17h·
Discuss: Lobsters
🎼Audio Lambda Calculus
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·5h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·2d
🔐Quantum Security
Probing AI Safety with Source Code
arxiv.org·7h
✨Effect Handlers
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·2d
📏Linear Logic
Multilingual innovation in LLMs: How open models help unlock global communication
developers.googleblog.com·2d
🌀Brotli Internals
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·2d
💻Local LLMs
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·14h·
Discuss: DEV
🦀Rust Borrowing
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·7h
⚙️Compression Benchmarking
A Complete Guide to Retrieval-Augmented Generation
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·2d
🔍Type Inference
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·1d
💻Local LLMs
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·7h
🧮Theorem Proving
Probabilistic and reinforced mining of association rules
arxiv.org·2d
🧠Learned Indexes
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.org·2d
🔤Character Classification