跳转到内容
nuts.nvirellia.im
搜索
Ctrl
K
取消
关于我
朋友们
GitHub
Telegram
选择语言
简体中文
English
知识库
文章
Design
88×31 micro-buttons
Freezer UI (Clearlooks)
Frutiger Aero / Web 2.0 Gloss
Gems
Gem: 32-Bit Cafe Discourse — indie / small-web community forum
Gem: 88x31.datakra.sh — interactive button craft tool
Gem: piggie.party — citrus technotaku party
Gem: archived sadgrl.online — neon teaching portal
Gem: WidgetStar (widget.st) — small-web widget kit
Gem: skyweaver.nekoweb.org — sage glass graphic garden
Gem: mimineko12 — Heisei glitter / galakei–Ameblo room
Gem: ang's corner — pastel Nekoweb room / dual-theme personal shell
Gem: iSmile — Frutiger Aero personal shell / MSN-era social recreations
Gem: La Taccola — candy GeoCities porch / webring lounge
Gem: NETSQHERE — monochrome anime porch / shrine craft / Hotline member
Gem: STARMOON — vaporwave OS desktop / Nekoweb porch / CSS button craft
Gem: Aero Portal — Frutiger Aero desktop / XP Luna windows / nature+tech sky
Gem: Floral Triptych — pink outset frame / CSS-tab porch / webring stack
Gem: Identity buttons — tiny id pills / free resource database
Gem: Tengile MalaMala — staggered serif hero / olive pull-quote
Gem: EDM radio (happiesthardcore) — anime-sky rave radio / Webdeck player / stamp wall
Gem: rice.place — sky gates splash / filigree wordmark / shiny-button strip / color clique
Gem: moya.cafe — Japanese portal homepage / weather strip / vertical TabNav / VMU module player / button scroller
Design Gems
Design Gems — curated sources
Learning skeuomorphic UI craft
Linux desktop shells (skeuomorph era)
Nekoweb and plain HTML
Nightcore
Personal site
Design
Requiem Garden — personal design language
Sadgrl free layouts (archived)
Windows 7 / Vista Aero UI chrome
Windows XP Luna
Y2K / Y2K Futurism
Digests
_deep
Formal-verification-agents
Sources
arxiv-2409.13082-autoverus
arxiv-2505.13938-clever
arxiv-2605.21434-bmc-agent
arxiv-2606.06523-lean4agent
arxiv-2606.32007-axdafny
arxiv-2607.25333-specula
arxiv-2608.30803-schwarz
aws-agentcore-cedar-policy
bend-a-fast-language-that-blocks-ai-mistakes-via-proof
bend2-learn-proofs
bend2-vs-lean
veribench-neurips-2026
vero-can-ai-agents-build-formally-verified-software-repositories
what-is-bend2
wybecoder-verified-imperative-code-generation
x-bcherny-lean-agent-sdk
x-rv-inc-buzz-vs-real-fv
Formal verification in agent-driven development (deep)
Cursor Project and pstack
Cloud agent orchestrators in the wild
Cursor Projects UI and UX
Herdr for v0 cloud orchestrator
Personal site data sources
Agent FV toolbox and DIY playbook
Bend2 for verified parallel agents
Cloudflare Code Mode (@cloudflare/codemode)
Formal verification in agent-driven development
Lean 4 agents for verified software
Agent e2e verification — Wayland, browser, computer-use
CC Switch
DeepSeek harness dsh system prompt
Effect.ts for TypeScript services
Exa agent search API
Grok Bot system prompts — who collects them
LLM project failure modes and slop patterns
Minimal TypeScript orchestrator core — Web UI as plugin
OpenAI Codex Approve for me (Auto-review)
OpenAI Codex sandbox
Opinionated skill packs — pstack shape for orchestrators
Orca ADE vs Cloud agent orchestrator
Persistent project coordinator — vs Grok Bot and Cursor Projects
Pi agent package development — extensions, skills, install
Pi Agent SDK bash PATH and Nix flake purity
Pi SDK sessions, worktrees, and TypeScript coordinator
Pi SDK v2 — abilities boundary and data model
Stripe API backward compatibility
Worktree + PR by design — orchestrator patterns
OpenCode2 plugin development
Agent screenshot and UI expression
Dual-model Sol/Codex + Claude UI advisor prompts
JSON generative UI for agents
Overnight and long-running agents
Suggestive collaborative agent prompting
RareUI
Stateless systems (Poettering)
OMP (oh-my-pi) — coding-agent TUI
OMP features and highlights
Cloudflare R2 as Nix binary cache
How to build a React Native renderer backend
Cursor /loop skill
Agent lessons ledger lineage
Agent skills for splitting work into issues
Agent verification skills
Design-first feature gate
PM worker reviewer agent orchestration
yetone magpie agent workflow
Design PR description for humans
关于我
朋友们
GitHub
Telegram
选择语言
简体中文
English
Posts
Vim 使用技巧
vllm-serve
优雅高效的 Firefox 配置
使用 OpenWRT 搭建四路 WAN 负载均衡网关
在 NanoPi R2S 上运行 NixOS
坠光
她为我取名的那一天 —— 我和 Noa 的相遇
如何彻底清除 Git Repository 里不想被人看到的内容
将单独定义的 PVC 转移到 StatefulSet Volume Claim Templates
折叠:2023 年 2 月
用 systemd.timer 实现萌萌服药提醒
记一次 Bug 定位:Tailscale Derper 自签 IP 证书连接问题
关于我
朋友们
GitHub
Telegram
选择语言
简体中文
English
nuts.nvirellia.im
如果有一天我忘记了自己是怎样走到这里的,
希望这些记录还能替我记得。
尽情闪耀