🔗 Lisp

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

GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·6h·
Discuss: Hacker News
💧Liquid Types
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·12h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
Refactoring English: Effective Writing for Software Developers
refactoringenglish.com·11h·
Discuss: Hacker News
🎯Gradual Typing
LLMs Are Faking Neutrality—And We Can Now Measure It
hackernoon.com·14h
📝Concrete Syntax
How to Build Your First Swift Package
dev.to·13h·
Discuss: DEV
📜Proof Carrying Code
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
An AI Agent That Interprets Papers So You Don’t Have To: Full Build Guide
hackernoon.com·7h
🔬Academic Search
Probing AI Safety with Source Code
arxiv.org·15h
✨Effect Handlers
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
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·7h
💻Local LLMs
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
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·7h·
Discuss: Hacker News
⚡Proof Automation
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·2d
💧Liquid Types
C compiler for Web Assembly (c4wa)
github.com·2d·
Discuss: Hacker News
🌐WASI
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