Problem Details for HTTP APIs
datatracker.ietf.org·5h·
Discuss: Hacker News
✅Format Verification
OBsmith: Testing JavaScript Obfuscator using LLM-powered sketching
arxiv.org·9h
🧪Binary Fuzzing
Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
arxiv.org·9h
🧠Computational Logic
Why Study Programming Languages
people.csail.mit.edu·7h·
Discuss: Hacker News
💻Programming languages
LinearRAG: Linear Graph Retrieval Augmented Generation on Large-scale Corpora
arxiv.org·9h
🔍Information Retrieval
Building Pure Python Web Apps with Reflex
kdnuggets.com·21h
⚡Effectful Programming
🐍 Day 2: The Magic of Sets, Removing Duplicates While Preserving Order
dev.to·17h·
Discuss: DEV
🌳Trie Structures
I wrote a parser for Redis protocol so you don't have to
neversleeps.moscow·1d·
Discuss: Hacker News
⚡Redis Internals
LLMs: Decoding the Geometry of Alignment
dev.to·7h·
Discuss: DEV
💻Local LLMs
Categorical systems theory
topos.institute·4d
🔀Category Theory
LLMAtKGE: Large Language Models as Explainable Attackers against Knowledge Graph Embeddings
arxiv.org·9h
🧮Kolmogorov Complexity
Uncertainty Quantification for Retrieval-Augmented Reasoning
arxiv.org·9h
🔍Information Retrieval
The Personalization Trap: How User Memory Alters Emotional Reasoning in LLMs
arxiv.org·9h
👤Search Personalization
RAG vs. Memory: Addressing Token Crisis in Agentic Tasks
agamjn.com·1d·
Discuss: Hacker News
🦀Rusty Databases
Data Provenance Auditing of Fine-Tuned Large Language Models with a Text-Preserving Technique
arxiv.org·9h
🧪Archive Fuzzing
What Dynamic Typing Is For
unplannedobsolescence.com·2d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Reliable Active Learning from Unreliable Labels via Neural Collapse Geometry
arxiv.org·9h
🧠Machine Learning
[Pre-RFC] Substructural Type System
internals.rust-lang.org·1d·
Discuss: Hacker News
🔒Type Safety
Python 3.14 Deep Dive: Revolutionary Error Messages & Advanced Debugging (Part 2 - Chapter 2/3)
dev.to·4h·
Discuss: DEV
🌳Incremental Parsing
KnowRL: Teaching Language Models to Know What They Know
arxiv.org·9h
💻Programming languages