⊢ Logic - buckman · Scour

ejentum/eval: A/B evaluate any LLM task with and without Ejentum cognitive injection. n8n workflow + TypeScript module. 📊LLM Evaluation

github.com·5d·DEV

Good's Theorem, perfect rationality, and conditioning on zero probability events 🗳️Social Choice

alexanderpruss.blogspot.com·3d·Blogger

Part 4 🔩Assembly

..·6d·DEV

The Architecture of Awareness: Design Considerations Of A Shipper's Agentic Logic 🧠Context Engineering

interestingengineering.substack.com·4d·Substack

North Korea's Evolving Diplomatic Logic 🌐World Politics

realcleardefense.com·6d

Watch language models think. ✍️Prompt Engineering

openinterp.org·3d·Hacker News

Refactoring: Express Selections as Tables 🏞️Data Lakehouse

adamtornhill.substack.com·3d·r/programming

Inference pushes AI out of the data center 🏛Sovereign AI Infrastructure

·4d

[Proposal] Public Fraud Proofs for Just-in-Time Channels 🔒Protocol Verification

delvingbitcoin.org·3d

What counts as illegible reasoning? ⚗️Chemistry

lesswrong.com·3d

Hexagons, common lisp interface manager graphics and acl2 first order logic automatic proofs in one place 🔍Static Analysis

lispy-gopher-show.itch.io·3d

The monstrous number sequences that break the rules of mathematics ∑Math

newscientist.com·3d·Hacker News

Log in to enable infinite scrolling