Travels, 10
cameroncounts.wordpress.com·8h
🎯Performance Proofs
derived set
ncatlab.org·8h
🧮Algebraic Archives
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·1h·
Discuss: Hacker News
📊Graph Databases
Threaded Code
muforth.dev·12h·
Discuss: Hacker News
🦀Rust Macros
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·14h·
Discuss: Hacker News
🧩WASM Modules
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·4d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·18h
💻Local LLMs
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·18h
🎙️Whisper
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·2d
📏Linear Logic
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.org·1d
✓Automated Theorem Proving
MFTCXplain: A Multilingual Benchmark Dataset for Evaluating the Moral Reasoning of LLMs through Hate Speech Multi-hop Explanation
arxiv.org·18h
⚙️Compression Benchmarking
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·4h·
Discuss: DEV
🌊Stream Processing
CodeMorph: Mitigating Data Leakage in Large Language Model Assessment
arxiv.org·1d
💻Local LLMs
Named Entity Recognition using Bidirectional LSTM and Conditional Random Fields
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
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