🔤 Language Design - tiferrei · Scour

Teacher-Free Self-Training Amplifies but Does Not Compound: A Pass@$K$ Crossover on a Free-Verifier Domain

📚Automata Learning Academic

Release v0.0.2-alpha · VxidDev/Arc

⚙️Compiler Design Code

github.com··Hacker News

Structural Grid Descriptors Predict Within-Task Solver Success on ARC-AGI

🧠Apple Neural Engine Academic

pal-tamas/rask: Live web apps in C# — server-rendered over WebSocket or client-side via WebAssembly, one codebase. No .razor, no JS.

🌐Network Protocols Code

github.com··Hacker News

Show HN: Lowfat – pluggable CLI filter that saved 91.8% of my LLM tokens

💻CLI Tools Code

github.com··Hacker News

Debootstrapping without Archeology: Stacked Implementations in Camlboot

📦Module Systems Academic

arxiv.org··Lobsters

Blaise v0.10.0 (alpha) — Mandatory `()`, Native Backend, Threads & Incremental Compilation 🎉 · graemeg blaise · Discussion #82

📦Module Systems Code

github.com··Hacker News, r/programming

ChibiRuby is a pure C# implementation of the mruby virtual machine

⚙️PL Implementation Code

github.com··Hacker News

Toward Compiler World Models: Learning Latent Dynamics for Efficient Tensor Program Search

⚙️Compiler Design Academic

kerbelp/metatron: Metatron is a self-hosted system that captures a codebase's real implementation decisions — preferred patterns, rejected approaches, edge cases, internal conventions — as structured priors, and serves them to coding agents over MCP (Model Context Protocol). The goal: an agent writes code like a senior engineer who already knows the codebase

🖥Self-Hosting Code

github.com··Hacker News

Code Lifespan Survival Analysis (CLSA): Predicting the Survival of Source Code Lines Using AST-Aware Mining

⚙️Compiler Design Academic

I built an open-source alternative to dynamic workflows: OpenFlow CLI

💻CLI Tools Code

github.com··Hacker News

AlloSpatial: Agentic Harness Framework for Spatial Reasoning in Foundation Models

🧩Separation Logic Academic

The Biomimetic Architecture of Software 4.0

⚙Operational Semantics Academic

Releases · ue-patcher/Code_Stitcher

⚙️Compiler Design Code

github.com··Hacker News

Internalizing Geometric Law: Learning from Solver Residuals for Precision-Critical Generation

🧮SMT Solvers Academic

thisismydesign/cursor-canvas-web: Deploy your Cursor canvases to the web.

🌐Static Sites Code

github.com··Hacker News

Aggregating LLM-Based Weak Verifiers for Spatial Layout Generation

🧩Separation Logic Academic

yogthos/jolt: A Clojure interpreter running on Janet

λFunctional Programming Code

github.com··Lobsters, Hacker News

Matrix – An installable Python CLI package for cross-device session jumping

⚙️Compiler Design Code

github.com··Hacker News

No more posts from tiferrei's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling