TapFlow: BJJ Timer and Drills
๐งClimbing Tech
Flag this post
Open Sourcing Kubetorch
โKubernetes
Flag this post
This Month in Ladybird โ October 2025
๐ActivityPub
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.ioยท1d
โฑ๏ธComputational Complexity
Flag this post
Agents Are Commoditizing the Complement
๐งDevOps
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
๐พRetro Computing
Flag this post
For Synthetic Situations
lesswrong.comยท1d
๐ฎVerification Games
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
๐ง Automated Reasoning
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
๐คProgram Synthesis
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.orgยท1d
๐ฅ๏ธSelf-hosted Infrastructure
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.orgยท10h
โฑ๏ธComputational Complexity
Flag this post
NDC Conferences: Lessons Learned Building the Ultimate AI Bug Reporter - Adam Cogan - NDC Copenhagen 2025
๐Reproducible Builds
Flag this post
Chain of Pattern: Rethink
๐คLanguage Design
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
๐Network Protocols
Flag this post
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.orgยท10h
๐งฉParser Combinators
Flag this post
Show HN: Extrai โ An open-source tool to fight LLM randomness in data extraction
๐Refinement Types
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.orgยท1d
๐ฎVerification Games
Flag this post
Loading...Loading more...