The Early Development of Set Theory (2024)
plato.stanford.edu·1d·
Discuss: Hacker News
🏗️Constructive Mathematics
Dear Null
home.expurple.me·1d·
Discuss: Hacker News
🦀Rust Verification
What Optimization Terminologies for Linear Programming Really Mean
towardsdatascience.com·1d
📈Linear programming
Synthetic Auth Report – Issue 003
syntheticauth.ai·1d·
Discuss: Hacker News
🛡Cybersecurity
A Practical Comparison of AI Coding Agents
jaredforsyth.com·2d·
Discuss: Hacker News
🔐Capability Systems
Issues you will face binding to C from Java.
mccue.dev·2d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
The Big Stack Game of LLM Poker (2024)
sarahtavel.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.edu·2d·
Discuss: Hacker News
💻Programming languages
🚀 Stop Burning Money on LLM API Calls! This Python Tool Just Saved Me $500/month
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
Beginner to Authorization: How do I deeply learn RBAC and ABAC for API/backend development?
reddit.com·16h·
Discuss: r/golang
🔐Capability Systems
Test-Time-Matching: Decouple Personality, Memory, and Linguistic Style in LLM-based Role-Playing Language Agent
arxiv.org·19h
🧠Intelligence Compression
Automating Away Claude's Bad Habits with Hooks | Write-Ahead (b)Log
writeaheadblogg.ing·2d·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Radiological and Biological Dictionary of Radiomics Features: Addressing Understandable AI Issues in Personalized Breast Cancer; Dictionary Version BM1.0
arxiv.org·19h
🧠Machine Learning
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.dev·8h·
Discuss: Hacker News, r/LocalLLaMA
🔌Interface Evolution
Machine Learning Fundamentals: feature engineering project
dev.to·7h·
Discuss: DEV
🧠Machine Learning
Tiny language models
arxiv.org·1d
🎙️Whisper
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·2d
🎯Performance Proofs
The Reason Your AI Code Becomes Unmaintainable (and How to Fix It)
blog.daviddodda.com·1d·
Discuss: Hacker News
🔄Language Evolution
Intuitionistic monotone modal logic via translation
arxiv.org·2d
🏗️Constructive Mathematics
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·1d
🔍Type Inference