Exploring a space-based, scalable AI infrastructure system design
research.google·4h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·1d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
The Trap of Applying Generic Models to Business Needs
gmicloud.ai·30m·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
AWK technical notes (2023)
maximullaris.com·2d·
🔀Brzozowski Derivatives
Flag this post
Searles's Chinese Room: Case study in philosophy of mind and cognitive science
cse.buffalo.edu·7h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
AI Summarization Optimization
schneier.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·1d
🔲Cellular Automata
Flag this post
Large reasoning models almost certainly can think
venturebeat.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·16h
📚Automata Learning
Flag this post
Show HN: Nallely – a modular reactive Python system for custom MIDI instruments
github.com·5h·
Discuss: Hacker News
🔌IOKit
Flag this post
A toy model of corrigibility
lesswrong.com·2d
Timed Automata
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·16h
Existential Types
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·16h
📚Automata Learning
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·3h·
Discuss: DEV
LTL
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·16h
📐Hoare Logic
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·1d
📚Automata Learning
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·11h·
Discuss: DEV
📦Module Systems
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·1d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Using AI in Playwright Tests
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post