Codeminer42 Dev Weekly #82
blog.codeminer42.com·15h
🎯Gradual Typing
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
A gentle introduction to Generative AI: Historical perspective
medium.com·7h·
Discuss: Hacker News
🧠Learned Codecs
Is GRPO Broken?
neelsomaniblog.com·7h·
Discuss: Hacker News
🧮Kolmogorov Bounds
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·18h·
Discuss: DEV
📊Multi-vector RAG
Intelligent Search in Rails with Typesense
avohq.io·3d·
Discuss: Hacker News
🎯Gradual Typing
Show HN: I built a LSP with its own parser to learn Rust
github.com·4h·
Discuss: Hacker News
⚡Dependent Rust
The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·12h·
Discuss: DEV
🔍Concolic Testing
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·4d
🎯Gradual Typing
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·3h·
Discuss: DEV
💻Local LLMs
C++26: range support for std:optional
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·15h·
Discuss: Hacker News
🚀Indie Hacking
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·23h·
Discuss: DEV
🌊Apache Kafka
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·1d·
Discuss: Hacker News
✨Effect Handlers
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·13h·
Discuss: Hacker News
🔗Concatenative Programming