pullrequests Search Results · language:Dune language:Python language:Java language:Java language:JavaScript language:JavaScript
Filter by
40M results
Three admin chrome fixes reported from the live site.
1. Header brand logo 404 (nginx routing)
https://admin.ruyin.ai/assets/brand/ruyin-symbol-light.png returned a JSON 404. The admin vhost (07-admin.conf.template) ...
new layout and components
Replaces the bulky mobile pager you flagged. You picked Option A — the compact bar from the mockup.
Before → after
The pager was st.columns([1,4,1]) + full-width buttons, which Streamlit stacks into ...
- Se agregaron mis tokens en lexer.py (tipos, operadores compuestos, puntuación, literales)
- Se creó algoritmo3.cs (billetera virtual)
- Se generó el log lexico-AndresSaltos
- Se corrigió la ubicación ...
Motivation
- Improve the overall UI/UX to a calmer, higher-quality, and more productive chat experience while keeping the
existing clean look.
- Add modern assistant features (quick suggestions, ...
codex
What
The landing page s Theater mode section only showed the pixel-art (3D) gif. This adds the live-terminal (2D / flat ANSI)
gif beside it so both views are visible:
- A two-up .theater-stages grid: ...
Summary
Operator insight: already we have everything in the instruments table and the contracts registry — subscribe THOSE 775 +
futures/options, not the raw 452. The live resolver re-filters the raw ...
Motivation
- Provide richer probes for head-space structure by testing V_hO_h against explicit block-diagonal 2D rotations and
make the probe usable with local nanoGPT checkpoints as well as HuggingFace ...
codex