pullrequests Search Results · language:Dune language:JavaScript language:Python language:JavaScript language:Python language:HTML
Filter by
175M results
A server-driven loading skeleton for chat history, done the SDUI way (not a web-only hack). Merge after #033.
- skeleton primitive (webrender/renderer.py + ROTE adapter.py + astral.css): shimmer placeholder, ...
Bumps markdown-it from 12.3.2 to 14.2.0. details summary Changelog /summary p em Sourced from a href=
https://github.com/markdown-it/markdown-it/blob/master/CHANGELOG.md markdown-it s changelog /a . /em ...
dependencies
javascript
Bumps pyjwt from 2.9.0 to 2.13.0. details summary Release notes /summary p em Sourced from a href=
https://github.com/jpadilla/pyjwt/releases pyjwt s releases /a . /em /p blockquote h2 2.13.0 /h2 h1 PyJWT ...
dependencies
python
This PR introduces the Carbon theme, inspired by IBM s Carbon Design System. It features a clinical, precise aesthetic
suitable for enterprise dashboards and devtools. Key features include sharp corners, ...
Co-flagship US4 from the 033 roadmap, cheapest-big-win. Merge after #033.
- C-M4 — multi-signal retrieval (personalization/retrieval_scoring.py + wired into memory_tools.memory_search): recall
was ...
Problem
Every prove-mode verify runs lake build UnsorryLibrary --wfail in a fresh prove worktree. lake exe cache get restores
only mathlib oleans; the project s own library (hundreds of modules, growing ...
Problem
When a worker raises an exception whose __reduce__ raises RuntimeError, pickling the ExceptionWrapper in
_worker_entrypoint s finally block raised a RuntimeError that fell outside the curated ...
Closes #1000.
Problem
POST /api/export/sql silently capped the download at SQL_EXPORT_MAX_ROWS (10,000) via a single fetchmany — no warning
row, no header flag, no HTTP error, no log. A SELECT … FROM ...
Co-flagship US3 from the 033 roadmap. Merge after #033.
- C-N5 — trajectory-evaluation backbone (orchestrator/agent_eval.py): the measurement substrate every self-improving
loop needs. Pure, dependency-free: ...