🔧 PLT - bugzmanov · Scour

LLM Active Alignment: A Nash Equilibrium Perspective

arxiv.org·12h

🔍Symbolic Execution

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

arxiv.org·12h

🔍Symbolic Execution

Designing the Engine: How I Built a Laravel-Like PHP Starter Kit

fiverr.com·12h·

Discuss: DEV

🔍Static Analysis

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·1d·

Discuss: r/Zig

eventhorizonarchitecture.org·20h

🔍Symbolic Execution

Learnings from Creating a GUI Library

blog.s-schoener.com·17h·

Discuss: Lobsters, Hacker News

🔍Static Analysis

I Built a Programming Language Where think Is a Keyword

dev.to·1d·

Discuss: DEV

🔎Semantic Analysis

Unlocking the Power of Python Generators: A Comprehensive Guide

dev.to·1d·

Discuss: DEV

🔍Symbolic Execution

Logic for Programmers New Release and Next Steps

buttondown.com·5d

🔍Static Analysis

Unlocking core memories with GoldSrc engine and CS 1.6 (2025)

danielbrendel.com·1d·

Discuss: Hacker News

🔍Symbolic Execution

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·1d·

Discuss: DEV

🔎Semantic Analysis

Style tips for less experienced developers coding with AI

honnibal.dev·3d·

Discuss: Hacker News

🔍Static Analysis

Code only says what it does

brooker.co.za·1d·

Discuss: Hacker News

📐formal specification

Opus 4.6 Reasoning Doesn't Verbalize Alignment Faking, but Behavior Persists

lesswrong.com·4h

📐formal specification

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·2d

🔎Semantic Analysis

An Introduction to XML Data Binding in C++

artima.com·1d

Atomics in C++26?

meetingcpp.com·1d

🔍Refinement Types

Tip of the Week #142: Multi-parameter Constructors and <code>explicit</code>

abseil.io·1d

🔍Symbolic Execution

The Adventures of a Pythonista in Schemeland/30

artima.com·1d

Tip of the Week #99: Nonmember Interface Etiquette

abseil.io·1d

🔍Static Analysis

Loading more...