International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·56m
🔗Combinatory Logic
Building Castles in the Air, but With Surprise Physics
dbreunig.com·2d
⚙️Proof Engineering
Enhance Geospatial Analysis and GIS Workflows with Amazon Bedrock Capabilities
aws.amazon.com·1d
🌊Streaming Systems
Naming Things: The Most Underrated Skill in Software Development
andreacanton.dev·12h·
Discuss: Hacker News
🐚Shell Calculus
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·2d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Subinterpreters and Asyncio
blog.changs.co.uk·3d·
Discuss: Hacker News
🦀Rust Macros
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·6d
🔮Proof Search
Functional Programming HOWTO
docs.python.org·6d·
Discuss: Lobsters
🔗Lisp
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.to·1d·
Discuss: DEV
📋Format Specification
scottpetrovic/mesh2motion-app
github.com·3h
📦MKV Containers
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·5d
🔗Lisp
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com·22h·
Discuss: Hacker News
🔄Burrows-Wheeler
Racket 8.18 Released
blog.racket-lang.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
I built my first side project: Tubee, in 2017
blog.tomy.me·2d·
Discuss: Hacker News
🚀Indie Hacking
[Media] I Have No Mut and I Must Borrow
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·3d
🔗Concatenative Programming
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·20h·
Discuss: Substack
⚡Proof Automation
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·4d
⚡Dependent Rust
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·2d·
Discuss: r/rust
🦀Rust Macros
🍰 Go Slices Finally Explained: Why They Behave the Way They Do
dev.to·3d·
Discuss: DEV
🔧Binary Parsers