Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·3d
⬆️Lambda Lifting
Directing AI Native Development
adrianco.medium.com·15h·
Discuss: Hacker News
🔄Language Evolution
Let's Prove Leftpad
github.com·2d·
Discuss: Hacker News
📜Proof Carrying Code
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·1d
🧮Kolmogorov Bounds
Python Selenium Architecture
dev.to·5h·
Discuss: DEV
🕸️WebAssembly
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·2d
💻Programming languages
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·1d
💨Cache Optimization
Beneficial Reasoning Behaviors in Agentic Search and Effective Post-training to Obtain Them
arxiv.org·7h
🔍Semantic Search
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.org·1d
💻Local LLMs
The minefield of classifier training
dev.to·19h·
Discuss: DEV
📊Learned Metrics
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·2d
🔗Parser Combinators
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·1d
🎯Performance Proofs
11+ Best All-in-One AI Platforms in 2025
dev.to·7h·
Discuss: DEV
🤖AI Curation
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·7h
🧠Machine Learning
OpenAI Agent Builder: Step-by-step guide to building agents with MCP
dev.to·17h·
Discuss: DEV
⚡Proof Automation
AI-Powered Pair Programming: How I Code Faster and Learn More with ChatGPT
dev.to·6h·
Discuss: DEV
🔗Concatenative Programming
Inducing State Anxiety in LLM Agents Reproduces Human-Like Biases in Consumer Decision-Making
arxiv.org·7h
🎯Threat Hunting
🚀 Day 38 of My Data Journey
dev.to·16h·
Discuss: DEV
🕸️Neo4j
Learning from Failures: Understanding LLM Alignment through Failure-Aware Inverse RL
arxiv.org·1d
💻Local LLMs
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·1d·
Discuss: Hacker News, r/neovim
🔗Lisp