DeltaCompare 17.0.0 Release: Introducing Multithreading
deltaxignia.com·20h
△Delta Compression
The only ways to detect text written by ChatGPT
the-independent.com·20h
🔍Text Forensics
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
🧬Functional Programming
Deriving Rope the Proper Way
nor-blog.pages.dev·10h·
Discuss: Hacker News
📐Linear Algebra
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·1d·
Discuss: Hacker News, Hacker News
🕸️Neo4j
Show HN: We built an internal MCP to improve Plaid engineering's productivity
plaid.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Switching to Qwen3-30B-A3B-Instruct-2507 Significantly Improves Local Agent
hexeditreality.com·13h·
Discuss: Hacker News
🧪Binary Fuzzing
Investigating Structural Pruning and Recovery Techniques for Compressing Multimodal Large Language Models: An Empirical Study
arxiv.org·3d
🧠Machine Learning
Survey of NLU Benchmarks Diagnosing Linguistic Phenomena: Why not Standardize Diagnostics Benchmarks?
arxiv.org·3d
⚙️Compression Benchmarking
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·2d
🧮Theorem Proving
Parsec — Terminal-Based File Summarizer TUI in Go with Multi-language Support
reddit.com·12h·
Discuss: r/golang
🧠Lisp Dialects
DeepSieve: Information Sieving via LLM-as-a-Knowledge-Router
arxiv.org·2d
🔍Information Retrieval
I Tried LangGraph + Kimi K2 + Context Engineering & I’m REALLY Impressed!
dev.to·1d·
Discuss: DEV
🎙️Whisper
CUS-QA: Local-Knowledge-Oriented Open-Ended Question Answering Dataset
arxiv.org·1d
🧮Vector Embeddings
Language Arithmetics: Towards Systematic Language Neuron Identification and Manipulation
arxiv.org·1d
💻Local LLMs
FairReason: Balancing Reasoning and Social Bias in MLLMs
arxiv.org·3h
📏Linear Logic
Exploring Dynamic Parameters for Vietnamese Gender-Independent ASR
arxiv.org·3h
📄Document Phonetics
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·3d
🧮SMT Solvers
Semantic Caching with Spring AI & Redis
dev.to·22h·
Discuss: DEV
🌀Brotli Internals
The Mystery of the Claude 3 Tokenizer (2024)
tokencontributions.substack.com·2d·
Discuss: Substack
🧪Binary Fuzzing