<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: arlort</title><link>https://news.ycombinator.com/user?id=arlort</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 06 Sep 2026 08:35:36 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=arlort" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by arlort in "Fermat's Last Theorem in Lean 4"]]></title><description><![CDATA[
<p>In addition to what others added below you might be interested in this postmortem <a href="https://leodemoura.github.io/blog/2026-8-24-postmortem-for-the-kernel-soundness-bug-hunt/" rel="nofollow">https://leodemoura.github.io/blog/2026-8-24-postmortem-for-t...</a></p>
]]></description><pubDate>Sat, 05 Sep 2026 05:08:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=49573245</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=49573245</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49573245</guid></item><item><title><![CDATA[New comment by arlort in "Europe's summer drought is so extreme that desertification is a growing threat"]]></title><description><![CDATA[
<p>Big cities are not big because of tourism.<p>Unless you count the historical city center of Venice as a big city I doubt you'd get many big cities getting even close to those numbers<p>I can't easily/quickly find some numbers but if we want to accept, with a grain of salt, Gemini research on this even in Venice (I think it counts Mestre as well) it's ~15% and that's the highest it found.</p>
]]></description><pubDate>Sun, 30 Aug 2026 16:35:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=49500191</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=49500191</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49500191</guid></item><item><title><![CDATA[New comment by arlort in "AMD acquires Taalas to boost inference performance by etching models in silicon"]]></title><description><![CDATA[
<p>steadily heading towards the final goal of computers being composed of pluggable crystals as stargate intended</p>
]]></description><pubDate>Fri, 07 Aug 2026 07:37:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=49207084</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=49207084</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49207084</guid></item><item><title><![CDATA[New comment by arlort in "'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling"]]></title><description><![CDATA[
<p>That's only partially true<p>In this case my understanding is that they determined vpn-s as a tool to fall outside the scope of the law and so they struck down an attempt to enforce the law<p>If the law got changed so that vpn-s are now within the scope of the new law then you'd expect them to not apply the same reasoning anymore in examining a similar case<p>Judicial review would come into play if the challenge was about the updated law being inconsistent with some more important law such as the treaties or charter</p>
]]></description><pubDate>Wed, 22 Jul 2026 10:37:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=49004562</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=49004562</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49004562</guid></item><item><title><![CDATA[New comment by arlort in "The EU is about to sell our most sensitive data to the US for visa-free travel"]]></title><description><![CDATA[
<p>There's some level of difference to be fair<p>Hacking is a concern in both but the bigger issue is potential for abuse of power.<p>In the case of border checks the target is by necessity someone that isn't a citizen. This means that:<p>1. We generally afford them less safeguards than citizens so it creates less precedent (both legal and in terms of overton window)<p>2. The potential for abuse is ultimately less because a traveler on a short term visa is unlikely to still be in the country / unable to leave if a hostile government comes to power and intends to abuse the data<p>Also fingerprints and a picture are significantly less invasive than pervasive video surveillance in public spaces</p>
]]></description><pubDate>Mon, 20 Jul 2026 15:06:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=48979922</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=48979922</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48979922</guid></item><item><title><![CDATA[New comment by arlort in "U.S. allows Anthropic to release Mythos AI to ‘trusted’ US organizations"]]></title><description><![CDATA[
<p>> hello beuracrates<p>Just in case you missed that class, taxes are determined by legislators</p>
]]></description><pubDate>Sat, 27 Jun 2026 19:12:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=48700847</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=48700847</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48700847</guid></item><item><title><![CDATA[New comment by arlort in "Alberta to hold referendum on whether to remain in Canada"]]></title><description><![CDATA[
<p>Also I believe there just isn't a constitutional mechanism in the UK for parliament to bind itself in such a way</p>
]]></description><pubDate>Fri, 22 May 2026 19:02:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=48240007</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=48240007</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48240007</guid></item><item><title><![CDATA[New comment by arlort in "Spain's parliament will act against massive IP blockages by LaLiga"]]></title><description><![CDATA[
<p>I don't think there's an injunction mechanism like that at the EU level<p>And even if there were I doubt the legal basis in EU law exists for such an injunction</p>
]]></description><pubDate>Thu, 30 Apr 2026 18:11:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=47966209</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=47966209</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47966209</guid></item><item><title><![CDATA[New comment by arlort in "Germany Overtakes US in Ammunition Production Capacity"]]></title><description><![CDATA[
<p>> the right framing is strategic autonomy from an unreliable partner<p>Yes but that's an uncomfortable framing for online-americans to use when they want some gotcha argument<p>And not a useful one for US administrations in the last 30 years (trump was far from the first one) to make because the (mostly) unstated assumption was that the vast majority of increased spending would go to american manufacturers to prop up american jobs</p>
]]></description><pubDate>Wed, 29 Apr 2026 07:47:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=47945291</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=47945291</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47945291</guid></item><item><title><![CDATA[New comment by arlort in "Zero-copy protobuf and ConnectRPC for Rust"]]></title><description><![CDATA[
<p>Would it be still a good idea if instead of being created / owned by google as an organization it was originally made by someone that didn't make billions by handling trillions of http requests over decades and you had to keep all of the bad initial api design choices going forward?</p>
]]></description><pubDate>Mon, 20 Apr 2026 13:03:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=47833700</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=47833700</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47833700</guid></item><item><title><![CDATA[New comment by arlort in "E2E encrypted messaging on Instagram will no longer be supported after 8 May"]]></title><description><![CDATA[
<p>I can think of a few reasons why a company built on profiling (and advertising to) user interests might be interested in the private conversations of their users</p>
]]></description><pubDate>Fri, 13 Mar 2026 17:02:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=47366935</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=47366935</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47366935</guid></item><item><title><![CDATA[New comment by arlort in "EU bans the destruction of unsold apparel, clothing, accessories and footwear"]]></title><description><![CDATA[
<p>> pieces of legislation were enacted and around 2,000 resolutions<p>I'm wondering if this includes regulatory agencies which in the US operate under the executive<p>I would guess it's included but the wording (act, resolution) is very "legislative" coded</p>
]]></description><pubDate>Mon, 16 Feb 2026 07:05:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47031798</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=47031798</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47031798</guid></item><item><title><![CDATA[New comment by arlort in "EU–INC – A new pan-European legal entity"]]></title><description><![CDATA[
<p>> this is adopted or not<p>It's not. However from the speech it sounds like the commission is ready to put forward their proposal soon-ish<p>After they do so the actual legislative process is going to start where the draft has to go through Parliament and the Council to become law<p>The legislative process is going to take time which is where the 2027 date in eu-inc.org comes from<p>I don't know if there will be legal or political issues around this that would delay adoption though</p>
]]></description><pubDate>Wed, 21 Jan 2026 11:28:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=46704125</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=46704125</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46704125</guid></item><item><title><![CDATA[New comment by arlort in "Cloudflare CEO on the Italy fines"]]></title><description><![CDATA[
<p>That's very much not the difference between common and civil law<p>If the law is constitutional it can't be thrown out by a judge in common law and if it's not it can be declared so in civil law<p>The difference between the two is more about what happens in the absence of a law</p>
]]></description><pubDate>Sat, 10 Jan 2026 06:46:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=46563400</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=46563400</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46563400</guid></item><item><title><![CDATA[New comment by arlort in "Nicolas Guillou, French ICC judge sanctioned by the US and “debanked”"]]></title><description><![CDATA[
<p>> has that made any impact on the war in Ukraine<p>The objective of the ICC is not to stop wars<p>The objective of the ICC is to provide a framework to enable prosecuting and punishing the people ordering particularly egregious acts in a way that is more consistent with liberal rule of law principles than post-hoc tribunals like after WW2 and that is more accessible to fragile / new countries due to having the legal infrastructure set up and at least partially legitimized by it being an international body<p>The fact that Putin (for example) might at some point get extradited / captured, prosecuted and jailed for whatever crimes he gets found guilty of is a moral good in and of itself<p>If this being done at the ICC rather than in an Ukrainian or Russian (in an hypothetical regime after Putin's) helps others accept the verdict as more based on fact than politics then that's why the ICC exists as an entity<p>If this makes someone down the line think twice about ordering war crimes then that's an added benefit but it's not the point</p>
]]></description><pubDate>Tue, 30 Dec 2025 13:34:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=46433181</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=46433181</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46433181</guid></item><item><title><![CDATA[New comment by arlort in "Nicolas Guillou, French ICC judge sanctioned by the US and “debanked”"]]></title><description><![CDATA[
<p>There's no such flaw in most cases brought to the ICC<p>The ICC is an international court but it administers trials (mostly) local to the members' jurisdiction so this point is moot. A warrant from the ICC doesn't ask the member states to go to war and hunt the target, it asks them to arrest them if the target is within their jurisdiction<p>The fact that the ICC warrant was unlikely to lead to Hamas' leaders arrest in the short term is not particularly meaningful<p>The "mostly" qualifier is because IIRC there are some provisions for truly extraterritorial prosecutions in the Rome treaty but I don't know that they've ever been actually used</p>
]]></description><pubDate>Tue, 30 Dec 2025 12:49:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=46432807</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=46432807</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46432807</guid></item><item><title><![CDATA[New comment by arlort in "EU Council Approves New "Chat Control" Mandate Pushing Mass Surveillance"]]></title><description><![CDATA[
<p>> the power to initiate legislation are completely immune to voter displeasure<p>Completely immune is overstating it, and the power to initiate legislation is not that meaningful given that the EC initiates what the council tells it to initiate and can't actually turn it into law without parliament and council</p>
]]></description><pubDate>Fri, 28 Nov 2025 12:20:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=46078007</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=46078007</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46078007</guid></item><item><title><![CDATA[New comment by arlort in "EU Council Approves New "Chat Control" Mandate Pushing Mass Surveillance"]]></title><description><![CDATA[
<p>They're not complicated for anyone with above room temperature IQ. And they're almost identical to how it works in the member countries anyway<p>And in a democracy if you don't know how your own laws are made the fault is always yours as a voter</p>
]]></description><pubDate>Fri, 28 Nov 2025 11:58:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=46077866</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=46077866</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46077866</guid></item><item><title><![CDATA[New comment by arlort in "EU Council Approves New "Chat Control" Mandate Pushing Mass Surveillance"]]></title><description><![CDATA[
<p>Because it doesn't, people are just embarrassingly ignorant of how the EU legislative process works so when a vote to give first approval to a text is cancelled before it takes place journalists and reddit all over pull out the mission accomplished banners and when a negotiating position is approved everyone has a surprised pikachu face<p>The "proposal" was made something like 3 years ago, the killing never happened and the passing, if it passes, will happen in at least one year from now because this will definitely take a long time to get through parliament and even longer to get through the trilogue.<p>The process is many things but quick it is not</p>
]]></description><pubDate>Fri, 28 Nov 2025 11:20:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=46077644</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=46077644</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46077644</guid></item><item><title><![CDATA[New comment by arlort in "EU Council Approves New "Chat Control" Mandate Pushing Mass Surveillance"]]></title><description><![CDATA[
<p>The council of the EU operates on a rotating chair model (which gets called Presidency, sometimes Presidency of the EU)<p>It's currently held by Denmark so it's the Danish delegation that's mostly doing the brokering etc for this semester</p>
]]></description><pubDate>Fri, 28 Nov 2025 11:12:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=46077590</link><dc:creator>arlort</dc:creator><comments>https://news.ycombinator.com/item?id=46077590</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46077590</guid></item></channel></rss>