AI Tools that I've Seen in the Wild
💻CLI Tools
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
🔧ppx
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·4d
🔀OCaml Multicore
Flag this post
Unlock Dual Revenue: How to Monetize Your LLM Apps with AI Conversations
✓Automated Theorem Proving
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
λFunctional Programming
Flag this post
AI Papers to Read in 2025
towardsdatascience.com·2d
📚Automata Learning
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·5d
🐫OCaml
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·4d
🎮Verification Games
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·4d
🧩Parser Combinators
Flag this post
A Quantized VAE-MLP Botnet Detection Model: A Systematic Evaluation of Quantization-Aware Training and Post-Training Quantization Strategies
arxiv.org·2d
🌐Network Protocols
Flag this post
Computational Imaging Meets LLMs: Zero-Shot IDH Mutation Prediction in Brain Gliomas
arxiv.org·2d
🔍CBMC
Flag this post
Explaining Human Choice Probabilities with Simple Vector Representations
arxiv.org·2d
🔲Cellular Automata
Flag this post
Evaluating Generative AI as an Educational Tool for Radiology Resident Report Drafting
arxiv.org·2d
🔲Cellular Automata
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·2d
🛡️Privacy Engineering
Flag this post
The Rise of the Specialist: Why Small Language Models are the Future of Enterprise AI
🧮SMT Solvers
Flag this post
Loading...Loading more...