🔗 Lisp

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

Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·2d·
Discuss: Hacker News
📦METS Containers
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·3d·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
Serving AI from the basement part I
ahmadosman.com·16h·
Discuss: Hacker News
⚡Homebrew CPUs
DeepQuali: Determining Software Quality with AI
blog.qaware.de·3d·
Discuss: Hacker News
📏Code Metrics
Tracking Trust with Rust in the Kernel
lwn.net·18h·
Discuss: Hacker News
🦀Rust Verification
Successive Cancellation Decoding For General Monotone Chain Polar Codes
arxiv.org·10h
⚽Sphere Packing
Globally Asymptotically Stable Trajectory Tracking of Underactuated UAVs using Geometric Algebra
arxiv.org·10h
✨Algebraic Effects
Spiking Neural Nets: Can Nonlinear Synapses Unlock a New Era of AI?
dev.to·1d·
Discuss: DEV
🧠Machine Learning
SafeProtein: Red-Teaming Framework and Benchmark for Protein Foundation Models
arxiv.org·10h
⚡Proof Automation
The Pull Request That Changed How I Think About Code
dev.to·2d·
Discuss: DEV
⚙️Build Archaeology
Mitigating Catastrophic Forgetting in Continual Learning through Model Growth
arxiv.org·1d
⚡Incremental Computation
MedSEBA: Synthesizing Evidence-Based Answers Grounded in Evolving Medical Literature
arxiv.org·1d
🔍Information Retrieval
Row Impartial Terminus
arxiv.org·10h
🎯Interactive Provers
VSLLaVA: a pipeline of large multimodal foundation model for industrial vibration signal analysis
arxiv.org·1d
🎙️Whisper
Language Models Do Not Follow Occam's Razor: A Benchmark for Inductive and Abductive Reasoning
arxiv.org·10h
🌳Context free grammars
How can I write a C++/WinRT IAsyncOperation<T> where T is not a Windows Runtime type?, part 2
devblogs.microsoft.com·57m
🎯Emulation Accuracy
Day 82: When Professors Attack and OCaml Puts You to Sleep
dev.to·3d·
Discuss: DEV
λLambda Encodings
Combining struct literal syntax with read-only field access
kobzol.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Type Safety
OmniDPO: A Preference Optimization Framework to Address Omni-Modal Hallucination
arxiv.org·1d
👁️Perceptual Coding
LLaVA-Critic-R1: Your Critic Model is Secretly a Strong Policy Model
arxiv.org·1d
💻Local LLMs