🔗 Lisp

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

GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·10h·
Discuss: Hacker News
💧Liquid Types
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·17h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
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
Show HN: AI-gent Workflows – locally reasoning AI Agents
ai-gents.work·12h·
Discuss: Hacker News
⚡Proof Automation
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·2d
💧Liquid Types
Cactus Language • Syntax 11
inquiryintoinquiry.com·3d
📝Concrete Syntax
C compiler for Web Assembly (c4wa)
github.com·2d·
Discuss: Hacker News
🌐WASI
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·3h
⚖️Verification Calculi
Why javascript is better than typescript?
dev.to·4h·
Discuss: DEV
🎯Gradual Typing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·2d·
Discuss: Hacker News
💻Local LLMs
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
LLMs Are Faking Neutrality—And We Can Now Measure It
hackernoon.com·19h
📝Concrete Syntax
Free Hugo Autotranslator for Github Pages
dev.to·3h·
Discuss: DEV
🔄Migration Tools
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·19h
📃Manuscript Tokenization
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·17h·
Discuss: DEV
⚡Proof Automation
Python Fundamentals: asyncio
dev.to·11h·
Discuss: DEV
🌊Stream Processing
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·19h
💻Local LLMs
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·19h
📊Quantization