Complex knots can actually be easier to untie than simple ones
newscientist.com·4d
🕸️Algebraic Topology
Adding OCR support to the local translator
blog.davidv.dev·5h
⟷Bidirectional Programming
A Poet Completes the Square
denisegaskins.com·3d
⚔️Lean Tactics
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·2d
🔌Interface Evolution
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·2d
🔍RegEx Engines
Identity vs. Equality in Python
pythonkoans.substack.com·5h·
Discuss: Substack
🔤Type Theory
AtCoder Finals Problem Statement
atcoder.jp·3d·
Discuss: Hacker News
🇯🇵Japanese Computing
Tao: The Power of the Graph (2013)
engineering.fb.com·1d·
Discuss: Hacker News
🌳B-tree Optimization
How to Write Great Prompts for String
pipedream.com·1d·
Discuss: Hacker News
⚡Proof Automation
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·5d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Iterative Isoscelizing
mathpages.com·11h·
Discuss: Hacker News
📐Mathematical Art
Understanding the Basics: Linear Equations and Matrices
dev.to·3d·
Discuss: DEV
📐Linear Algebra
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.org·3d
🔨Compilers
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
Vibe Coding - Conversational Software Development - Part 2 In Practice
dev.to·5h·
Discuss: DEV
🔄Language Evolution
Day 28/100: List Comprehensions in Python
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·2d
🔗Topological Sorting
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·4d
✨Effect Handlers
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·2d
🔍Information Retrieval
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·2d
🔲Cellular Automata