Hey, Looking for some advice, not sure what I'm doing, and I can't tell if this sub is more for networking, but I'm looking for game server hosting advice.
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Large interview with E.T. designer Howard Scott Warshaw
spillhistorie.no·1d·
Discuss: Hacker News
💾Retro Computing
Manga Translator Online
mangatranslator.online·10h·
Discuss: Hacker News
✓Automated Theorem Proving
SurgeAI Blog: Human Evals vs. Academic Benchmarks
surgehq.ai·9h·
Discuss: Hacker News
🧩Parser Combinators
Four Corners: the first Playdate game written in Swift
news.play.date·20h·
Discuss: Hacker News
🍎Apple
Debugging Rustler on Illumos
system-illumination.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔬Static Analysis
Wild Performance Tricks
davidlattimore.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🐫Embedded OCaml
Method Iteration: An LLM Prompting Technique
lesswrong.com·5d
📚Automata Learning
DGL-RSIS: Decoupling Global Spatial Context and Local Class Semantics for Training-Free Remote Sensing Image Segmentation
arxiv.org·1d
🧩Separation Logic
Building a $5K ARR Side Project While Managing 9 Engineers
newsletter.manager.dev·7h·
Discuss: Hacker News
👁️System Observability
On the Alignment of Large Language Models with Global Human Opinion
arxiv.org·1d
🧩Parser Combinators
Safety-Critical Multi-Agent MCTS for Mixed Traffic Coordination at Unsignalized Roundabout
arxiv.org·1d
🔄Finite State Machines
LLaVA-Critic-R1: Your Critic Model is Secretly a Strong Policy Model
arxiv.org·1d
📚Automata Learning
Claude Plays... Whatever it Wants
lesswrong.com·6d
🔬Unikernels
How Real Is AI Tutoring? Comparing Simulated and Human Dialogues in One-on-One Instruction
arxiv.org·1d
📚Automata Learning
Unifying Adversarial Perturbation for Graph Neural Networks
arxiv.org·1d
➡️Category Theory
CLINN: Conservation Law Informed Neural Network for Approximating Discontinuous Solutions
arxiv.org·1d
🧩Separation Logic
When the Past Misleads: Rethinking Training Data Expansion Under Temporal Distribution Shifts
arxiv.org·1d
📚Automata Learning
Diverse Unionable Tuple Search: Novelty-Driven Discovery in Data Lakes [Technical Report]
arxiv.org·1d
📝Term Rewriting
Jointly Reinforcing Diversity and Quality in Language Model Generations
arxiv.org·1d
📚Automata Learning