<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: chobytes</title><link>https://news.ycombinator.com/user?id=chobytes</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 09 Apr 2026 09:36:36 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=chobytes" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by chobytes in "Apple and Google deliver support for unwanted tracking alerts in iOS and Android"]]></title><description><![CDATA[
<p>Seems kind of pointless. The tech for tracking is widely available and straightforward to use. Has been for decades.</p>
]]></description><pubDate>Tue, 14 May 2024 16:39:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=40357103</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=40357103</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40357103</guid></item><item><title><![CDATA[New comment by chobytes in "Inside the Matrix: Visualizing Matrix Multiplication, Attention and Beyond"]]></title><description><![CDATA[
<p>3blue1brown has a great geometric LA series on youtube.</p>
]]></description><pubDate>Wed, 27 Sep 2023 02:25:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=37669100</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=37669100</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37669100</guid></item><item><title><![CDATA[New comment by chobytes in "Inside the Matrix: Visualizing Matrix Multiplication, Attention and Beyond"]]></title><description><![CDATA[
<p>While I appreciate the effort the author has clearly put in here, Im not sure the visualization provides much in the way of practical intuition. These seem to essentially be mechanistic explanations of the rote bits of matrix math.<p>There are already rich geometric interpretations which provide useful intuition for that generalizes, rather than just demonstrating mechanical details.</p>
]]></description><pubDate>Tue, 26 Sep 2023 22:24:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=37666582</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=37666582</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37666582</guid></item><item><title><![CDATA[New comment by chobytes in "Manjaro is a free and open source Linux operating system that emphasizes privacy"]]></title><description><![CDATA[
<p>Used it for like a year before switching to opensuse tumbleweed. For rolling release Ive found it to be a lot more stable, though some of more obscure packages I use are harder to obtain.</p>
]]></description><pubDate>Thu, 08 Jun 2023 22:40:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=36250233</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=36250233</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36250233</guid></item><item><title><![CDATA[New comment by chobytes in "Krita: A professional free and open source painting program"]]></title><description><![CDATA[
<p>What country are you in out of curiosity?</p>
]]></description><pubDate>Mon, 01 May 2023 14:40:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=35773402</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=35773402</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35773402</guid></item><item><title><![CDATA[New comment by chobytes in "Why Janet?"]]></title><description><![CDATA[
<p>+1
I find it hard not to read that sort of writing style as condescending.</p>
]]></description><pubDate>Thu, 13 Apr 2023 12:43:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=35554513</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=35554513</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35554513</guid></item><item><title><![CDATA[New comment by chobytes in "Does mathematics need a philosophy?"]]></title><description><![CDATA[
<p>Classic problem of trying to draw definitive lines between these things. I would guess this is more motivated by the social aspects of academics today than any real issue.<p>In any event reading the work of philosophers has certainly made me a better thinker and mathematician. Without a broad base of thought one can easily get sucked into many intellectual traps and tar pits. In my case, I found Penelope Maddy and Wittgenstein to be helpful when I was figuring out what math "is".</p>
]]></description><pubDate>Thu, 16 Feb 2023 17:11:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=34821608</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=34821608</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34821608</guid></item><item><title><![CDATA[New comment by chobytes in "The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf]"]]></title><description><![CDATA[
<p>Maybe Schroder-Bernstein could simplify. Easier to write 2 injections.</p>
]]></description><pubDate>Thu, 12 Jan 2023 22:47:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=34361347</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=34361347</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34361347</guid></item><item><title><![CDATA[New comment by chobytes in "The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf]"]]></title><description><![CDATA[
<p>There is a general notion of derivations I believe theyre using. Ie anything that obeys the Leibniz rule (fg)' = f'g+fh'.<p>Its an informative exercise to see how many of the standard rules of calculus can be derived using just this rule.</p>
]]></description><pubDate>Thu, 12 Jan 2023 22:36:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=34361238</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=34361238</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34361238</guid></item><item><title><![CDATA[New comment by chobytes in "The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf]"]]></title><description><![CDATA[
<p>Ah, I think I see. Open sets are just how we encode information topologically. Theyre sort of the "atoms" of topology; the types of opens sets you have say how the topology behaves.<p>In particular open sets are neighborhoods of all of the points they contain. This means they contain all the topological information about all of their points.<p>Closed sets are not neighborhoods of their points in general. Eg [0,1] contains no neighborhood of 0 or 1. Then we would require knowledge of the space around those points to know how a function behaves just on [0,1].<p>In standard calculus this amounts to "taking the left and right limits".<p>Does that help?</p>
]]></description><pubDate>Thu, 12 Jan 2023 22:32:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=34361203</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=34361203</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34361203</guid></item><item><title><![CDATA[New comment by chobytes in "The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf]"]]></title><description><![CDATA[
<p>Can you give an example of what you mean?</p>
]]></description><pubDate>Thu, 12 Jan 2023 20:50:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=34360060</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=34360060</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34360060</guid></item><item><title><![CDATA[New comment by chobytes in "The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf]"]]></title><description><![CDATA[
<p>The concept of a derivation on types could be interesting... but the notation is a bit much for me.<p>Differential fields are (as I understand it) a hot topic at the moment. Maybe there is some interesting crossovers.</p>
]]></description><pubDate>Thu, 12 Jan 2023 20:29:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=34359836</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=34359836</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34359836</guid></item><item><title><![CDATA[New comment by chobytes in "Show HN: Kandria, an action RPG made in Common Lisp, is now out"]]></title><description><![CDATA[
<p>Congratulations! Ive been following development with your blog/yt for a bit, so Im excited to finally check it out.</p>
]]></description><pubDate>Wed, 11 Jan 2023 16:35:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=34340382</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=34340382</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34340382</guid></item><item><title><![CDATA[New comment by chobytes in "What does it feel like to do maths? (2016)"]]></title><description><![CDATA[
<p>Ime its like solving puzzles. Maybe like getting really into Go or some similar game.</p>
]]></description><pubDate>Wed, 07 Dec 2022 15:03:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=33895084</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=33895084</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33895084</guid></item><item><title><![CDATA[New comment by chobytes in "Smartphones wiped out 97% of the compact camera market"]]></title><description><![CDATA[
<p>Fuji XEs are nice, small, relatively cheap bodies with interchangeable lenses. If youre looking for something small and know how to (or are willing to learn to) use a camera, thats what I recommend.<p>If portability is not a concern, you can pick up used high end Nikon DSLRs and F mount lenses very cheaply right now. Nikon is going all in on mirrorless now so this stuff is "last gen" hence cheap.<p>Otherwise, just avoid Canon. Theyre becoming increaingly scummy and you probably dont wanna get caught locked into their system.</p>
]]></description><pubDate>Fri, 02 Dec 2022 16:54:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=33833040</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=33833040</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33833040</guid></item><item><title><![CDATA[New comment by chobytes in "Smartphones wiped out 97% of the compact camera market"]]></title><description><![CDATA[
<p>I got a tiny Fuji mirrorless for my "best camera is the one with you" checkbox too. Next time I catch gear acquisition fever though, I might have to get one of those little Ricohs.</p>
]]></description><pubDate>Fri, 02 Dec 2022 16:43:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=33832870</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=33832870</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33832870</guid></item><item><title><![CDATA[New comment by chobytes in "Smartphones wiped out 97% of the compact camera market"]]></title><description><![CDATA[
<p>The optics depend so much on physical size that phones have to fake this stuff.
Idk why apple doesnt just cut the crap and just release like a m43 with swappable glass rather than all this silly multiple sensor stuff.</p>
]]></description><pubDate>Fri, 02 Dec 2022 14:59:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=33831303</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=33831303</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33831303</guid></item><item><title><![CDATA[New comment by chobytes in "Smartphones wiped out 97% of the compact camera market"]]></title><description><![CDATA[
<p>Im surprised by all the folks who always pop into these threads saying theyve replaced their XXXX-expensive-dedicated-camera with their phone.
Outside of wide DoF, wide FoV, well lit shots I find my camera and iphone to be pretty incomparable.<p>If apple starts letting us swap the glass out one day we might be have a fight but currently I just dont see it being one at all.</p>
]]></description><pubDate>Fri, 02 Dec 2022 14:51:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=33831179</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=33831179</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33831179</guid></item><item><title><![CDATA[New comment by chobytes in "Why I am learning category theory"]]></title><description><![CDATA[
<p>Yeah Im unsure what the point is. The motivation for CT in programming seems weak.<p>Eg Stuff about types and endofunctors feels like trivial examples using the jargon just to use it. OTOH discovering the Top->Grp functor in algebraic topology is kind of unexpected and revealing.</p>
]]></description><pubDate>Wed, 30 Nov 2022 18:26:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=33805214</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=33805214</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33805214</guid></item><item><title><![CDATA[New comment by chobytes in "Capsaicin is a psychoactive substance"]]></title><description><![CDATA[
<p>Eating super spicy food definitely leaves me feeling kind of drunk.
Have met others who have this and others who doesnt believe me/think Im exaggerating.</p>
]]></description><pubDate>Tue, 29 Nov 2022 13:18:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=33787200</link><dc:creator>chobytes</dc:creator><comments>https://news.ycombinator.com/item?id=33787200</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33787200</guid></item></channel></rss>