A Practical Guide to Regular Expressions โ€“ Learn RegEx with Real Life Examples
freecodecamp.orgยท1d
๐Ÿ”RegEx Engines
Proving the Infinitude of Primes in Knuckledragger
philipzucker.comยท2d
๐ŸงฎTheorem Proving
Show HN: I built a professional PO file translation platform
tranzlyweb.comยท18hยท
Discuss: Hacker News
๐Ÿ‡ฏ๐Ÿ‡ตJapanese Computing
A tutorial for the Mercury programming language
sebastian.graphicsยท3dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Paper Review: Attention Is All You Need
theahura.substack.comยท2dยท
Discuss: Substack
๐Ÿš€SIMD Text Processing
Do Repetitions Matter? Strengthening Reliability in LLM Evaluations
arxiv.orgยท2h
๐Ÿง Intelligence Compression
GEAR: A General Evaluation Framework for Abductive Reasoning
arxiv.orgยท2h
๐Ÿ”ฎProof Search
FS-KAN: Permutation Equivariant Kolmogorov-Arnold Networks via Function Sharing
arxiv.orgยท2h
๐ŸงฌFunctional Programming
Singleton-Optimized Conformal Prediction
arxiv.orgยท2h
๐ŸงฎKolmogorov Bounds
SBFA: Single Sneaky Bit Flip Attack to Break Large Language Models
arxiv.orgยท1d
๐ŸงชBinary Fuzzing
Evaluating and Improving Cultural Awareness of Reward Models for LLM Alignment
arxiv.orgยท1d
๐Ÿง Intelligence Compression
AudioMoG: Guiding Audio Generation with Mixture-of-Guidance
arxiv.orgยท2h
๐ŸŽงLearned Audio
Death of the Novel(ty): Beyond n-Gram Novelty as a Metric for Textual Creativity
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Beyond RAG vs. Long-Context: Learning Distraction-Aware Retrieval for Efficient Knowledge Grounding
arxiv.orgยท1d
๐Ÿ”Information Retrieval
Brain-language fusion enables interactive neural readout and in-silico experimentation
arxiv.orgยท2h
๐Ÿ’ปLocal LLMs
OjaKV: Context-Aware Online Low-Rank KV Cache Compression with Oja's Rule
arxiv.orgยท1d
๐ŸŒŠStreaming Compression
FoodSEM: Large Language Model Specialized in Food Named-Entity Linking
arxiv.orgยท1d
๐Ÿ”Information Retrieval
GHOST: Hallucination-Inducing Image Generation for Multimodal LLMs
arxiv.orgยท2h
๐ŸŽ™๏ธWhisper