<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: smilelamp</title><link>https://news.ycombinator.com/user?id=smilelamp</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 19 Oct 2026 01:25:13 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=smilelamp" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[Will it be a golden age or a dark age for mathematics (and science)?]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/">https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50141681">https://news.ycombinator.com/item?id=50141681</a></p>
<p>Points: 126</p>
<p># Comments: 163</p>
]]></description><pubDate>Sun, 18 Oct 2026 15:00:40 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/18/will-it-be-a-golden-age-or-a-dark-age-for-mathematics-and-science/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50141681</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50141681</guid></item><item><title><![CDATA[Starting a New Journal]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/17/starting-a-new-journal/">https://terrytao.wordpress.com/2026/10/17/starting-a-new-journal/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50137581">https://news.ycombinator.com/item?id=50137581</a></p>
<p>Points: 5</p>
<p># Comments: 0</p>
]]></description><pubDate>Sun, 18 Oct 2026 03:12:41 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/17/starting-a-new-journal/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50137581</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50137581</guid></item><item><title><![CDATA[Some of my recent talks and interviews]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/17/some-of-my-recent-talks-and-interviews/">https://terrytao.wordpress.com/2026/10/17/some-of-my-recent-talks-and-interviews/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50132913">https://news.ycombinator.com/item?id=50132913</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 17 Oct 2026 17:10:41 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/17/some-of-my-recent-talks-and-interviews/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50132913</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50132913</guid></item><item><title><![CDATA[Decoding base64 in Python at 10 gigabytes per second]]></title><description><![CDATA[
<p>Article URL: <a href="https://lemire.me/blog/2026/10/17/decoding-base64-in-python-at-10-gigabytes-per-second/">https://lemire.me/blog/2026/10/17/decoding-base64-in-python-at-10-gigabytes-per-second/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50128164">https://news.ycombinator.com/item?id=50128164</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 17 Oct 2026 05:14:47 +0000</pubDate><link>https://lemire.me/blog/2026/10/17/decoding-base64-in-python-at-10-gigabytes-per-second/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50128164</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50128164</guid></item><item><title><![CDATA[SAIR Open Math OS Released]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/16/sair-open-math-os-released/">https://terrytao.wordpress.com/2026/10/16/sair-open-math-os-released/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50121980">https://news.ycombinator.com/item?id=50121980</a></p>
<p>Points: 5</p>
<p># Comments: 2</p>
]]></description><pubDate>Fri, 16 Oct 2026 18:02:45 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/16/sair-open-math-os-released/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50121980</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50121980</guid></item><item><title><![CDATA[How to Formalize All of Mathematics]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/">https://terrytao.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50119019">https://news.ycombinator.com/item?id=50119019</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 16 Oct 2026 14:46:39 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50119019</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50119019</guid></item><item><title><![CDATA[Redis now has compressed bitmaps (Roaring)]]></title><description><![CDATA[
<p>Article URL: <a href="https://lemire.me/blog/2026/10/15/redis-now-has-compressed-bitmaps-roaring/">https://lemire.me/blog/2026/10/15/redis-now-has-compressed-bitmaps-roaring/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50111464">https://news.ycombinator.com/item?id=50111464</a></p>
<p>Points: 6</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 15 Oct 2026 22:48:35 +0000</pubDate><link>https://lemire.me/blog/2026/10/15/redis-now-has-compressed-bitmaps-roaring/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50111464</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50111464</guid></item><item><title><![CDATA[Why are we even doing all this?]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/">https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50109707">https://news.ycombinator.com/item?id=50109707</a></p>
<p>Points: 202</p>
<p># Comments: 163</p>
]]></description><pubDate>Thu, 15 Oct 2026 20:22:50 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50109707</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50109707</guid></item><item><title><![CDATA[Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/15/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/">https://terrytao.wordpress.com/2026/10/15/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50105628">https://news.ycombinator.com/item?id=50105628</a></p>
<p>Points: 1</p>
<p># Comments: 1</p>
]]></description><pubDate>Thu, 15 Oct 2026 16:02:37 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/15/simons-foundation-launches-15m-effort-to-help-mathematicians-navigate-ai-era/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50105628</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50105628</guid></item><item><title><![CDATA[Call for stories: human–AI collaboration in recent mathematics]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/14/call-for-stories-human-ai-collaboration-in-recent-mathematics/">https://terrytao.wordpress.com/2026/10/14/call-for-stories-human-ai-collaboration-in-recent-mathematics/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50097991">https://news.ycombinator.com/item?id=50097991</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 15 Oct 2026 01:26:36 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/14/call-for-stories-human-ai-collaboration-in-recent-mathematics/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50097991</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50097991</guid></item><item><title><![CDATA[First Proof, Third Batch Webinar]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/14/first-proof-third-batch-webinar/">https://terrytao.wordpress.com/2026/10/14/first-proof-third-batch-webinar/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50088422">https://news.ycombinator.com/item?id=50088422</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 14 Oct 2026 14:38:38 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/14/first-proof-third-batch-webinar/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50088422</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50088422</guid></item><item><title><![CDATA[2026 AMS Committee on Education Workshop Report]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/13/2026-ams-committee-on-education-workshop-report/">https://terrytao.wordpress.com/2026/10/13/2026-ams-committee-on-education-workshop-report/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50077328">https://news.ycombinator.com/item?id=50077328</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 13 Oct 2026 19:32:41 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/13/2026-ams-committee-on-education-workshop-report/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50077328</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50077328</guid></item><item><title><![CDATA[Normal Bad Work]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/12/this-is-normal-bad-work/">https://terrytao.wordpress.com/2026/10/12/this-is-normal-bad-work/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50066158">https://news.ycombinator.com/item?id=50066158</a></p>
<p>Points: 5</p>
<p># Comments: 1</p>
]]></description><pubDate>Tue, 13 Oct 2026 03:14:49 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/12/this-is-normal-bad-work/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50066158</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50066158</guid></item><item><title><![CDATA[Additional recent pieces on math and AI]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/12/additional-recent-pieces-on-math-and-ai/">https://terrytao.wordpress.com/2026/10/12/additional-recent-pieces-on-math-and-ai/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50056851">https://news.ycombinator.com/item?id=50056851</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Mon, 12 Oct 2026 14:20:40 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/12/additional-recent-pieces-on-math-and-ai/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50056851</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50056851</guid></item><item><title><![CDATA[Parsing JSON at gigabytes per second in Python]]></title><description><![CDATA[
<p>Article URL: <a href="https://lemire.me/blog/2026/10/12/parsing-json-at-tens-of-gigabytes-per-second-in-python/">https://lemire.me/blog/2026/10/12/parsing-json-at-tens-of-gigabytes-per-second-in-python/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50055912">https://news.ycombinator.com/item?id=50055912</a></p>
<p>Points: 19</p>
<p># Comments: 2</p>
]]></description><pubDate>Mon, 12 Oct 2026 13:08:34 +0000</pubDate><link>https://lemire.me/blog/2026/10/12/parsing-json-at-tens-of-gigabytes-per-second-in-python/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50055912</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50055912</guid></item><item><title><![CDATA[Illustration Beyond Proof]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/">https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50049133">https://news.ycombinator.com/item?id=50049133</a></p>
<p>Points: 108</p>
<p># Comments: 19</p>
]]></description><pubDate>Sun, 11 Oct 2026 23:22:36 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50049133</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50049133</guid></item><item><title><![CDATA[Math 2.0]]></title><description><![CDATA[
<p>Article URL: <a href="https://terrytao.wordpress.com/2026/10/10/math-2-0/">https://terrytao.wordpress.com/2026/10/10/math-2-0/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50034337">https://news.ycombinator.com/item?id=50034337</a></p>
<p>Points: 5</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 10 Oct 2026 16:16:39 +0000</pubDate><link>https://terrytao.wordpress.com/2026/10/10/math-2-0/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50034337</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50034337</guid></item><item><title><![CDATA[WebSocket Servers in JavaScript: Node.js, Bun and Deno in 2026]]></title><description><![CDATA[
<p>Article URL: <a href="https://lemire.me/blog/2026/10/10/websocket-servers-in-javascript-node-js-bun-and-deno-in-2026/">https://lemire.me/blog/2026/10/10/websocket-servers-in-javascript-node-js-bun-and-deno-in-2026/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50031006">https://news.ycombinator.com/item?id=50031006</a></p>
<p>Points: 4</p>
<p># Comments: 1</p>
]]></description><pubDate>Sat, 10 Oct 2026 08:58:37 +0000</pubDate><link>https://lemire.me/blog/2026/10/10/websocket-servers-in-javascript-node-js-bun-and-deno-in-2026/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50031006</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50031006</guid></item><item><title><![CDATA[Lobbying]]></title><description><![CDATA[
<p>Article URL: <a href="https://geohot.github.io//blog/jekyll/update/2026/10/10/lobbying.html">https://geohot.github.io//blog/jekyll/update/2026/10/10/lobbying.html</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50029630">https://news.ycombinator.com/item?id=50029630</a></p>
<p>Points: 189</p>
<p># Comments: 68</p>
]]></description><pubDate>Sat, 10 Oct 2026 04:40:36 +0000</pubDate><link>https://geohot.github.io//blog/jekyll/update/2026/10/10/lobbying.html</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50029630</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50029630</guid></item><item><title><![CDATA[Faster Python startup with lazy imports]]></title><description><![CDATA[
<p>Article URL: <a href="https://lemire.me/blog/2026/10/09/faster-python-startup-with-lazy-imports/">https://lemire.me/blog/2026/10/09/faster-python-startup-with-lazy-imports/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=50015571">https://news.ycombinator.com/item?id=50015571</a></p>
<p>Points: 5</p>
<p># Comments: 2</p>
]]></description><pubDate>Fri, 09 Oct 2026 03:16:39 +0000</pubDate><link>https://lemire.me/blog/2026/10/09/faster-python-startup-with-lazy-imports/</link><dc:creator>smilelamp</dc:creator><comments>https://news.ycombinator.com/item?id=50015571</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50015571</guid></item></channel></rss>