derived set
ncatlab.org·18h
🧮Algebraic Archives
Golang and Let's Encrypt: a free software story
dotat.at·8h·
Discuss: Hacker News
🌳Archive Merkle Trees
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·3h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·12h·
Discuss: Hacker News
📊Graph Databases
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: Lobsters, Hacker News, r/golang
⬆️Lambda Lifting
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.com·9h·
Discuss: r/MachineLearning
🎯Gradual Typing
Cross-sensor self-supervised training and alignment for remote sensing
arxiv.org·1d
📊Learned Metrics
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.org·2d
✓Automated Theorem Proving
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·1d·
Discuss: DEV
🌊Stream Processing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
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·5h
🔍Information Retrieval
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·5h
📏Linear Logic
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·20h·
Discuss: DEV
🧠Machine Learning
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp