🌱 BonsaiDb - hello · Scour

Made By Gather Improves On-Shelf Availability With Real-Time Data Boost

consumergoods.com·5h

QtWidgets to QtQuick, An Application Journey Part 2

qt.io·15h

Introducing the new Databricks Partner Program and Well-Architected Framework for ISVs and Data Providers

databricks.com·21h

Debug Ansible errors faster with an AI monitoring agent

developers.redhat.com·14h

📝Write-Ahead Logging

NUKEMAP roadmap

blog.nuclearsecrecy.com·9h

Claude Code: Production ready code in a two-week sprint

thoughtbot.com·1d

🎭Program Synthesis

marketplace.visualstudio.com·7h

🧮Vector Databases

New Rust Tool Traur Analyzes Arch AUR Packages for Hidden Risks

linuxiac.com·2d

🐧Rust for Linux

The Journey to a Safer Frontend: Why We Removed React.FC

engineering.gusto.com·1d

oozeBot Launches preFlight Slicer, Rebuilding PrusaSlicer on a Modern 64-Bit Architecture

fabbaloo.com·3h

🔗Mold Linker

Modernizing my 150-line Python search engine: Yahoo! dumps -> Hugging Face 🤗

bart.degoe.de·1d·

Discuss: Hacker News

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

arxiv.org·16h

Formal Methods Practice and Theory

adacore.com·7h·

Discuss: Hacker News

smallcultfollowing.com·1d·

Discuss: Lobsters, Hacker News

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

danielbrendel.com·2d·

Discuss: Hacker News

What Functional Programmers Get Wrong About Systems

iankduncan.com·1d

💎Refinement Types

Claude Code for Designers: A Practical Guide

nervegna.substack.com·1d·

Discuss: Substack

🎨Design Systems

IPBAC: Interaction Provenance-Based Access Control for Secure and Privacy-Aware Systems

arxiv.org·16h

🏗️FoundationDB Layers

Building a Scalable URL Shortener

github.com·10h·

Discuss: DEV

#️⃣Perfect Hashing

creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.

github.com·2d·

Discuss: r/node, r/reactjs

Loading more...