🔮 Clojure - abnv · Scour

LISP: Symbolic Architecture and the Evolution of Agentic Systems

notebooklm.google.com·2d

🖥️Lisp Machines

On The Crank Spectrum

exple.tive.org·1d

(50) Set-Roster vs Set-Builder notation

youtube.com·20h

NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler

dev.to·4h·

Discuss: DEV

🖥️Lisp Machines

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

📡Erlang BEAM

How to write your first obfuscator of Java Bytecode

blog.quarkslab.com·3d

📜Bytecode Interpreters

The tech stack I've been refining for 6 years

news.ycombinator.com·1d·

Discuss: Hacker News

🔄Bootstrapping

Refactoring 038

dev.to·1d·

Discuss: DEV

🌈Gradual Languages

Cooperative Visitor: A Template Technique for Visitor Creation

artima.com·3h

📋Template Compilers

Sometimes it's hard to be lazy

yamlscript.org·20h

😴Lazy Evaluation

KCL part 2: program memory

ncameron.org·5d

📚Stack Allocation

feldera/feldera: The Feldera Incremental Computation Engine

github.com·15h

🚂Cranelift IR

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·2d

🚂Error Propagation

java sucks (2000)

jwz.org·4d·

Discuss: Lobsters

llOOPy lOOPs (Dave Jarvis)

dave.autonoma.ca·1d

🤐Zipper Structures

The Rise of Spec Driven Development

dbreunig.com·1d·

Discuss: Hacker News

🥾Compiler Bootstrapping

LlamaLib: A cross-platform C++/C# library for local LLMs based on llama.cpp

github.com·1d·

Discuss: Hacker News

💬Smalltalk VMs

ML-LIB: Machine Learning Library Proposed For The Linux Kernel

phoronix.com·1d·

Discuss: Hacker News

Getting started with C++ MathGL on Windows and Linux

solarianprogrammer.com·3h

🎓Teaching Compilers

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·1d

⚡Effect Handlers

Loading more...