Viruses of the Mind
🧮Programming Language Theory
Flag this post
Show HN: I built an edge ML system to detect and classify trick-or-treaters
🎲Probabilistic Programming
Flag this post
GEN-0: SoTA 10B+ Foundation Model for Robotics with Harmonic Reasoning
🎲Probabilistic Programming
Flag this post
Mastering the ‘O’ in SOLID: Applying the Open/Closed Principle in Real-World Code
👐Open Source Software
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·5d
🧮Programming Language Theory
Flag this post
Humans and neural networks show similar patterns of transfer and interference
📈Complexity Theory
Flag this post
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.org·3h
🎲Probabilistic Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🧭SMT Solvers
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·2d
🔗Parser Combinators
Flag this post
Maxwell's Demon and the Arrow of Time
lesswrong.com·54m
📊Information Theory
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.org·3h
🔗Parser Combinators
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
🔐Cryptography
Flag this post
Progressive Translation of H&E to IHC with Enhanced Structural Fidelity
arxiv.org·1d
🤝Protocol Design
Flag this post
GeneFlow: Translation of Single-cell Gene Expression to Histopathological Images via Rectified Flow
arxiv.org·1d
🧫Cellular Automata
Flag this post
Loading...Loading more...