🔤 Language Design - hello · Scour

A perfectable programming language 🔨Compiler Design

news.ycombinator.com·1d·Hacker News

Y3sIH3arU/Flux: a minimalist interactive scripting language with efficient blocking I/O and conditional replies. Built from scratch in C. Future: user‑defined blocks for self‑modifying syntax. 🔨Incremental Compilation

github.com·3d·Hacker News

From 0 to 1M Impressions: Building a Niche Compiler Blog 📊Profile-Guided Optimization

dev.to·4h·DEV

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning 📐TLA+

arxiv.org·14h

noCap: A Programming Language for GenZ 🍱Nom

nocap.prateeksurana.me·1d

Why FlatMap Isn’t Ideal for Go Error Handling 🛡️Error Handling

pkg.go.dev·3d·DEV

Can AI Bypass Compilers? Evaluating the Feasibility of Prompt-to-Binary Systems 💬Prompt Engineering

hackernoon.com·1d

OpenID Connect Advanced Syntax for Claims (ASC) 1.0 🔑Kanidm

openid.net·1d

Workflow Engine — Multi-Step Orchestration for Bun ⏱️Temporal Workflow

bunqueue.dev·3d·Hacker News

Systematic API Testing Through Model Checking and Executable Contracts 💎Refinement Types

arxiv.org·1d

aelaguiz/doctrine: Python-like DSL and compiler for reusable AI agent instructions, workflows, and contracts that compile to AGENTS.md. 🏗️Pavex

github.com·6d·Hacker News

Template Literals > Your Old Code ⚙️SWC

dev.to·4d·DEV

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation 🏗️MLIR

arxiv.org·5d

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations 🏗️MLIR

arxiv.org·5d

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions 💎Refinement Types

arxiv.org·4d

CODESTRUCT: Code Agents over Structured Action Spaces ⚓Anchors

arxiv.org·6d

Can LLMs Deobfuscate Binary Code? A Systematic Analysis of Large Language Models into Pseudocode Deobfuscation 👻Phantom Types

arxiv.org·4d

Metacat: a categorical framework for formal systems ✓Formal Verification

arxiv.org·4d

A Gradual Probabilistic Lambda Calculus λFunctional Programming

arxiv.org·6d

Grounded Forcing: Bridging Time-Independent Semantics and Proximal Dynamics in Autoregressive Video Synthesis 🔀Procedural Generation

arxiv.org·5d

No more posts from hello's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds