GaloisInc/parameterized-utils
github.com·9h
📏Linear Haskell
🧩 The "Merging Maze": Designing a Neural Network for Unified
dev.to·19h·
Discuss: DEV
🔗Unification
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
✅Type Checking
The Chip That Spoke Lisp
jxself.org·23h
🖥️Lisp Machines
Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
JSON Schema in the Wild: Real World Applications & HAL 🌍
dev.to·16h·
Discuss: DEV
📋JSON Parsers
The Mondrian introduction to functional optics
marcosh.github.io·1d·
Discuss: Hacker News
🔍Lens Libraries
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·7h
⚡Interpreter Optimization
Exhaustive Guide to Generative and Predictive AI in AppSec
youtube.com·3h·
Discuss: DEV
🛡️Security Type Systems
Complex networks-based anomaly detection for financial transactions in anti-money laundering
sciencedirect.com·5m
🔄Tail Call Analysis
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·3d·
Discuss: Hacker News
💬Interactive REPLs
Causal Abstractions, Categorically Unified
arxiv.org·1d
💫Effect Systems
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·1h·
Discuss: Hacker News
🐪OCaml
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·22h
🔢Algebraic Datatypes
20 hardest to easiest rankings of programming languages to learn in 2025 | BIZMIA
hellobizmia.com·4h·
Discuss: r/programming
🔗Concatenative Languages
Online activities 6 – 12 October
ests.wordpress.com·1d
🔗Category Theory
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·1d
🕸️Graph Algorithms
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
✅Type Checking
GSoC 2025, Building a Semantic Search Engine for Any Video
news.opensuse.org·4h
🔍Search Algorithms