🔗 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·6h
🌊Stream Ciphers
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
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.com·10h·
Discuss: Hacker News
🔌Interface Evolution
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·1d
💻Local LLMs
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·20h
⚖️Verification Calculi
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·3d·
Discuss: Hacker News
💻Local LLMs
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.com·1d·
Discuss: r/golang
🔗Concatenative Programming
Functional Hello World in Go: A Journey from First Class Functions to Function Composition
dev.to·5d·
Discuss: DEV
🔗Concatenative Programming
Why MindsDB is the Fastest Way to Build AI Agents Today
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·5d·
Discuss: DEV
🦀Rust Borrowing
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
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·21h·
Discuss: DEV
🔍BitFunnel
Machine Learning Fundamentals: active learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·2d·
Discuss: DEV
🌊Stream Processing
From Manual API Testing to AI-Powered Automation: My Experience with Keploy
dev.to·8h·
Discuss: DEV
⚡Proof Automation
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·2d·
Discuss: DEV
🌐Network Protocols