derived set
ncatlab.org·1d
🧮Algebraic Archives
Golang and Let's Encrypt: a free software story
dotat.at·17h·
Discuss: Hacker News
🌳Archive Merkle Trees
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·12h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
CSS Functions and Mixins Module
w3.org·4h·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·21h·
Discuss: Hacker News
📊Graph Databases
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·2d·
Discuss: Hacker News
💻Local LLMs
Show HN: Clip All King Soopers and Other Kroger Stores' Digital Coupons
github.com·3h·
Discuss: Hacker News
📦Deflate
ECMAScript 2025 Language Specification
tc39.es·4h·
Discuss: Hacker News
🎯Gradual Typing
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·15h
📏Linear Logic
Self-referential structs that can actually move in Rust
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Technical Challenges and Solutions in AI Tarot System Development Using Claude 3.7
dev.to·11h·
Discuss: DEV
🌊Stream Processing
LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning
arxiv.org·3d
✓Automated Theorem Proving
Detecting Machine-Generated Texts: Not Just "AI vs Humans" and Explainability is Complicated
arxiv.org·1d
🧮Kolmogorov Complexity
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·18h·
Discuss: DEV
λLambda Encodings
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
An AI Agent That Interprets Papers So You Don’t Have To: Full Build Guide
hackernoon.com·7h
🔬Academic Search
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
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·9h·
Discuss: DEV
✅Format Verification
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750952117902400）
dev.to·3h·
Discuss: DEV
🌐Network Protocols