Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·8h·
Discuss: Hacker News
📋DFDL
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·4d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing
End-to-End Spoken Grammatical Error Correction
arxiv.org·1d
🔍Z3 Parsing
QueueEDIT: Structural Self-Correction for Sequential Model Editing in LLMs
arxiv.org·1d
🔗Monadic Parsing
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·18h
💻Local LLMs
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·18h
🔗Topological Sorting
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·15h
⬆️Lambda Lifting
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·18h
🔍Concolic Testing
Detecting Machine-Generated Texts: Not Just "AI vs Humans" and Explainability is Complicated
arxiv.org·18h
🧮Kolmogorov Complexity
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
[R] [ClsToken, AvgPool] can be a poor choice for transformer embedding models
reddit.com·2d·
Discuss: r/MachineLearning
🌊Streaming Compression
Named Entity Recognition using Bidirectional LSTM and Conditional Random Fields
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
Programming Entry Level: how to interpreter
dev.to·23h·
Discuss: DEV
🔗Lisp
LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning
arxiv.org·2d
✓Automated Theorem Proving
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·1d
⚡Modern Compression
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic