A grand week
blog.mitrichev.chยท1dยท
๐ŸงฎSMT Solvers
Seriously Testing LLMs
satisfice.comยท1d
๐Ÿ”Concolic Testing
A PhD in Snapshots
rbharath.github.ioยท1dยท
Discuss: Hacker News
๐Ÿง Machine Learning
Master Pronunciation with AI: How Tech Helps
future.forem.comยท4hยท
Discuss: DEV
๐Ÿ—ฃ๏ธCMU Pronouncing
Delimited Continuations in Lone Lisp
matheusmoreira.comยท4dยท
๐Ÿ”—Lisp
Characteristics of successful AI chat integrations
waleedk.medium.comยท19hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
From Autocomplete to Agents: Mapping the Design Space of AI Coding Assistants
oreilly.comยท19h
๐Ÿ“Code Metrics
Compressed Convolutional Attention: Efficient Attention in a Compressed Latent Space
arxiv.orgยท2h
โง—Information Bottleneck
Neon: Negative Extrapolation From Self-Training Improves Image Generation
arxiv.orgยท2h
๐Ÿ“ŠQuantization
Building a Command-Line Quiz Application in R
towardsdatascience.comยท1d
๐ŸšShell Calculus
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
# Building Production-Ready LLM Applications: Introducing llama-app-generator
dev.toยท12hยท
Discuss: DEV
โš™๏ธPL Implementation
Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
arxiv.orgยท2h
๐Ÿ”’WASM Capabilities
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.orgยท1d
๐Ÿ“‹Document Grammar
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.orgยท2h
๐Ÿ‘‘Coq Tactics
Mind Your Tone: Investigating How Prompt Politeness Affects LLM Accuracy (short paper)
arxiv.orgยท2h
๐Ÿ’ปLocal LLMs
SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
arxiv.orgยท2h
๐Ÿ’ปLocal LLMs
Transductive and Learning-Augmented Online Regression
arxiv.orgยท2h
๐Ÿ”Information Retrieval