derived set
ncatlab.org·23h
🧮Algebraic Archives
Golang and Let's Encrypt: a free software story
dotat.at·12h·
Discuss: Hacker News
🌳Archive Merkle Trees
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·8h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·17h·
Discuss: Hacker News
📊Graph Databases
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
Mind the Gap: Assessing Wiktionary's Crowd-Sourced Linguistic Knowledge on Morphological Gaps in Two Related Languages
arxiv.org·2d
🔤Morphological Analysis
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
End-to-End Spoken Grammatical Error Correction
arxiv.org·2d
🔍Z3 Parsing
Biomed-Enriched: A Biomedical Dataset Enriched with LLMs for Pretraining and Extracting Rare and Hidden Content
arxiv.org·10h
🔍Information Retrieval
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·10h
📏Linear Logic
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Technical Challenges and Solutions in AI Tarot System Development Using Claude 3.7
dev.to·6h·
Discuss: DEV
🌊Stream Processing
LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning
arxiv.org·3d
✓Automated Theorem Proving
Self-referential structs that can actually move in Rust
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Detecting Machine-Generated Texts: Not Just "AI vs Humans" and Explainability is Complicated
arxiv.org·1d
🧮Kolmogorov Complexity
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·1d
💻Local LLMs
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·1d
🧠Intelligence Compression
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·14h·
Discuss: DEV
λLambda Encodings