🔍 KLEE - hello · Scour

From Manual Chaos to Workflow Engineering: Building a Local-First AI Automation Pipeline (and Rethinking Cloud LLMs Like Gemini)

dev.to·4h·

Discuss: DEV

Debugging Reproducibility Issues in Rust Software

notes.8pit.net·9h·

Discuss: Lobsters, Hacker News

Array-Carrying Symbolic Execution for Function Contract Generation

arxiv.org·1d

🎭Program Synthesis

ad-si/Woxi: Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

github.com·9h

🦀Rust Macros

Power of C++26 Reflection: Strong (opaque) type definitions

godbolt.org·23h·

Discuss: r/cpp

👻Phantom Types

Swapping NULL for NUL - a better way to find nothing!

research.exoticsilicon.com·1d

♻️Interning

QORA - Native Rust LLM Inference Engine

huggingface.co·6h·

Discuss: DEV

VioletCranberry/coco-search: Local-first hybrid semantic code search tool. Indexes codebases into PostgreSQL with pgvector embeddings via Ollama, combines vector similarity + keyword search with RRF fusion. Supports 30+ languages. Features CLI, MCP server, WEB dashboard and interactive REPL.

github.com·8h·

Discuss: Hacker News

[bspwm] Cute melancholic Mizu5 aesthetic even with xterm 🌸

voidlinux.org·10h·

Discuss: r/unixporn

Can We Make Simpler Software With LLMs?

minifeed.net·5h

How to Run High-Performance LLMs Locally on the Arduino UNO Q

hackster.io·9h

IIFE for Complex Initialization -- Bartlomiej Filipek

isocpp.org·1d

🔨Incremental Compilation

The RISC Concept - A Survey of Implementations

inf.fu-berlin.de·19h

🏗Computer Architecture

I replaced my single AI workflow with Claude and NotebookLM, and they cover each other's blind spots

xda-developers.com·6h

⌨️Text Editors

From Prompts to Performance: Evaluating LLMs for Task-based Parallel Code Generation

arxiv.org·1d

📊Profile-Guided Optimization

Why Structured Kernels?

modular.com·2d

⚡Hardware Acceleration

Three Alternatives to Measure the Elapsed Time of Code Execution

hackernoon.com·1d

Scaling ML Inference on Databricks: Liquid or Partitioned? Salted or Not?

towardsdatascience.com·11h

📊Vectorized Query Execution

C/C++ Superset 3.1.1

static.fornux.com·1d·

Discuss: r/C_Programming, r/cpp

🏭Code Generation

VulHunt in Depth: Inside the Binary Vulnerability Analysis Framework

binarly.io·1d

🔓Binary Exploitation

Loading more...