A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
A Solution to the Paperclip Problem
link.springer.com·1d·
Discuss: Hacker News
💫Effect Systems
A Fuzzy Logic-Based Framework for Explainable Machine Learning in Big Data Analytics
arxiv.org·2h
🔍Fuzzy Indexing
Evolving Our UI Library: From Custom Components to a Hybrid Radix Approach
dev.to·16h·
Discuss: DEV
🎮Language Ergonomics
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org·2h
🎯Finite Automata
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·1d
🔍ML Language
Atomic and Saturated Models
functor.network·4d·
Discuss: Hacker News
🔗Concatenative Theory
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·2h
🕸️Tarjan Algorithms
Prompting Techniques for Specialised LLMs
dev.to·2d·
Discuss: DEV
🎮Language Ergonomics
Building Modern Data Systems: Event-Driven Architecture, Messaging Queues, Batch Processing, ETL & ELT
dev.to·14h·
Discuss: DEV
📮Message Queues
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🌳Pattern Match Compilation
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·1d
🧩Constraint Solvers
German Interoperability Day: How does AI affect standards?
heise.de·11h
🌉Language Bridges
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·2h
🔍ML Language
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·2h
🗺️Region Inference
BanglaLlama: LLaMA for Bangla Language
arxiv.org·2h
🌱Minimal ML
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·11h·
Discuss: DEV
🔗Go Generics
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·1d
🚂Error Propagation
Indexing,Hashing and Query Optimization in DBMS
dev.to·1h·
Discuss: DEV
📊Query Optimizers