๐Ÿ”— 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ยท20h
๐ŸŒŠStream Ciphers
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท3d
๐ŸงฎProlog Parsing
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.comยท2d
๐Ÿ”’Linear Types
Proficient Python: A free interactive online course
blog.pamelafox.orgยท4dยท
Discuss: www.blogger.com, Hacker News
๐Ÿ”—Concatenative Programming
The MIDL compiler still has trouble with double greater-than signs, sadly
devblogs.microsoft.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
The collective waste caused by poor documentation
shanrauf.comยท3dยท
Discuss: Hacker News
๐Ÿ“ฆDeflate
Show HN: AI-gent Workflows โ€“ locally reasoning AI Agents
ai-gents.workยท1dยท
Discuss: Hacker News
โšกProof Automation
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท3dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
The AI delegation dilemma
foxhound.systemsยท9hยท
Discuss: Hacker News, r/programming
๐Ÿ—บ๏ธCompetency Maps
The Heart of Software Engineering Still Beats
annievella.comยท1dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
WWDC 2025 - Whatโ€™s new in BNNS Graph
dev.toยท7hยท
Discuss: DEV
๐Ÿ“ABNF Parsing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols๏ผˆ1750830996145900๏ผ‰
dev.toยท3dยท
Discuss: DEV
๐ŸŒNetwork Protocols
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.orgยท2d
๐Ÿ“ƒManuscript Tokenization
Extreme Left Shifting
dev.toยท10hยท
Discuss: DEV
โ„๏ธNix Adoption
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.toยท3dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Solve a real-world problem with AI
dev.toยท1dยท
Discuss: DEV
๐ŸงฎZ3 Applications
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.toยท1dยท
Discuss: DEV
๐Ÿ”BitFunnel
Just launched a free 9-chapter course on Agentic AI Systems
dev.toยท20hยท
Discuss: DEV
โš”๏ธLean Tactics
Machine Learning Fundamentals: adam optimizer with python
dev.toยท14hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization