Adapting classical deception theory to cyber counterintelligence: challenges and opportunities
tandfonline.com·12h
🇸🇪Swedish Cryptanalysis
Prime Portraits
archive.bridgesmathart.org·2d
📐Mathematical Art
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·12h·
Discuss: Lobsters, Hacker News
🌐DNS Security
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Bounds
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.to·11h·
Discuss: DEV
🌈Spectroscopy
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·6d·
Discuss: Hacker News
🧮SMT Solvers
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·3d
🎯Performance Proofs
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·3d
💻Local LLMs
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Unlock Deep Learning Stability: Navigate the Activation Function Galaxy with 9 Dimensions!
dev.to·2h·
Discuss: DEV
🧠Machine Learning
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings