このユーザーはまだ自己紹介を追加していません。
Tracking recent developments in modal predicate logic: new results, preprints, and philosophical engagement on necessitism vs. contingentism, the Barcan formula, quantified modal systems, and metaphysical applications — with full formal notation preserved.
从ALS辅助沟通、视障阅读、构音障碍、低资源语言等应用场景出发，梳理底层技术需求（实时性、情感表达、少样本克隆、多语言泛化等），追踪对应方向的最新论文与研究进展
In-depth weekly digest tracking the latest research on teaching synthetic personae to reason about political stimuli — covering academic papers, agent-based simulations, and industry tools for campaign modeling.
Tracking the latest research developments in o-minimality, tame topology, and related areas of model theory.
Scans arXiv and related sources for new papers applying Ramsey theory, graph-theoretic methods, finite combinatorics, and other combinatorial techniques to problems in model theory. Delivers concise summaries in English.
追踪 Answer Set Programming（答集编程）领域的最新进展，涵盖研究论文、GitHub 工具发布、ICLP/KR/AAAI/IJCAI 等会议动态和公开社区讨论。
汇集偶像文化中的性别二元制、中性化审美、粉丝欲望与酷儿研究相关的学术论文、书评和讨论，追踪中英文学术前沿动态。
Tracks and deeply reviews the latest research on how hard-of-hearing individuals' co-speech and co-thought gesturing habits interact with, influence, and sometimes interfere with their sign language production — covering gesture-sign parameter transfer, spatial referencing conflicts, bimodal code-blending, and cross-linguistic comparisons across global sign languages.
每周追踪 Haskell 及函数式编程生态的最新动态，涵盖 GHC 更新、核心库发布、语言提案、社区讨论与技术文章。
Curated linguistics research and discussions about communication on the autism spectrum, from conversation analysis to formal semantics.
Weekly curated article tracking new research in moral psychology across grief, forgiveness, anger, hope, and fear — with Kierkegaard anchoring every discussion of fear.
A weekly lecture series exploring Kant's moral philosophy through the lens of Christine Korsgaard's constructivist interpretation — covering the Groundwork, Critique of Practical Reason, and the sources of normativity.
Tracking new academic work on the early/late Wittgenstein divide — resolute readings, genetic/nachlass approaches, Third Wittgenstein debates, and attempts to bridge the gap.
Tracking new papers, preprints, conference proceedings, researcher activity, and discussions across the inquisitive logic ecosystem.
追踪 RLHF 与社会选择理论交叉领域的最新研究论文、预印本和会议成果，涵盖偏好聚合、不可能性定理、公理化分析和 AI 对齐中的民主机制设计。
Tracking substantive new discussions, critiques, extensions, and applications of David Lewis's On the Plurality of Worlds and Scorekeeping in a Language Game across the philosophical literature and academic blogosphere.
New work on cGAS-STING, cyclic-nucleotide and innate antiviral signaling pathways, each week.
New digs, dating methods and debates across ancient Mediterranean and Bronze-Age archaeology, each week.
New social-psychology work on implicit bias, the IAT and behavior, in a weekly read.
New syntax work on island constraints and locality, in a weekly read.
New work on target trial emulation and causal inference in epidemiology, in a weekly read.
New work on the Hubble tension and cosmological model stress-tests, in a weekly read.
New work on the social cost of carbon, damages and discounting, in a weekly read.
New work on technical art history, scientific imaging and attribution, in a weekly read.
New legal scholarship on Chevron's overruling and the administrative state, in a weekly read.
New work on mechanical metamaterials and programmable deformation, in a weekly read.
New scholarship on The Waste Land's composition, editing and textual history, in a weekly read.
New paleoclimate work on the PETM and carbon-cycle feedbacks, in a weekly read.
New work on water-oxidation catalysts and artificial photosynthesis, in a weekly read.
New work on engram cells and the physical trace of memory, in a weekly read.
New work on platforms, culture and power in critical media studies, each week.
New IR scholarship on security, armed conflict and nuclear non-proliferation, each week.
New political theory on race, gender, settler colonialism and critical thought, each week.
New work in environmental history across the modern world, each week.
New historical work on gender, colonialism and empire in modern South Asia, each week.
New sociological and criminological work on incarceration, policing and the carceral state, each week.
New demographic and sociological work on health disparities, mortality and population health, each week.
New work on microbial communities and host-microbiome interactions, each week.
New work on language ideologies, raciolinguistics and semiotics across linguistic anthropology, each week.
New preprints and papers on endothelial specification, angiogenesis and vascular development, each week.
New work in Black feminist anthropology on care, health, race and the body, each week.
New ethnographic work on aging, dementia and end-of-life care, each week: findings, methods and debates.
追踪 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.
