<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: _proofs</title><link>https://news.ycombinator.com/user?id=_proofs</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 22 Jun 2026 15:54:51 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=_proofs" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by _proofs in "Perplexity is using stealth, undeclared crawlers to evade no-crawl directives"]]></title><description><![CDATA[
<p>this seems like semantics and corporate hand-waving -- that's not what is conveyed to the user in what i have observed as the context of paid services and the promises asserted around what a purchase gets a customer.<p>in the subsidized example, xm/Sirius is marketed to users as an "ad-free paid radio broadcast"; the marketing literally attempts to leverage the notion of it being ad-free <i>as a consequence of your purchase (power)</i> in order to highlight its supposed competitive edge and usefulness, and provide the user an incentive to spend money, except for the fact that the marketing is false. you still get served promotions and ads, just less "conventional" ads.<p>i go to a football game and im literally inundated with ads -- the <i>whole</i> game has time stoppage dedicated to serving ads. i guess my season ticket purchase with the hopes of seeing football in person is.. apparently not spending enough money?<p>i see this as attempting to move the goalposts and gaslight users on their purchase expectations, as a way to offload the responsibility and accountability back onto the user -- "you don't pay enough, you only <i>think that you pay enough</i>, so we are still going to serve you ads because <insert financial justification here around the expectations we'e undermined>.<p>why then is there <i>any</i> expectation of a service being ad-free upon purchasing?<p>who the hell actually enjoys sitting through 1.5 hours of advertisements and play stoppage?<p>over time users have been conditioned to just tolerate it, and over time, the advertising reclaims ground it previously gave up one inch at a time in the same way people are price-gouged in those stadiums -- they don't have much alternative, but apparently the problem is the user should fork up more money for tickets so as to align their expectations with reality? while they're getting strong-armed at the concession stand via proximity and circumstance and lack of competition, no less.<p>are you really trying to tell me the problem there is, they need to make... more money? and THEN and only THEN we can have ad-free, paid for entertainment otherwise known as american football? is this really about user expectations, or is this about companies wanting their cake and eating it, too?</p>
]]></description><pubDate>Tue, 05 Aug 2025 16:54:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=44800622</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44800622</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44800622</guid></item><item><title><![CDATA[New comment by _proofs in "Perplexity is using stealth, undeclared crawlers to evade no-crawl directives"]]></title><description><![CDATA[
<p>if you send your personal shopper to a store, and the business is... closed for business, or refusing you entry, and you just... go in anyway.<p>that's called breaking and entering, and generally frowned upon -- by-passing the "closed sign".</p>
]]></description><pubDate>Tue, 05 Aug 2025 01:14:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=44793268</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44793268</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44793268</guid></item><item><title><![CDATA[New comment by _proofs in "Perplexity is using stealth, undeclared crawlers to evade no-crawl directives"]]></title><description><![CDATA[
<p>this is such a wild comment -- there are countless products where regardless of purchase -- the user is still served advertisements. i have no idea what reality, or timeline, this comment belongs in.<p>broadcast television, paid streaming entertainment is just straight up the most glaringly obvious example of a paid service overflowing with advertisements.<p>paid radio broadcasts (xm/Sirius).<p>operating systems (windows serves you ads any chance it gets).<p>monthly subscriptions to gyms where youre constantly hit with ads, marketing, and promotions be it at the gym or via push notification (you got opted into and therefore have to opt out of intentionally after the service is paid).<p>mobile phones, especially prepaid come LOADED with ads and bloatware.<p>i mean the list goes on -- you cannot be serious.</p>
]]></description><pubDate>Tue, 05 Aug 2025 01:12:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=44793261</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44793261</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44793261</guid></item><item><title><![CDATA[New comment by _proofs in "We may not like what we become if A.I. solves loneliness"]]></title><description><![CDATA[
<p>uhhh, while covid affected things this certainly has not been the case for my life at all.<p>the last 7 years of my life have been filled with nothing but community. from skate diys and meetups, and other outdoor activities to, skate diys, bars, live music, and gym communities (once regular programming resumed post covid).<p>if you feel this isolated i am inclined to ask -- what is it about your life that seemingly lacks these things? i have somehow managed to find community wherever i go and wherever my interests guide me.<p>what experience of yours caused you to arrive at "they actually don't"?<p>people in my city are always out and about and socializing and walking their dogs or getting drinks or coffee or working remotely or at work spaces or in offices or whatever. they go out on weekends and drink and eat and hang with friends.<p>i recently went to berlin and as an american i could not get enough of the summer vibe, the sparkaufts and casual communal hangs and byob bars.<p>where do you live?</p>
]]></description><pubDate>Sun, 03 Aug 2025 04:27:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=44774088</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44774088</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44774088</guid></item><item><title><![CDATA[New comment by _proofs in "Gemini 2.5 Deep Think"]]></title><description><![CDATA[
<p>my recent experience with flash and using it to prototype a c++ header i was developing:<p>- it was great to brainstorm with but it routinely introduced edits and dramatic code changes, often unnecessary and many times causing regressions to existing, tested code.
- numerous times recursion got introduced to revisions without being prompted or without any justified or good reason
- hallucinated a few times regarding c++ type deduction semantics<p>i eventually had to explicitly tell it to not introduce edits in any working code being iterated on without first discussing the changes, and then being prompted by me to introduce the edits.<p>all in all i found base chatgpt a lot more productive and accurate and ergonomic for iterating (on the same problem just working it in parallel with gemini).<p>- code changes were not always arbitrarily introduced or dramatic
- it attempted to always work with the given code rather than extrapolate and mind read
- hallucinated on some things but quickly corrected and moved forward
- was a lot more interactive and documenting
- almost always prompted me first before introducing a change (after providing annotated snippets and documentation as the basis for a proposed change or fix)<p>however, both were great tools to work with when it came to cleaning up or debugging existing code, especially unit testing or anything related to TDD</p>
]]></description><pubDate>Sat, 02 Aug 2025 19:02:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=44770374</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44770374</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44770374</guid></item><item><title><![CDATA[New comment by _proofs in "4k NASA employees opt to leave agency through deferred resignation program"]]></title><description><![CDATA[
<p>sorta sounds like altered carbon's "meth" class of wealth.</p>
]]></description><pubDate>Sun, 27 Jul 2025 17:53:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=44703117</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44703117</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44703117</guid></item><item><title><![CDATA[New comment by _proofs in "Why MIT switched from Scheme to Python (2009)"]]></title><description><![CDATA[
<p>programmers, and good ones imo, are almost always polyglots on some level, and i tend to think have a better than average ability to even pick up natural languages.<p>programming languages have a small, manageable and finite set of vocabulary, idioms, and constructs that most languages share but express differently depending on their intended use. a programmer fluent in programming will be able to pick up most languages. how those pieces are cobbled together to form more complicated abstractions becomes the skill obv.<p>that does not mean they'll be an expert right away, but it does mean they are usually competent enough at minimum to dive in and work with it just like any other tool -- they know they'll need a screwdriver, maybe a hammer, so they look up what it looks like and how it is used.<p>my daily drivers are python, cmake/Makefiles, c++, and c, with a sprinkling of bash, powershell.<p>i've worked with microsoft stacks C#/SQL, JavaScript, and i've written a ton of Lua. i've studied concepts and swe fundamentals in languages i don't really write code in and transcribe into code i do intend to write code in. i learned mostly using Lua first, then i picked up c++.<p>these are just the tools of my job overall. my main skill is communication and learning imo, and knowing which tools are better suited for a task at hand depending on requirements and limitations (mine or technical or both).</p>
]]></description><pubDate>Fri, 25 Jul 2025 21:17:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=44688583</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44688583</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44688583</guid></item><item><title><![CDATA[New comment by _proofs in "I write type-safe generic data structures in C"]]></title><description><![CDATA[
<p>literally a good majority of existing embedded software coupled to applications in safety -- devices used by fire safety and first responders.</p>
]]></description><pubDate>Mon, 30 Jun 2025 23:01:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=44428830</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44428830</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44428830</guid></item><item><title><![CDATA[New comment by _proofs in "I write type-safe generic data structures in C"]]></title><description><![CDATA[
<p>because i work on a legacy project that is coupled to safety regulations and other quality guarantees, and we cannot just simply roll out a solution ported to c++ on the next release, or even tenth, so perhaps we make it work until we can.<p>however we can set a standard and expectation for <i>new</i> projects to use c++, and we do and set an expectation to target a specific std.<p>i see this sentiment quite a lot on hackernews -- feels like a lot of people saying "git gud" -- i would expect a lot more nuance applied here.</p>
]]></description><pubDate>Mon, 30 Jun 2025 22:58:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=44428813</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44428813</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44428813</guid></item><item><title><![CDATA[New comment by _proofs in "Parameterized types in C using the new tag compatibility rule"]]></title><description><![CDATA[
<p>i work in an embedded space in the context of devices and safety. if it were as simple as "just use c++ for these projects" most of us would use a subset, and our newer projects try to make this a requirement (we roll our own ETL for example).<p>however for some niche os specific things, and existing legacy products where oversight is involved, simply rolling out a c++ porting of it on the next release is, well, not a reality, and often not worth the bureaucratic investment.<p>while i have no commentary on the post because i'm not really a c programmer, i think a lot of comments forget some projects have requirements, and sometimes those requirements become obsolete, but you're struck with what you got until gen2, or lazyloading standardization across teams.</p>
]]></description><pubDate>Fri, 27 Jun 2025 21:31:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=44400426</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44400426</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44400426</guid></item><item><title><![CDATA[New comment by _proofs in "Occurences of swearing in the Linux kernel source code over time"]]></title><description><![CDATA[
<p>they are contextual expressions often emphasizing an abstract though equally shared reality -- emotional states. sorta like how "doch" functions in german sometimes. and i definitely will debate it being universally understood semantics, esp for native english speakers.<p>do you know many people who interpret the emotional weight of "that's fucking stupid" versus "that's stupid" as the same?<p>anecdotally everyone in my worldview would react differently to both, and further reactions will depend largely on <i>how</i> it is said -- not because of some ambiguous meaning collectively (mis)understood.<p>i have always found people who want to wipe clean the slate of language and all its slang and "offensive" words in favor of established definitions and order -- contextually or otherwise -- often lack a lot of emotional expression in their correspondence.<p>people emote. physically and verbally. and we have all kinds of mechanics to capture the nuances in contextual languages -- slang is one of the best features, and the nuances can run super deep, nuances a lot of formal writing or correspondence can lose in its rigor and strictness. especially not withstanding cadence and emotion.<p>youre going to have vastly different experience reading stevenson and then say twain, for example. even speaking it aloud -- but i encourage you to spot a common denominator.<p>their dialogue often reflects the character, the context, and the emotional state, and largely not formal. and there's a heft amount of literature that utilizes formal writing in its dialogue, and one of the first things lost in the narrative is cohesion, and therefore immersion, bc that's not how most people speak -- only a distinct subset talks like that culturally and even then it is still not totally real life.<p>humans are very rarely <i>strictly</i> formal in correspondence in practice -- we only established <i>professional</i> dialogue as a norm to separate the haves from the have-nots, and then made it a moral high-ground to keep the "peasants" in line.<p>express yourselves. say what you mean. stop letting people convince you that you should be scared of saying something like "that's fucking stupid" bc it means more for you to say "that's stupid" for the sake of arbitrary professional standards.</p>
]]></description><pubDate>Tue, 17 Jun 2025 18:04:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=44301979</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=44301979</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44301979</guid></item><item><title><![CDATA[New comment by _proofs in "Madison Square Garden's surveillance banned this fan over his T-shirt design"]]></title><description><![CDATA[
<p>this is just downright false unless a transfer occurred or you are trying to get into a venue's pavilion, and security's being extra detailed.<p>source: literally seen quite a few hundreds of concerts.</p>
]]></description><pubDate>Sun, 30 Mar 2025 19:44:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=43526945</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=43526945</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43526945</guid></item><item><title><![CDATA[New comment by _proofs in "Tmux – The Essentials (2019)"]]></title><description><![CDATA[
<p>sure -- tmux is very much so crucial to my dev workflow, which is primarily a terminal-based dec env: nvim + lsp + daps + snippets + other extensions that are useful for dev.<p>i have splits for dev, splits for building and testing, splits for sandboxing -- it allows me to multi-task with more screen real estate than using something like vscode or vstudio or some other conventional IDE.</p>
]]></description><pubDate>Wed, 05 Mar 2025 15:28:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=43267841</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=43267841</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43267841</guid></item><item><title><![CDATA[New comment by _proofs in "2025 Hiring Pause"]]></title><description><![CDATA[
<p>yeah, and also one's personal responsibility to make sure they are indeed learning and practicing.<p>implying i need to be dependent on a school to help me <i>retain learning</i> is a concept that is foreign to me. if i had that kind of dependency in my learning life, i'd be unemployed.</p>
]]></description><pubDate>Sun, 02 Mar 2025 22:33:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=43235977</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=43235977</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43235977</guid></item><item><title><![CDATA[New comment by _proofs in "I put my heart and soul into this AI but nobody cares"]]></title><description><![CDATA[
<p>this is fundamentally not true. while math has a tone of rote learning in the same sense one may learn grammars in their native tongue over time, formulating proofs or fluent articulations of quantities involves the same problem solving and critical thinking one also applies to thoughtful communication.<p>math is communication, and the deeper you go, the more fluent you become, and the more open ended your application gets because you are problem solving, which is a direct consequence of applying critical thinking skills -- you have to consider your solution against a set of possible solutions, and determine pros, cons, and also attempt to disprove your own ideas.<p>wild statement.</p>
]]></description><pubDate>Sat, 22 Feb 2025 15:22:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=43139761</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=43139761</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43139761</guid></item><item><title><![CDATA[New comment by _proofs in "Beej's Guide to Git"]]></title><description><![CDATA[
<p>this is solved by branching your feature again and rebasing from that or the feature original <i>in case the rebase gets fucked</i>.<p>you don't have to treat rebases or merges as this black hole of "i have no recourse for not getting it perfect the first time".</p>
]]></description><pubDate>Fri, 07 Feb 2025 18:28:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=42975853</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=42975853</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42975853</guid></item><item><title><![CDATA[New comment by _proofs in "Beej's Guide to Git"]]></title><description><![CDATA[
<p>this does not sound like a problem with git, but a problem with culture and developer practices, and bad workflows.<p>in my 8 years of using git as a primary tool for vc, i have not once run into confusion on how to switch branches, create branches, prune branches, sync remotes with locals, and other common workflows.<p>does that mean i have only dealt with simple merges or haven't fucked something up bc i did not understand something and made things way harder than necessary (merging/replaying 50 commits vs squash rebase workflows, for example).<p>and no, you don't need to 'fetch' before you switch, fetching is only relevant if you're needing to bring in remotes or you're preparing for merges etc.<p>someone committing bunk to a main branch or something considered a production branch is not a git problem -- that's just bad development practices, and the onus is on the developer there to not do that and to understand <i>why</i> it is bad.<p>as for your other complaints, these are much more easily managed when the developers are not just arbitrarily commiting to branches without any strategic thought, but to point out, a lot of those problems are solved via working with commit hashes and branching, assuming you have already plugged the leak that is committing breaking changes to a main branch.<p>why are breaking changes that are mega changes even making it through to main?</p>
]]></description><pubDate>Fri, 07 Feb 2025 18:24:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=42975811</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=42975811</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42975811</guid></item><item><title><![CDATA[New comment by _proofs in "Beej's Guide to Git"]]></title><description><![CDATA[
<p>perhaps it is time to take some personal accountability instead of lamenting the complexity in order to avoid the (overwhelming) challenge and learning.<p>yes, to understand an application, you must also understand the underlying data structures, architectures, models, use cases -- i am not sure what there's to roll eyes at. but there's no requirement that says that understanding has to be <i>deep</i> in order to work on it, or use it.<p>i think if you treat it like cleaning a large room, by picking out one corner at time and focusing on cleaning that before moving on, you'll find that the room is cleaned in no time, and git isn't anywhere nearly as complicated as it may feel.<p>there is absolutely no reason to digest a guide this dense for use-cases in every day production settings, bc those usages only make up about 10% of what this guide covers.<p>yes, learning things can be overwhelming, challenging, full of darkness and terrors, but that's what learning is, until you've learned.<p>but here is the catch imo: once you've learned, you don't stop learning and the challenges don't go away. you just become better at navigating the darkness, bc you get better at learning and managing feelings of overwhelm and confusion which are by products of complexity -- real or perceived or both.<p>jump in. it ain't that scary, even if it feels scary. i promise. i've been there, and you can overcome it.</p>
]]></description><pubDate>Fri, 07 Feb 2025 18:14:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=42975675</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=42975675</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42975675</guid></item><item><title><![CDATA[New comment by _proofs in "Show HN: My C compiler compiled itself"]]></title><description><![CDATA[
<p>this reads more like you're anxiously anticipating criticism bc you've been given feedback in a bad manner before. i interpreted nothing in OPs post, or condescending.<p>as someone who works largely in C and C++ codebases, these kinds of comments are gems, especially when i learn something.<p>what about it seems condescending? we are on a public forum, literally designed for discussion -- unsolicited perspectives, factual or otherwise -- are the norm, not some off-beaten, micro-transgression.<p>to reciprocate using a similar tone to the one you used with OP: i just do not understand how people find this offenses -- what are you so sensitive about?</p>
]]></description><pubDate>Thu, 05 Dec 2024 05:23:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=42325216</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=42325216</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42325216</guid></item><item><title><![CDATA[New comment by _proofs in "What does this button do? – My new car has a mysterious and undocumented switch"]]></title><description><![CDATA[
<p>at this rate you might as well parade yourself naked around town or city, and advertise your medical history so that you can clearly demonstrate to the world your sanity.</p>
]]></description><pubDate>Sun, 01 Dec 2024 07:56:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=42286959</link><dc:creator>_proofs</dc:creator><comments>https://news.ycombinator.com/item?id=42286959</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42286959</guid></item></channel></rss>