Proficient Python: Course Overview
proficientpython.comยท10h
๐Ÿ”—Concatenative Programming
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
๐ŸงฎZ3 Solver
Programming Entry Level: how to interpreter
dev.toยท19hยท
Discuss: DEV
๐Ÿ”—Lisp
Passagemath project marks new era for open-source math software
appliedmath.ucdavis.eduยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Coping with Complexity
slott56.github.ioยท4d
๐Ÿ”—Concatenative Programming
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.comยท3h
๐Ÿ’ปLocal LLMs
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.aiยท23hยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Threaded Code
muforth.devยท8hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Elmo's World NP-complete problem (2006)
blog.plover.comยท1dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท18hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comยท4hยท
Discuss: Hacker News
๐Ÿ“‹DFDL
The Guide to the Foundation Models Framework
azamsharp.comยท5hยท
Discuss: Hacker News
ฮปLambda Formalization
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.toยท1dยท
Discuss: DEV
๐ŸงฌFunctional Programming
Machine Learning Fundamentals: active learning tutorial
dev.toยท2hยท
Discuss: DEV
๐ŸŽ›๏ธFeed Filtering
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท14h
๐Ÿ”Concolic Testing
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Lessons from LangChain and Slack and MCP Integration
medium.comยท21hยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting