🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

A Simple Way To Measure Knots Has Come Unraveled
quantamagazine.org·6h·
Discuss: Hacker News
🪢Rope Data Structures
日本語GOGOGO Textbooks Review
preview.redd.it·2d·
Discuss: r/languagelearning
🔗Concatenative Theory
CADBase for engineers and designers updated to v0.3
news.ycombinator.com·2h·
Discuss: Hacker News
📇Symbol Tables
How To Use Synthetic Data To Build a Portfolio Project
kdnuggets.com·5h
🏷️Attribute Grammars
AI Translation Beyond the Prompt
slator.com·5h
🌉Cross-Language Tools
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·6d·
Discuss: Lobsters, Hacker News
🐪OCaml
Day 13 of 90 day python series....
github.com·1d·
Discuss: DEV
💬Interactive REPLs
.NET Feature Spotlight: User-Defined Implicit Type Conversion
spin.atomicobject.com·4d
🌉Cross-Platform FFI
How Level 114 can strengthen the Bittensor ecosystem
dev.to·6h·
Discuss: DEV
📮Message Queues
Is Chat GPT better at writing code than it is at other things? I’m a very inexperienced hobby programmer, but generally suspicious of AI because it lies.
reddit.com·5h·
Discuss: r/AskProgramming
🎭Program Synthesis
Meeplestats: AAA looking for boardgame enthusiasts
github.com·23h·
Discuss: r/selfhosted
🏠indieweb
Exploring how functions in Python are treated as first-class citizens, and the untapped potential they hold.
dev.to·2d·
Discuss: DEV
⚡functional programming
Hybrid Lie semi-group and cascade structures for the generalized Gaussian derivative model for visual receptive fields
arxiv.org·17h
🗺️Region Polymorphism
Fleming-R1: Toward Expert-Level Medical Reasoning via Reinforcement Learning
arxiv.org·17h
🪜Recursive Descent
Geometric Methods in Data Preprocessing: Enhancing Your Data Through Spatial Thinking
dev.to·16h·
Discuss: DEV
🔢Algebraic Datatypes
Tracking prompt evolution for RAG systems - anyone else doing this?
github.com·22h·
Discuss: r/LocalLLaMA
⚡Live Programming
Automated Precision Rock Cutting Parameter Optimization via Hybrid Bayesian-Genetic Algorithm
dev.to·8h·
Discuss: DEV
✨Effect Inference
Simplifying API Communication with the BFF Pattern in NextJS
dev.to·10h·
Discuss: DEV
🔧API Design
Automated Optimization of IVIG Dosing Regimens via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·17h·
Discuss: DEV
✨Effect Inference
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·17h
📊LR Parsing