Note
hsu.cy·1d
📊Feed Optimization
Flag this post
Think for Yourself
⚡Proof Automation
Flag this post
Triangle weaver spider's web uses spring-loaded mechanism to move faster than muscle
phys.org·13h
✓Automated Theorem Proving
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
🤖Archive Automation
Flag this post
What Building My First Dashboard Taught Me About Data Storytelling
towardsdatascience.com·11h
📰Content Curation
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
✨Effect Handlers
Flag this post
Quantifying Developer Impact & ROI via Dynamic Valuation Graph Analysis
⚙️Proof Engineering
Flag this post
Tackling Incomplete Data in Air Quality Prediction: A Bayesian Deep Learning Framework for Uncertainty Quantification
arxiv.org·2h
🧠Machine Learning
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.org·1d
⚡LZ4 Streaming
Flag this post
Multimodal Detection of Fake Reviews using BERT and ResNet-50
arxiv.org·1d
🔍Vector Forensics
Flag this post
Mitigating Semantic Collapse in Partially Relevant Video Retrieval
arxiv.org·2d
📐Vector Similarity
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🔲Cellular Automata
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
⚡Proof Automation
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
📐Proof Assistants
Flag this post
Physics-Informed Neural Network Frameworks for the Analysis of Engineering and Biological Dynamical Systems Governed by Ordinary Differential Equations
arxiv.org·1d
🌀Riemannian Computing
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·1d
🔗Monadic Parsing
Flag this post
Loading...Loading more...