The (near) Future of AI in Math
blog.georgeshakan.com·2d
📐formal specification
Flag this post
Visual Information Theory – colah's blog
⚡Zig
Flag this post
The Continuum of Network Architecture
cacm.acm.org·4h
🔄Concurrency Models
Flag this post
Towards Optimal Constellation Design for Digital Over-the-Air Computation
arxiv.org·18h
🐫Ocaml
Flag this post
Robust Linear Design for Flight Control Systems with Operational Constraints
arxiv.org·18h
📐formal specification
Flag this post
Programming or video editing?
🔍Static Analysis
Flag this post
The Open Strategy Dictator Game: An Experiment in Transparent Cooperation
lesswrong.com·1d
🔄Concurrency Models
Flag this post
MT-HuBERT: Self-Supervised Mix-Training for Few-Shot Keyword Spotting in Mixed Speech
arxiv.org·18h
🐫Ocaml
Flag this post
Learnings from the Zurich AI Safety Day
lesswrong.com·6h
🤖AI
Flag this post
Hierarchical Spatial-Frequency Aggregation for Spectral Deconvolution Imaging
arxiv.org·18h
🐫Ocaml
Flag this post
How number systems shape our thinking, and what this means for learning, language and culture
theconversation.com·9h
🪜Scala
Flag this post
Texans' last-second touchdown leads to crushing bad beat for Jaguars bettors
nytimes.com·1d
🐫Ocaml
Flag this post
I Built an API-First Document Workflow Engine (Looking for Feedback)
📐formal specification
Flag this post
REACT-LLM: A Benchmark for Evaluating LLM Integration with Causal Features in Clinical Prognostic Tasks
arxiv.org·18h
🔍Static Analysis
Flag this post
ConeGS: Error-Guided Densification Using Pixel Cones for Improved Reconstruction with Fewer Primitives
arxiv.org·18h
🤖AI
Flag this post
Loading...Loading more...