Devlog: Godot Game - More on Level 3-1
lmika.orgยท11h
๐Ÿ•นEmulation
Experiments With Sonnet 4.5's Fiction
lesswrong.comยท6hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Languages
Control Codegen Spend
oreilly.comยท2d
โš”๏ธLean Tactics
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Concolic Testing
The Conveyor Belt Protocol: Understanding Iterators
dev.toยท18hยท
Discuss: DEV
๐ŸงฌFunctional Programming
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.toยท1dยท
Discuss: DEV
๐Ÿ”คCharacter Classification
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.toยท1dยท
Discuss: DEV
๐ŸŒณContext free grammars
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.orgยท4d
๐Ÿ”—Parser Combinators
Show HN: Static builds of popular open source libraries on npmjs.org
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
A Proof of the Riemann Hypothesis
dev.toยท2dยท
Discuss: DEV
โš”๏ธLean Theorem
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.orgยท1d
โœจEffect Handlers
Understanding Latent Space: How Meaning Is Represented by AI
dev.toยท3hยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.orgยท2d
๐Ÿง Machine Learning
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.toยท1dยท
Discuss: DEV
๐Ÿ•ต๏ธFeed Discovery
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.orgยท1d
๐Ÿ“ผCassette Combinators