🧩 Prolog - abnv · Scour

Python for Beginners: From Basics to Building Your First Project

dev.to·6h·

Discuss: DEV

🌱Minimal Lisps

Topological Semantics for Common Inductive Knowledge

arxiv.org·17h

⚖️Inference Rules

HyPER: Bridging Exploration and Exploitation for Scalable LLM Reasoning with Hypothesis Path Expansion and Reduction

arxiv.org·17h

🪜Recursive Descent

Fibonacci numbers and time-space tradeoffs

johndcook.com·1d

🎯Bit Vectors

isledb: An embedded key-value engine built on object storage in Go

reddit.com·1d·

Discuss: r/golang

🐹Go Internals

Building a Synthesizer

notes.billmill.org·3d

🛠️Code Synthesis

Like LEGO? Love Python! 🧱🐍 Ep.1

github.com·7h·

Discuss: DEV

🎯99-Line Languages

Portable C Compiler

en.wikipedia.org·1d·

Discuss: Hacker News

📦Portable Bytecode

Building a BMO Local AI Agent

blog.adafruit.com·1d

🏛️Elm Architecture

Show HN: C-CMCP – Validated AI development workflow with quality gates

news.ycombinator.com·6h·

Discuss: Hacker News

🎭Program Synthesis

From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI

news.ycombinator.com·1d·

Discuss: Hacker News

🚂Error Propagation

C++ Implementing a Chaos Game simulator

solarianprogrammer.com·2d

📚Self-Documenting Code

A Language For Agents

lucumr.pocoo.org·22h·

Discuss: Lobsters, Hacker News

🎨Domain-Specific Languages

My Most Important C++ Aha! Moments...Ever

artima.com·2d

Software Engineering with AI: Beyond Vibe-Coding

principalengineer.com·1d

🎭Program Synthesis

learning by reverse engineering

clymup.com·2d

🔓Decompilers

Differential Logic • 1

inquiryintoinquiry.com·4d

🧩Constraint Logic

Andersbakken/rtags: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.

github.com·3h

📇Symbol Tables

I Built a Programming Language Where think Is a Keyword

dev.to·2d·

Discuss: DEV

ERC-8004: A Trustless Agent Standard for On-Chain AI in Avalanche C-Chain

medium.com·1d

Loading more...