Shu Lynn Liu

@shulynnliu

CS PhD Student @BerkeleySky 🐻 Prev @UWMadison 🦡 | @mpi_sws_ Fan of @FCBayern #MiaSanMia

following
followers

SkyDiscover is an open-source framework for AI-assisted algorithm discovery

Laude Institute says SkyDiscover can also assemble complete systems from a specification.

4 Sources, 5h ago, updated 5h ago

Opus 5.5 reportedly produces 16 bug-fixing pull requests for Claude Agent SDK

A user credits formal verification with Lean for the fixes. An IDS paper coauthor reports that agents developing code and proofs together achieved 3x Claude Code’s success rate on distributed systems specifications.

2 Sources, 25d ago, updated 25d ago

SkySynth's creators announce a plugin for Claude Code and Codex

The creators say SkySynth is designed to build systems around a user's workload, hardware and requirements, bringing systems specialization to people using coding agents.

8 Sources, 39d ago, first seen 39d ago

Featured in

SkyDiscover is an open-source framework for AI-assisted algorithm discovery

Opus 5.5 reportedly produces 16 bug-fixing pull requests for Claude Agent SDK

SkySynth's creators announce a plugin for Claude Code and Codex

Featured in

SkyDiscover is an open-source framework for AI-assisted algorithm discovery

Opus 5.5 reportedly produces 16 bug-fixing pull requests for Claude Agent SDK

SkySynth's creators announce a plugin for Claude Code and Codex