Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·19h
🏗️Constructive Mathematics
A renewed treasure hunt
connortumbleson.com·1d
🔐Cryptographic Archaeology
Quality of Scientific Papers Questioned as Academics 'Overwhelmed' By the Millions Published
science.slashdot.org·15h
🔬Academic Search
Evaluating Image Compression Tools
rachelplusplus.me.uk·2d·
Discuss: Hacker News
📊Rate-Distortion Theory
Show HN: Kubernetes Kit – Kubernetes Made Approachable
hungrimind.com·19h·
Discuss: Hacker News
🌊Streaming Systems
Help Request: Best way to run many chrome profiles in parallel
reddit.com·11h·
Discuss: r/homelab
🔄Sync Engine
LLM Daydreaming
gwern.net·8h·
Discuss: Hacker News
🔲Cellular Automata
Perl 5.42.0 Released
medium.com·1d·
Discuss: Hacker News
🔄Language Evolution
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·5d·
Discuss: Hacker News
🎯Gradual Typing
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·4d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Mastering Claude Code: Some Tips and Tricks After 3 Months of Use
arjunkirtipatel.com·18h·
Discuss: Hacker News
🌳Incremental Parsing
Build a Token Bucket Limiter in Go in Under 100 Lines
dev.to·1d·
Discuss: DEV
📡Network Calculus
🚀 Grok 4 Has Arrived: A New Era in AI Reasoning, Coding, and Real-Time Insight
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Building an Image Classifier API with FastAPI, TensorFlow, and MobileNetV2 Using Clean Architecture Principles
dev.to·2d·
Discuss: DEV
📊Quantization
Capturing Unseen Spatial Extremes Through Knowledge-Informed Generative Modeling
arxiv.org·5h
🔲Cellular Automata
ToMacVF : Temporal Macro-action Value Factorization for Asynchronous Multi-Agent Reinforcement Learning
arxiv.org·5h
🔲Cellular Automata
A Human-centred Framework for Designing Complex AI Solutions for Strategic Decision-making
hackernoon.com·1d
📟CLI Design
🚀 RinaWarp Terminal v1.0.9 Beta Access - NOW AVAILABLE!
dev.to·2d·
Discuss: DEV
📟Terminals
Total/dual correlation/coherence, redundancy/synergy, complexity, and O-information for real and complex valued multivariate data
arxiv.org·1d
📈Mutual Information
The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?
arxiv.org·1d
✨Effect Handlers