🖥️ Ratatui - hello · Scour

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust

arxiv.org·18h

Open Source in Focus: .NET Projects and the Tools Behind Them

blog.jetbrains.com·15h

February Devlog

helloyinny.itch.io·7h

A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era

thenewstack.io·1d

Grumpy Julio plays with CLI coding agents

blogsystem5.substack.com·1d·

Discuss: Substack

🎭Program Synthesis

I released my first npm package! It's for Cyclomatic Complexity

npmjs.com·1d·

Discuss: r/javascript, r/node

Your Terminal Tabs Are Fragile. I Built Something Better.

mkennedy.codes·4d

💻Terminal Tools

lix-project/lix: A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed to doing right by ...

git.lix.systems·1h

Trying to support FreeBSD and Nix for my Rust CLI: Lessons Learned

ivaniscoding.github.io·1d·

Discuss: r/rust

🐧Rust for Linux

I got tired of copying AI output between tools, so I built a system to keep context intact

miniloop.ai·3h·

Discuss: DEV

Electrobun v1: Build fast, tiny, and cross-platform desktop apps with TypeScript

blackboard.sh·2d·

Discuss: Hacker News

monogram v1.1: fancy update + open source tools

datagoblin.itch.io·6h

🎨Design Systems

Implemented a Feature where the Theme on my Portfolio changes based on the Holiday (Because it's fun) 💫

francistr.github.io·23h·

Discuss: DEV

Show HN: 0x – A language that compiles to React, Vue, and Svelte (80% less code)

0xlang.com·10h·

Discuss: Hacker News

Portkey Features

portkey.ai·2h

🔐Capability Systems

Re: Anarchic space pirates in your terminal

forum.melonland.net·10h

Generate type-safe API clients from OpenAPI

orval.dev·11h·

Discuss: DEV

Show HN: Echo, a new SSH client for iOS built on Ghostty

replay.software·12h·

Discuss: Hacker News

🖥️SerenityOS

marketplace.visualstudio.com·9h

🧮Vector Databases

Take Back Your Time: A Complete Productivity App Built with Google AI Studio

aistudio.google.com·14h·

Discuss: DEV

Loading more...