Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Automating Persona Enriched Prompting
maxirwin.com·2d·
Discuss: Hacker News
🕵️Metadata Mining
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
CODS : A Theoretical Model for Computational Design Based on Design Space
arxiv.org·1d
🛠Language Design
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
📢 GreyCollar: Supervised Agentic AI Project
dev.to·7h·
Discuss: DEV
🌊Stream Processing
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
arxiv.org·1d
✨Effect Handlers
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·19h
💻Local LLMs
Learning Lineage Constraints for Data Science Operations
arxiv.org·1d
🏺Database Archaeology
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.org·1d
🔤Character Classification
Technical Architecture Guide: Authorization Strategies for Multi-Merchant E-commerce Platforms
dev.to·15h·
Discuss: DEV
🔒WASM Capabilities
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning
arxiv.org·2d
✓Automated Theorem Proving
RecLLM-R1: A Two-Stage Training Paradigm with Reinforcement Learning and Chain-of-Thought v1
arxiv.org·19h
⚡Incremental Computation
Computational Approaches to Understanding Large Language Model Impact on Writing and Information Ecosystems
arxiv.org·1d
📜Digital Philology