<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: robcohen</title><link>https://news.ycombinator.com/user?id=robcohen</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 17 Aug 2026 06:48:39 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=robcohen" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by robcohen in "AI isn’t outthinking mathematicians, it’s out-remembering them"]]></title><description><![CDATA[
<p>Yes I was (and am) precisely the same way. This is why I think I'm so awful at foreign languages.</p>
]]></description><pubDate>Sun, 16 Aug 2026 19:18:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=49322809</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=49322809</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49322809</guid></item><item><title><![CDATA[New comment by robcohen in "US Military's cyber command unit grapples with cluster of deaths by suicide"]]></title><description><![CDATA[
<p>> key organizer for the Islamist militant group al-Qaeda.<p>Yeah, I don't see a problem here. Due process, slippery slope sure... but this was a cut and dry case. I've got better things to do with my time than be concerned with this.</p>
]]></description><pubDate>Sun, 09 Aug 2026 17:34:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=49233509</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=49233509</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49233509</guid></item><item><title><![CDATA[New comment by robcohen in "Ask HN: What Linux distro do you daily drive?"]]></title><description><![CDATA[
<p>NixOS. Why would anyone use anything else except out of ignorance? Maybe QubesOS makes sense.</p>
]]></description><pubDate>Fri, 24 Jul 2026 02:13:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49030518</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=49030518</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49030518</guid></item><item><title><![CDATA[New comment by robcohen in "Ask HN: What Are You Working On? (July 2026)"]]></title><description><![CDATA[
<p>I'm working on rustledger <a href="https://rustledger.github.io" rel="nofollow">https://rustledger.github.io</a> a plain-text accounting software (Beancount spec implementation) in Rust.</p>
]]></description><pubDate>Mon, 13 Jul 2026 00:28:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=48886375</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=48886375</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48886375</guid></item><item><title><![CDATA[New comment by robcohen in "Ubisoft co-founder Claude Guillemot has died in a plane crash"]]></title><description><![CDATA[
<p>Happy to let you know once I finish the LSRM course at rainbow aviation next year when I'll work on experimentals and Rotax engines. I'm waiting for the MOSAIC refresh that's expected this year to take the new course.</p>
]]></description><pubDate>Sun, 28 Jun 2026 23:05:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48712706</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=48712706</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48712706</guid></item><item><title><![CDATA[New comment by robcohen in "Professor denounces mass AI fraud on an exam at Brown"]]></title><description><![CDATA[
<p>So the logical entailment here is what? That everyone should have the dexterity of a dental surgeon so we can save the 7000 dental surgeons 3 months of training? Am I missing something?</p>
]]></description><pubDate>Sun, 28 Jun 2026 23:02:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=48712677</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=48712677</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48712677</guid></item><item><title><![CDATA[New comment by robcohen in "Ubisoft co-founder Claude Guillemot has died in a plane crash"]]></title><description><![CDATA[
<p>So right now, A&Ps make about 120-150 per hour, and they have the skills to get hired at dealerships where the hourly is above 200. There are not enough A&Ps.<p>I understand the logic you're using when you say you're happy that the standards are high. What you don't understand is how many A&Ps pencil whip annuals, or overlook corrosion or other safety issues all the time. They are overworked, and spend their time focused on a lot of box checking things that do not matter much and not enough time focusing on the things that do.<p>Let me make it clearer. If you used the same standards for your car, you'd have to get it fully reinspected every year and fix everything. A little corrosion on your hubcaps? Replace all of them (at 20x the cost you're used to). A chip in your windshield (replace the entire windshield at 10x the cost). Etc etc.<p>Source: I am studying for the A&P and I own a Cessna 182. The regs really do need to change for smaller certificated aircraft (such as changing annuals to semi-annuals). Look up Mike Busch and his videos on what reforms should look like.<p>I just had my plane in for an annual. No significant issues. Took 5 months. My plane was in the shop for 5 months. Remember, this is required ANNUALLY. That's how bad the shortage is right now. It's bad enough that I'm willing to take 6 months off work to go __become__ an A&P so I don't need to deal with them anymore.</p>
]]></description><pubDate>Sat, 20 Jun 2026 16:31:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=48610535</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=48610535</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48610535</guid></item><item><title><![CDATA[New comment by robcohen in "Plain text has been around for decades and it’s here to stay"]]></title><description><![CDATA[
<p>Hey I'm working on a rust implementation of Beancount, if you get a chance check it out. <a href="https://rustledger.github.io" rel="nofollow">https://rustledger.github.io</a> .<p>I'm also hoping to put together a standards body that can formalize plain-text accounting standards too so others can more easily implement their own systems that conform to the standard.</p>
]]></description><pubDate>Sun, 26 Apr 2026 00:34:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47906137</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=47906137</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47906137</guid></item><item><title><![CDATA[New comment by robcohen in "Monero Community Crowdfunding System"]]></title><description><![CDATA[
<p>This is just untrue.
If someone cheats in lightning, and you demonstrate they cheated as you describe, then you get all of the locked BTC as a reward. This is on layer 1. Essentially you can easily prove your nonce was signed more recently.</p>
]]></description><pubDate>Tue, 21 Apr 2026 14:41:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=47849484</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=47849484</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47849484</guid></item><item><title><![CDATA[New comment by robcohen in "Student beauty and grades under in-person and remote teaching"]]></title><description><![CDATA[
<p>If you had that system, and I was Elon Musk's kids, I would feel entirely justified in paying half the taxes society expects me to pay. Let's see if that logic works both ways.</p>
]]></description><pubDate>Mon, 23 Mar 2026 14:29:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=47490064</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=47490064</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47490064</guid></item><item><title><![CDATA[New comment by robcohen in "Hollywood Enters Oscars Weekend in Existential Crisis"]]></title><description><![CDATA[
<p>Actually, yes, I do think that netflix could do their job much cheaper. I use putflix, which uses put.io for $0.99 per month. Better quality streaming than netflix, no forced ads, and they can make it work for $1. Maybe it's the model where my monthly subscription pays for their entire catalog that's broken. Maybe it should just be a la carte licensing.<p>Either way, until the industry lets me pay directly to the org that literally made the movie, I'll just pirate.<p>I do want to pay the artists that make the films. I think the most viable way to do this is via cryptocurrency associated with social media accounts, and then validate ownership by having owners post a magic validation link. This way I can send artists money and it's on them to go get it if they want it.</p>
]]></description><pubDate>Sun, 15 Mar 2026 20:21:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=47391455</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=47391455</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47391455</guid></item><item><title><![CDATA[New comment by robcohen in "Proton Mail Helped FBI Unmask Anonymous 'Stop Cop City' Protester"]]></title><description><![CDATA[
<p>> Proton only has access to your IP and device ID, not your data.<p>I like Proton. I use Proton.<p>However, the problem with proton is that if you access your email via a web browser, there's nothing stopping protonmail (to my knowledge) from reading your email from within their webapp via JS. This type of attack could be targeted at the behest of authorities.<p>So, actually, Proton COULD read your email (IFF you use webmail).</p>
]]></description><pubDate>Thu, 05 Mar 2026 22:50:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=47268354</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=47268354</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47268354</guid></item><item><title><![CDATA[New comment by robcohen in "Jolla phone – a full-stack European alternative"]]></title><description><![CDATA[
<p>Seems like a very poor choice to build in a headphone jack. Why not just use usb c to headphone adapter?</p>
]]></description><pubDate>Mon, 02 Mar 2026 16:59:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=47220636</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=47220636</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47220636</guid></item><item><title><![CDATA[New comment by robcohen in "Real-time estimates of animals consumed by humans worldwide"]]></title><description><![CDATA[
<p>So you think the data is wrong?</p>
]]></description><pubDate>Wed, 11 Feb 2026 13:05:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=46974462</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=46974462</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46974462</guid></item><item><title><![CDATA[New comment by robcohen in "Ask HN: What are you working on? (February 2026)"]]></title><description><![CDATA[
<p><a href="https://github.com/rustledger/rustledger" rel="nofollow">https://github.com/rustledger/rustledger</a> I'm building a Rust implementation of Beancount, the double-entry bookkeeping language. It covers the full Beancount syntax, all the booking methods, a BQL query engine, plugins (including rust and python). It works as both a CLI tool and a Rust library, and it compiles to WebAssembly too.<p><a href="https://github.com/rustledger/rustfava" rel="nofollow">https://github.com/rustledger/rustfava</a> This is a fork of Fava, the web UI that Beancount users know and love, but with the Python parser swapped out for rustledger running as WebAssembly. I packaged it up as a native desktop app using Tauri, so you just double-click to open your ledger files with no terminal or Python needed. It also works via Docker, PyPI, and Nix if that's more your thing.<p><a href="https://github.com/rustledger/pta-standards" rel="nofollow">https://github.com/rustledger/pta-standards</a> I started this project to create proper formal specifications for plain text accounting formats, covering Beancount, Ledger, and hledger. It includes EBNF/ABNF grammars, JSON Schema and Protobuf AST definitions, tree-sitter grammars, Alloy models for invariants, and conformance test suites. The idea is to make it possible for anyone to build a correct, interoperable PTA implementation without reverse-engineering existing tools.<p><a href="https://github.com/robcohen/peervault" rel="nofollow">https://github.com/robcohen/peervault</a> This is an Obsidian plugin that lets you sync your vaults directly between your devices over P2P connections, no central server involved. Has S3 fallback if you want. It uses Loro CRDTs so concurrent edits merge cleanly, and Iroh compiled to WASM handles the networking with NAT traversal and end-to-end encryption. Until iroh-docs or iroh-willow comes out with WASM support, this seems to be the best solution for obsidian syncing.</p>
]]></description><pubDate>Tue, 10 Feb 2026 14:03:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=46959847</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=46959847</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46959847</guid></item><item><title><![CDATA[New comment by robcohen in "Show HN: Printable Classics – Free printable classic books for hobby bookbinders"]]></title><description><![CDATA[
<p>Interesting. I like the idea of reprinting classics to all look identical as a way of designing a library. Would be interesting to select a set of books for your kid, have them printed, and just put them in their room. I wonder if any startups are doing this.</p>
]]></description><pubDate>Mon, 09 Feb 2026 22:56:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=46952757</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=46952757</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46952757</guid></item><item><title><![CDATA[New comment by robcohen in "I was right about ATProto key management"]]></title><description><![CDATA[
<p>Ah yes, the sybil attack.
This is why establishing an identity is useful, and worthwhile. An identity with no proof is likely not a real person, and therefore has little value in being advertised to.<p>If you're a real person, then yes, it is valuable to show you things.<p>Want to know how I'm right? Because fingerprinting browsers and tracking people is how we establish that they are real in the current advertising world. Advertisers pay for that. Thus it has value.</p>
]]></description><pubDate>Wed, 04 Feb 2026 02:59:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=46880902</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=46880902</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46880902</guid></item><item><title><![CDATA[New comment by robcohen in "Real-time estimates of animals consumed by humans worldwide"]]></title><description><![CDATA[
<p>The logical entailment is eventually your lineage will be wiped out on some timescale if they cannot compete. I guess this argument in null and void if you believe violence is obsolete.</p>
]]></description><pubDate>Tue, 03 Feb 2026 18:10:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=46874724</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=46874724</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46874724</guid></item><item><title><![CDATA[New comment by robcohen in "Waymo seeking about $16B near $110B valuation"]]></title><description><![CDATA[
<p>Personally, I find it odd to have interactions with anyone just based of transactionality. I want to interact with people because I have relationships with them. I've always found it hard to figure out exactly how nice to be with someone you don't know. I don't think this is a maladjustment on my part, I think you probably shouldn't be overly nice to people before you establish trust with them... and that takes time.</p>
]]></description><pubDate>Mon, 02 Feb 2026 16:49:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=46858142</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=46858142</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46858142</guid></item><item><title><![CDATA[New comment by robcohen in "Real-time estimates of animals consumed by humans worldwide"]]></title><description><![CDATA[
<p>India — 20-30% vegetarian — 167 cm avg male height<p>Taiwan — 12-13% vegetarian — 174 cm avg male height<p>Mexico — 10-19% vegetarian — 170 cm avg male height<p>Italy — ~10% vegetarian — 174 cm avg male height<p>Brazil — 8-14% vegetarian — 176 cm avg male height<p>UK — ~7% vegetarian — 178 cm avg male height<p>Australia — 5-6% vegetarian — 179 cm avg male height<p>Switzerland — 5-9% vegetarian — 179 cm avg male height<p>Austria — 5-9% vegetarian — 179 cm avg male height<p>Germany — 4-8% vegetarian — 180 cm avg male height<p>I mean, if you think height doesn't matter for men, I think you may want to think about it.</p>
]]></description><pubDate>Mon, 02 Feb 2026 16:05:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=46857556</link><dc:creator>robcohen</dc:creator><comments>https://news.ycombinator.com/item?id=46857556</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46857556</guid></item></channel></rss>