⚙️ Compilers - hop1.ng.1357 · Scour

CPPL: A Circuit Prompt Programming Language 🪄Prompt Engineering

Sp.h is the standard library that C deserves ✏️Code Editors

spader.zone·15h·Hacker News

The UIGen Override System: How We Keep It Runtime While Enabling Full Customization 🧩Web Components

uigen-docs.vercel.app·3d·Hacker News

A beginner-friendly approach to Pratt Parsing ✅Formal Verification

washingtonramos.com·6h·Hacker News

Optimizing Code with AI 👨‍💻AI Coding

spectralcore.com·2d·Hacker News

xs-lang0/xs: xs programming language ✏️Code Editors

github.com·5d·Hacker News

WavFlow: Audio Generation in Waveform Space ✨Gemini

XS: A programming language. Anywhere, anytime, by anyone ✏️Code Editors

xslang.org·3d·Hacker News

Bun's problem may be developing in the open 🌐Open Source

00f.net·4d·Lobsters, Hacker News, r/programming

StableGrad: Backward Scale Control without Batch Normalization ⚙️MLOps

RISC-V and Floating Point 🔌Embedded Systems

fprox.substack.com·2d·Substack

Comparing Context Retrieval Approaches for AI Code Review 🧠Obsidian

comparethemarketcareers.com·5d·Hacker News

FishBack: Pullback Fisher Geometry for Optimal Activation Steering in Transformers 🤖LLM

nordstjernen-web/nordstjernen: Nordstjernen web browser 🦋Tauri

github.com·5d·Hacker News

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report ✅Formal Verification

ExECG: An Explainable AI Framework for ECG models 🔍AI Interpretability

Language-Switching Triggers Take a Latent Detour Through Language Models 🤖LLM

Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries 🪝eBPF

FLUIDSPLAT: Reconstructing Physical Fields from Sparse Sensors via Gaussian Primitives ⚡Edge AI

Fast Tensorization of Neural Networks via Slice-wise Feature Distillation ⚗️Knowledge Distillation

Log in to enable infinite scrolling