Game of Trees Hub
gothub.org·6h·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Why Did Y Combinator Delete "DocuSign 2.0" from Its RFS?
unicornforms.com·2h·
Discuss: Hacker News
🐫OCaml
HMQ: Principal Type Inference Under a Prefix
microsoft.com·5d·
Discuss: Hacker News
🔠Type-Level Programming
Driving Platform Adoption, Part 2: Yes, Create T-Shirts To Tout Your Brand
thenewstack.io·1h
🖥️Self-hosted Infrastructure
Make your repo/project ergonomic for other developers
pdx.su·1d·
Discuss: r/programming
🔄Reproducible Builds
Science of Chess: How does chess calculation depend on words vs. pictures?
lichess.org·2d·
Discuss: Hacker News
🎮Verification Games
Things Not to Learn as an AI Engineer – By Paul Iusztin
decodingml.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Adapting Teaching and Assessment Strategies in the Age of LLMs
kstan.gitlab.io·1d·
Discuss: Hacker News
🎮Verification Games
Kubernetes Finally Solves Its Biggest Problem: Managing Databases
thenewstack.io·20h·
Discuss: Hacker News
⎈Kubernetes
Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code
github.com·9h·
Discuss: Hacker News
👁️System Observability
go-dev-frame/sponge
github.com·1d·
Discuss: Hacker News
⎈Kubernetes
Multi-modal Mutual-Guidance Conditional Prompt Learning for Vision-Language Models
arxiv.org·1d
🔄Finite State Machines
An Empirical Evaluation of AI-Powered Non-Player Characters' Perceived Realism and Performance in Virtual Reality Environments
arxiv.org·12h
🎮Verification Games
Investigating the Robustness of Extreme Precipitation Super-Resolution Across Climates
arxiv.org·12h
🧱Immutable Infrastructure
Behavioral Exploration: Learning to Explore via In-Context Adaptation
arxiv.org·12h
🎮Verification Games
Next-Generation Travel Demand Modeling with a Generative Framework for Household Activity Coordination
arxiv.org·12h
🔄Finite State Machines
On the Gradient Domination of the LQG Problem
arxiv.org·12h
🏹Effect Systems
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·1h·
Discuss: Hacker News
🌐NetworkProtocols
Backscatter Device-aided Integrated Sensing and Communication: A Pareto Optimization Framework
arxiv.org·12h
📡Network Protocol Design
Temporal Motifs for Financial Networks: A Study on Mercari, JPMC, and Venmo Platforms
arxiv.org·1d
🔄Finite State Machines