An enough week
blog.mitrichev.chยท2dยท
๐Ÿ“ˆLinear programming
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.atยท2dยท
Discuss: Hacker News
๐Ÿ”—Lisp
AI Guardrails, Gateways, Governance Nightmares
go.mcptotal.ioยท1dยท
Discuss: Hacker News
๐ŸŽฏThreat Hunting
Neuro-Symbolic AI
en.wikipedia.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
[R] DeepSeek 3.2's sparse attention mechanism
reddit.comยท1dยท
๐ŸŒ€Brotli Internals
Intent Weaving for AI Coding Agents
autohand.aiยท1dยท
Discuss: Hacker News
โšกProof Automation
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.toยท22hยท
Discuss: DEV
โš™๏ธProof Engineering
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท20hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Flavonoid Fusion: Creating a Knowledge Graph to Unveil the Interplay Between Food and Health
arxiv.orgยท2d
๐Ÿ—‚๏ธInformation Architecture
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.toยท1dยท
Discuss: DEV
โœ…Format Validation
RecGen: a powerful tool to create recommendation systems
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
Refactoring: A way to write better Code
dev.toยท18hยท
Discuss: DEV
โš™๏ธOperational Semantics
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.toยท19hยท
Discuss: DEV
๐Ÿ”BitFunnel
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.orgยท3d
๐Ÿ’ปLocal LLMs
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
To Sink or Not to Sink: Visual Information Pathways in Large Vision-Language Models
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics