consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.com·2d
📄PostScript
Flag this post
Horn Clauses
youtube.com·1d
👑Isabelle/HOL
Flag this post
Show HN: Polym – App for knowledge retention and recall. Remember what you learn
📚Proof Pedagogy
Flag this post
Google DeepMind's AI Learns to Create Original Chess Puzzles, Reviewed by GMs
🔲Cellular Automata
Flag this post
Olsrt – OverLab Streams Runtime
🔒Linear Types
Flag this post
Enhanced Selective Ligand Capture via Self-Assembling Molecular Imprinting Polymers and Machine Learning Optimization
🔍Vector Forensics
Flag this post
Developing a Multi-task Ensemble Geometric Deep Network for Supply Chain Sustainability and Risk Management
arxiv.org·2d
🌀Riemannian Computing
Flag this post
Intervaltree with Rust Back End
🦀Rust Macros
Flag this post
Quantum Leaps in Finance: Optimizing Collateral with Quantum-Inspired AI
🕸️Tensor Networks
Flag this post
Go's New WaitGroup.Go
🔄Sync Engine
Flag this post
How to Data Engineer the ETLFunnel Way
🌊Stream Processing
Flag this post
Empowering RepoQA-Agent based on Reinforcement Learning Driven by Monte-carlo Tree Search
arxiv.org·2d
🔄Reproducible Builds
Flag this post
Build LLM Agents Faster with Datapizza AI
towardsdatascience.com·2d
⚡Proof Automation
Flag this post
Loading...Loading more...