"Can GPT-4 co-author a sacred text? A symbolic experiment in prompting AI
scribd.com·10h·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·1d·
🛡️macOS Security
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
reddit.com·15h·
📚Automata Learning
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·22h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Automated Anomaly Detection in HIS Patient Flow via Real-Time Graph Analytics
dev.to·15h·
Discuss: DEV
👁️System Observability
Flag this post
🧠 The Simplest "Decision": Is AI Always Rational?
dev.to·1d·
Discuss: DEV
⏱️Computational Complexity
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Uni-MMMU: A Massive Multi-discipline Multimodal Unified Benchmark
dev.to·1h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·7h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Cracking Code with Quantum: Can Machines Really Understand Us?
dev.to·1d·
Discuss: DEV
⚙️Compiler Design
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·6h·
Discuss: DEV
🎮Verification Games
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·1d·
🔀OCaml Multicore
Flag this post
Reason About Intelligence, Not AI
lesswrong.com·5h
⏱️Computational Complexity
Flag this post
Is 'human' a risky AGI target
nullsy.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·2d
📚Automata Learning
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models
arxiv.org·2d
🎯Hindley-Milner
Flag this post
InputDSA: Demixing then Comparing Recurrent and Externally Driven Dynamics
arxiv.org·2d
🔲Cellular Automata
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·7h·
Discuss: DEV
🎯Complexity Classes
Flag this post