Making Change: Array-Based DP
mmhaskell.comΒ·6h
πŸ”—Concatenative Programming
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.comΒ·3d
πŸ”²Cellular Automata
How a developer used Google Gemini to replace his Kanban board
businessinsider.comΒ·25m
πŸŒ€Brotli Internals
Experimenting with ACL2 and Claude Code
mikedodds.orgΒ·3dΒ·
Discuss: Hacker News
πŸ‘‘Isabelle
OCaml 5.4 Release: New Features, Fixes, and More
tarides.comΒ·2dΒ·
πŸ”—Functional Compilers
Gleam Programming Language Tour
tour.gleam.runΒ·2dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
The Future of Authenticity: The Human-Made Mark
samueleamato.xyzΒ·22hΒ·
Discuss: Hacker News
🎧Learned Audio
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.aiΒ·1dΒ·
Discuss: r/programming
🏠Homelab Pentesting
I'm looking for contributors for my numerical calculus crate!
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Macros
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.toΒ·3dΒ·
Discuss: DEV
🌳Context free grammars
Detecting Semantic Clones of Unseen Functionality
arxiv.orgΒ·6d
πŸ”—Binary Similarity
Tech With Tim: How to Build AI Agents in Python
dev.toΒ·1dΒ·
Discuss: DEV
🧠Intelligence Compression
Automated Order Routing Optimization via Hierarchical Reinforcement Learning and Multi-Objective Score Fusion
dev.toΒ·17hΒ·
Discuss: DEV
🌊Stream Processing
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.toΒ·3dΒ·
Discuss: DEV
πŸ•΅οΈFeed Discovery
BanglaLlama: LLaMA for Bangla Language
arxiv.orgΒ·5d
πŸŒ€Brotli Dictionary
ARMOR: High-Performance Semi-Structured Pruning via Adaptive Matrix Factorization
arxiv.orgΒ·5d
🧠Machine Learning
Cactus Language β€’ Semantics 2
inquiryintoinquiry.comΒ·5d
πŸ”’Denotational Semantics
Probing Social Identity Bias in Chinese LLMs with Gendered Pronouns and Social Groups
arxiv.orgΒ·4d
πŸ‡¨πŸ‡³Chinese Computing
From Sunlight to Insights: A Python-Powered Dive into Solar Energy Data
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“ˆTime Series
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.orgΒ·3d
✨Effect Handlers