🏗️ Cranelift - hello · Scour

An Introduction to Lean 4

uv.es·6h

⚙️JIT Compilation

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·2h·

Discuss: Hacker News

From Code to Connection: Automating the Story of Our Craft with ForkToPost

dev.to·16h·

Discuss: DEV

🌳Tree-sitter

Build your soft Risc-V with XO4 in no time

hackster.io·9h

RepoMod-Bench: A Benchmark for Code Repository Modernization via Implementation-Agnostic Testing

arxiv.org·1d

📊Criterion.rs

Best AI Tools for Software Development in 2026: A Complete Guide

netnewsledger.com·15h

🎭Program Synthesis

Fully self contained builds of complex C/C++/Python packages with Spack

bnikolic.co.uk·1d

Building a Custom Architecture and Platform: Part 2

binary.ninja·2d

⚙️Cranelift Codegen

How Claude Code Automates Software Development: A Deep-Dive Into AI-Powered Engineering Workflows

buymeacoffee.com·7h·

Discuss: DEV

oxsecurity/megalinter v9.4.0

github.com·7h

Show HN: Decision Guardian – Auto-surface architectural context on PRs and CLI

news.ycombinator.com·16h·

Discuss: Hacker News

Built an open source NPM for AI artifacts. Free and already running at real companies.

grekt.com·11h·

Discuss: r/webdev

My Rust-based Git Client evolved into a full "Developer Hub" (HTTP Client, Mock Data Gen & Monaco Editor built-in)

i.redd.it·22h

TurboSparse-LLM Performance: Outperforming Mixtral and Gemma with Extreme Sparsity

hackernoon.com·16h

Self-hosting my website (and improving load times by 96%)

vikram.codes·47m·

Discuss: r/NixOS, r/selfhosted

🏠Self-hosting

Claude Skills and Subagents: Escaping the Prompt Engineering Hamster Wheel

towardsdatascience.com·2h

💬Prompt Engineering

Architectural shift in code synthesis: Has anyone evaluated Energy-Based Models (EBMs) / formal constraint solvers as a viable alternative to LLM auto-regressiv...

logicalintelligence.com·1d·

Discuss: r/SoftwareEngineering

🎭Program Synthesis

Profile-guided optimization

go.dev·17h

📊Profile-Guided Optimization

From idea to pull request: A practical guide to building with GitHub Copilot CLI

github.blog·1d

⌨️CLI Development

Array-Carrying Symbolic Execution for Function Contract Generation

arxiv.org·1d

🎭Program Synthesis

Loading more...