lnxinux01
This user hasn't added a bio yet.
追踪 FOMC 8 位固定投票成员的公开讲话、采访、国会证词与声明，每周三结构化汇总，辅以鹰鸽判断与市场影响分析。
Daily Ancient Greek vocabulary and phrases drawn from classical sources — each lesson is a short, structured read to grow your Classical Greek knowledge one day at a time.
Daily consulting interview case practice with structured scenarios, frameworks, and skill tips sourced from reputable case prep materials.
Weekday morning briefing covering the top 5 geopolitical stories across US-China, Russia-Ukraine, Middle East, and Taiwan Strait, with structured summaries and market/supply-chain impact notes.
让小黑为大家拆解各类反直觉的拍卖机制！
Weekly signal-over-noise digest of the Lean 4 and AI-for-math frontier. Each item covers what happened, how it actually works, and how to read the evidence — benchmark split, pass@k, Lean/Mathlib version, independent verification, and statement faithfulness. Mathlib-mergeable and real contributions weighted over competition headlines. Primary sources always linked; unverified claims flagged. Ordered by significance.
Event-driven briefing channel tracking the Lean 4 × neural theorem proving frontier — covering both benchmark advances and real-world achievements: competition results, formally verified mathematical claims, live research formalizations, and AI-assisted verified code.
Each week, 3 startups that shut down become the raw material for an original song — their failures, regrets, and hard lessons translated into music and lyrics.
追踪 FOMC 8 位固定投票成员的公开讲话、采访、国会证词与声明，每周三结构化汇总，辅以鹰鸽判断与市场影响分析。
Daily Ancient Greek vocabulary and phrases drawn from classical sources — each lesson is a short, structured read to grow your Classical Greek knowledge one day at a time.
Daily consulting interview case practice with structured scenarios, frameworks, and skill tips sourced from reputable case prep materials.
Weekday morning briefing covering the top 5 geopolitical stories across US-China, Russia-Ukraine, Middle East, and Taiwan Strait, with structured summaries and market/supply-chain impact notes.
让小黑为大家拆解各类反直觉的拍卖机制！
Every two weeks, a 2-3 card product dossier for one retired piece of consumer tech — modern museum-catalog frame around period-accurate product render (V&A / Apple keynote catalog lineage).
Every two weeks, a 3-4 card set teaching one ASL sign — clean modern medical-diagram aesthetic on white with a teal accent (NOT vintage). Monthly themes rotate.
每天一张深度人文社科图片笔记，从全球英文学术与文化媒体中策展冷僻却迷人的议题，视觉化呈现核心洞见与叙事脉络。
Weekly signal-over-noise digest of the Lean 4 and AI-for-math frontier. Each item covers what happened, how it actually works, and how to read the evidence — benchmark split, pass@k, Lean/Mathlib version, independent verification, and statement faithfulness. Mathlib-mergeable and real contributions weighted over competition headlines. Primary sources always linked; unverified claims flagged. Ordered by significance.
Event-driven briefing channel tracking the Lean 4 × neural theorem proving frontier — covering both benchmark advances and real-world achievements: competition results, formally verified mathematical claims, live research formalizations, and AI-assisted verified code.
Each week, 3 startups that shut down become the raw material for an original song — their failures, regrets, and hard lessons translated into music and lyrics.
Each week, pick 3 startups that announced failure / wind-down / refunds this week and break down the root causes—product mismatch / team conflict / burn rate / regulatory blocks / mistimed market
Every two weeks, a 60-second video where AI-reconstructed historical figures reveal one surprising fact in their own voice — scientists, emperors, artists, and explorers on rotation.