๐Ÿ”— Lisp

Functional Programming, S-expressions, Code as Data, Recursion

Software Bill of Materials (SBOM) for FreeBSD Project
freebsdfoundation.orgยท1d
๐Ÿ“‹Format Specification
Protect now, reveal later: a scalable Time-Lock Puzzle solution
benthamsgaze.orgยท10h
๐ŸŒŠStream Ciphers
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.comยท2d
๐Ÿ”’Linear Types
Refactoring English: Effective Writing for Software Developers
refactoringenglish.comยท1dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Proficient Python: A free interactive online course
blog.pamelafox.orgยท3dยท
Discuss: www.blogger.com, Hacker News
๐Ÿ”—Concatenative Programming
7 Popular LLMs Explained in 7 Minutes
kdnuggets.comยท1d
๐Ÿ’ปLocal LLMs
Show HN: AI-gent Workflows โ€“ locally reasoning AI Agents
ai-gents.workยท1dยท
Discuss: Hacker News
โšกProof Automation
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.comยท1d
โš–๏ธVerification Calculi
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท3dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750594760521200๏ผ‰
dev.toยท5dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Functional Hello World in Go: A Journey from First Class Functions to Function Composition
dev.toยท5dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Show HN: Split Vim Markdown Preview โ€“ Terminal-Based Markdown Preview for Vim
github.comยท1hยท
Discuss: Hacker News
โŒจ๏ธTerminal Customization
Algorithm Complexity: Time, Space, and Big-O Notation
dev.toยท2dยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.orgยท3d
๐Ÿ”—Monadic Parsing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท3d
โš–๏ธHoare Logic
Machine Learning Fundamentals: active learning with python
dev.toยท2dยท
Discuss: DEV
๐Ÿง Machine Learning
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
Build a Dynamic Color Changer using HTML, CSS & JavaScript ๐ŸŽจ (Beginner Project)
dev.toยท3hยท
Discuss: DEV
๐ŸŽฏGradual Typing
From Manual API Testing to AI-Powered Automation: My Experience with Keploy
dev.toยท13hยท
Discuss: DEV
โšกProof Automation