Creating a Gridogram
🎮Verification Games
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
🛡️macOS Security
Flag this post
Show HN: Hot or Slop – Visual Turing test on how well humans detect AI images
📚Automata Learning
Flag this post
Why Civilizations Are Unstable (And What This Means for AI Alignment)
lesswrong.com·3d
🩹Self-Healing Systems
Flag this post
DDD and the Simplicity Gospel
🔤DSLs
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
🧠Automated Reasoning
Flag this post
Beyond Optimization: The Physics and Logic Driving AI's Three Stages of Societal Transformation
🤖Program Synthesis
Flag this post
Building Intelligent AI Agents with Modular Reinforcement Learning
🧠Automated Reasoning
Flag this post
Geometric Nets: Unleashing the Power of Shape in AI by Arvind Sundararajan
🕸️Graph Theory
Flag this post
Bio-Inspired Microvascular Scaffold Optimization via Algorithmic Topology Grading
🛡️Privacy Engineering
Flag this post
AI as Muse: Unlocking Mathematical Secrets Through Collaborative Discovery
✓Automated Theorem Proving
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
👁️System Observability
Flag this post
From Developer to Prompt Engineer: The New Frontier of Coding in the AI Era
🤖Program Synthesis
Flag this post
Show HN: Why write code if the LLM can just do the thing? (web app experiment)
🔤Language Design
Flag this post
Agentic Browsers Are Dangerous! AI Vulnerabilities: ChatGPT Atlas, Perplexity Comet
🌐Network Protocols
Flag this post
Smaller Surfaces
💎Refinement Types
Flag this post
Weak-To-Strong Generalization
lesswrong.com·9h
🔤Kleene Algebra
Flag this post
Loading...Loading more...