🔗 Lisp

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

Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·3h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
Python Fundamentals: async
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Machine Learning Fundamentals: active learning with python
dev.to·16h·
Discuss: DEV
🧠Machine Learning
Probing AI Safety with Source Code
arxiv.org·5h
✨Effect Handlers
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·4d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Declarative Programming: SQL, HTML, CSS, Prolog Guide
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·2d
💧Liquid Types
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
C compiler for Web Assembly (c4wa)
github.com·1d·
Discuss: Hacker News
🌐WASI
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·17h·
Discuss: DEV
🌊Stream Processing
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·5h
📃Manuscript Tokenization
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·5h
💻Local LLMs
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing