Hacker News: cnidariahttps://news.ycombinator.com/user?id=cnidariaHacker News RSShttps://hnrss.org/hnrss v2.1.1Tue, 07 Jul 2026 08:23:05 +0000<![CDATA[New comment by cnidaria in "The work-from-home future is destroying bosses' brains"]]>> You're advocating for a position as "a guy in a room"

No they aren't. They just said they want to WFH.

]]>Thu, 10 Jun 2021 23:15:46 +0000https://news.ycombinator.com/item?id=27467268cnidariahttps://news.ycombinator.com/item?id=27467268https://news.ycombinator.com/item?id=27467268<![CDATA[New comment by cnidaria in "Counterexamples in Type Systems"]]>I don't get it, do you feel like you need a class in a university to learn programming? Source code is nothing but formal notation. The fact that it kind of looks like English text if you squint makes no difference, as far as I'm concerned. There's only a handful of symbols you have to learn to read type theory stuff.

]]>Mon, 24 May 2021 18:04:52 +0000https://news.ycombinator.com/item?id=27267672cnidariahttps://news.ycombinator.com/item?id=27267672https://news.ycombinator.com/item?id=27267672