Tutorials in Optomechanics
wp.optics.arizona.edu·1h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·2d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Flag this post
Title: Unveiling the New Uniform of the F-16 Fighter Pilots: A Tribute to the Ultimate War Machine
dev.to·7h·
Discuss: DEV
📐Linear Algebra
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
UNILocPro: Unified Localization Integrating Model-Based Geometry and Channel Charting
arxiv.org·2h
👁️Observability
Flag this post
Live Conversational Threads: Not an AI Notetaker
lesswrong.com·2h
🌐ActivityPub
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·10h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·2h
📚Automata Learning
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·2h·
Discuss: DEV
🔍Formal Verification
Flag this post
Go's New WaitGroup.Go
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
Realistic pedestrian-driver interaction modelling using multi-agent RL with human perceptual-motor constraints
arxiv.org·2h
🔲Cellular Automata
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.to·2d·
Discuss: DEV
🌐Network Protocols
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.org·2h
🧮SMT Solvers
Flag this post
FG-CLIP 2: A Bilingual Fine-grained Vision-Language Alignment Model
dev.to·6h·
Discuss: DEV
📚Automata Learning
Flag this post
The Hidden DNA of LLM-Generated JavaScript: Structural Patterns EnableHigh-Accuracy Authorship Attribution
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·1h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Novel bidomain partitioned strategies for the simulation of ventricular fibrillation dynamics
arxiv.org·2h
🔲Cellular Automata
Flag this post
Forgive Savants Their Midwittery
lesswrong.com·7h
🔀Brzozowski Derivatives
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·2h
🎮Verification Games
Flag this post