🔵 Clojure - kqr · Scour

Hello World: Algorithmic Trading & DeFi Logic

dev.to·23h·

Discuss: DEV

🔮Lisp Macros

I built a “deterministic” LLM text rephraser with a validation pipeline - looking for architectural feedback

dev.to·8h·

Discuss: DEV

🔮Lisp Macros

GRP-Obliteration: Unaligning LLMs With a Single Unlabeled Prompt

arxiv.org·9h

💼Company Mode

Yet another GCC 1.40 *SOME ASSEBMLY REQUIRED

virtuallyfun.com·1d

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

freederia.com·2d

🚫Branch-Free Programming

Private Data Space Model

privatedata.space·4d

🌲Persistent Data Structures

Tip of the Week #140: Constants: Safe Idioms

abseil.io·1d

🎲Property-Based Testing

esolangs.org·23h

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·1d·

Discuss: r/Zig

🐛Fuzz Testing

LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models

arxiv.org·9h

🔗Parser Combinators

Grace Hopper's Revenge

thefuriousopposites.com·1d

🚫Branch-Free Programming

The Adventures of a Pythonista in Schemeland/26

artima.com·1d

codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]

github.com·3d·

Discuss: Hacker News

Toggling Between Let and Let*

irreal.org·22h

🔄Common Lisp

Hot Reloading in Rust? Subsecond and Dioxus to the rescue!

codethoughts.io·2d·

Discuss: Hacker News, r/rust

[RFC PATCH v1 0/4] Machine Learning (ML) library in Linux kernel

lore.kernel.org·2d·

Discuss: Lobsters, Hacker News

google/flatbuffers: FlatBuffers: Memory Efficient Serialization Library

github.com·2d

🧩Memory Pooling

Going to the Library

yamlscript.org·2d

🔮Lisp Macros

Manage Your dotFiles like a Boss

troydm.github.io·3d

🐚Shell Scripting

Thread by @ClaudeCodeLog on Thread Reader App

threadreaderapp.com·1d

Loading more...