Internationalization-check: Validating your Next.js internationalization
lingual.devยท12hยท
Discuss: Hacker News
โœ…Format Verification
Predicting Faulty Validations in Cluster Issue Detection: A ML Approach - DevConf.CZ 2025
youtube.comยท1d
๐Ÿ“Code Metrics
Secure Code Warrior Defines Security Rules for AI Coding
devops.comยท15h
โšกProof Automation
1Password
corrode.devยท1d
๐Ÿฆ€Rust Borrowing
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.orgยท1d
๐Ÿง Intelligence Compression
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.orgยท1d
โšกIncremental Computation
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.toยท14hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
5 Ways to Automate Security and Compliance in a Cloud-First World
hackernoon.comยท20h
๐Ÿ”“Hacking
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.toยท6hยท
Discuss: DEV
๐Ÿ’งLiquid Types
From expected to actual: Kotlin doesn't reinvent, it reuses ๐Ÿ”„
dev.toยท10hยท
Discuss: DEV
๐Ÿ’งLiquid Types
Exploring High Efficiency Web Analysis Results๏ผˆ1750876031390300๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Flame Graph Performance Truth Analysis๏ผˆ1750918443851900๏ผ‰
dev.toยท1dยท
Discuss: DEV
โšกPerformance Tools
Get AI-powered command suggestions **directly** in your zsh shell
github.comยท2hยท
Discuss: Hacker News
๐Ÿ“ŸTerminals
TableMoE: Neuro-Symbolic Routing for Structured Expert Reasoning in Multimodal Table Understanding
arxiv.orgยท6h
๐ŸŒ€Hyperbolic Geometry
Machine Learning Fundamentals: adam optimizer
dev.toยท19hยท
Discuss: DEV
๐Ÿ“ŠQuantization
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.orgยท6h
๐Ÿ—œ๏ธGraph Compression
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.orgยท3dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Go Coding with Asparagos: Walnuts Take the IQ Test
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Proof Assistants