My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
AWK technical notes (2023)
🔀Brzozowski Derivatives
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·11h
📚Automata Learning
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·11h
🔲Cellular Automata
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·11h
📚Automata Learning
Flag this post
Interpretable Machine Learning for Reservoir Water Temperatures in the U.S. Red River Basin of the South
arxiv.org·11h
✓Automated Theorem Proving
Flag this post
It Doesn’t Need to Be a Chatbot
towardsdatascience.com·15h
📚Automata Learning
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
🔤Kleene Algebra
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·11h
🔤DSLs
Flag this post
Towards Automated Petrography
arxiv.org·11h
🔲Cellular Automata
Flag this post
HyFormer-Net: A Synergistic CNN-Transformer with Interpretable Multi-Scale Fusion for Breast Lesion Segmentation and Classification in Ultrasound Images
arxiv.org·11h
🎨GADTs
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·11h
🔲Cellular Automata
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·11h
🔀OCaml Multicore
Flag this post
Loading...Loading more...