🎲 Property Testing - abnv · Scour

🚀 OLSRT v1.2: A Powerful Runtime for All Programming Languages!

dev.to·18h·

Discuss: DEV

A Reputation System for Surveyors

tbr.bearblog.dev·1d

🔗Borrowing Extensions

I Built a Python CLI Tool for RAG Over Any Document Folder

dev.to·11h·

Discuss: DEV

⚙️TOML Parsers

PanelBench: We evaluated Cursor's Visual Editor on 89 test cases. 43 fail

tryinspector.com·2d·

Discuss: Hacker News

🛡️Error Ergonomics

Large Language Model Reasoning Failures

arxiv.org·13h

✅Type Checking

Extracting Xcode's Claude Code Prompt

jackpearce.co.uk·1d·

Discuss: Hacker News

⚡Incremental Parsing

A/B test yourself vs code agent | Artur Kęsik

arturkesik.com·3d·

Discuss: Hacker News

🎮Language Ergonomics

Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection

arxiv.org·13h

🌳Pattern Match Compilation

CodeShield AI – Open-source security scanner (24% cheaper than GitGuardian)

lydiamorgan85.github.io·4d·

Discuss: Hacker News

🚂Cranelift IR

The Rise of Spec Driven Development

dbreunig.com·3d·

Discuss: Hacker News

🥾Compiler Bootstrapping

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·2d

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·1d

🗂️Type Indexing

What Should Go Into the C++ Standard Library

abseil.io·1d

🧸Toy Compilers

Performance Tip of the Week #90: How to estimate

abseil.io·1d

🚀Code Motion

ALW1EZ/PANO: 🔍 PANO: Advanced OSINT investigation platform combining graph visualization, timeline analysis, and AI assistance to uncover hidden connections in data. Built with Python and modern Qt.

github.com·1d

🌉Cross-Language Tools

**Abstract:** This paper introduces a novel framework for predicting protein stability deviations, leveraging a multi-modal data fusion approach combined wit...

freederia.com·2d

✨Effect Inference

An Introduction to XML Data Binding in C++

artima.com·1d

📋Template Compilers

**Abstract:** This paper proposes a novel system leveraging multi-modal data fusion and a hyper-score evaluation framework to achieve automated pattern recog...

freederia.com·3d

🔢Algebraic Datatypes

Fastfood: Approximate Kernel Expansions in Loglinear Time

paperium.net·1d·

Discuss: DEV

🗺️Region Inference

Show HN: A Prompting Framework for Non-Vibe-Coders

github.com·1d·

Discuss: Hacker News

💬Interactive REPLs

Loading more...