Making Change: Array-Based DP
mmhaskell.com·1d
🔗Concatenative Programming
Flag this post
Understanding Etsy’s Vast Inventory with LLMs
etsy.com·1d
🕵️Metadata Mining
Flag this post
DDD Studies: Tactical Design between Fishermen and Developers Continuation of Domain-Driven Design studies, now exploring tactical patterns, through a fishing e...
blog.codeminer42.com·3h
🔐Capability Systems
Flag this post
Organising my feeds using Permaculture principles - Kedara.eu
kedara.eu·10h
📰RSS Reading Practices
Flag this post
Got opinions on observability? I could use your help (once more, with feeling)
⚙️Proof Engineering
Flag this post
Hallucination Detection via Internal States and Structured Reasoning Consistency in Large Language Models
arxiv.org·17h
💻Programming languages
Flag this post
Learning Bug Context for PyTorch-to-JAX Translation with LLMs
arxiv.org·17h
🎙️Whisper
Flag this post
DyKnow-RAG: Dynamic Knowledge Utilization Reinforcement Framework for Noisy Retrieval-Augmented Generation in E-commerce Search Relevance
arxiv.org·17h
🔍Information Retrieval
Flag this post
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·4d
⛪Church Encoding
Flag this post
Preference-Aware Memory Update for Long-Term LLM Agents
arxiv.org·17h
💻Local LLMs
Flag this post
Redundancy as a Structural Information Principle for Learning and Generalization
arxiv.org·17h
🧠Machine Learning
Flag this post
Enhancing Long Chain-of-Thought Reasoning through Multi-Path Plan Aggregation
arxiv.org·17h
⚔️Lean Tactics
Flag this post
Bag of Tricks for Subverting Reasoning-based Safety Guardrails
arxiv.org·17h
🎯Proof Tactics
Flag this post
DITTO: A Spoofing Attack Framework on Watermarked LLMs via Knowledge Distillation
arxiv.org·17h
💻Local LLMs
Flag this post
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
🗣️Domain-Specific Languages
Flag this post
Loading...Loading more...