Cyclic Proofs for iGL via Corecursion
arxiv.org·4h
🔧programming language design
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
🔧programming language design
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
🔧programming language design
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
🧮Algebraic Effects
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·13h
🔧programming language design
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
🔧programming language design
Flag this post
Creating Lisp Systems
🔧programming language design
Flag this post
Scala vs. F#
🔧programming language design
Flag this post
News for October 2025
ptreview.sublinear.info·1d
🔧programming language design
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
🔧programming language design
Flag this post
r/mathematics
🧮Algebraic Effects
Flag this post
Can LLMs subtract numbers?
arxiv.org·4h
🧮Algebraic Effects
Flag this post
From Lists to Structured Data: A Transformation Guide
haarisekou200207.webbuzzfeed.com·8h
🔧programming language design
Flag this post
Loading...Loading more...