MurphyA/hacker-news huggingface dataset:
by mjburgess | 2025-04-21 21:13:19+00:00
Any more than a defamation law suit?

Do you think it would be better to have people sue those who insult them on social media, in order to bankrupt them -- as in so-called Free Speech america? Where on earth do you imagine free speech is so protected that your worry is a (2 or 3) in 70 million-short that you'd have to talk to a police officier?

The idea that we have police investigating social media posts (and the like) is largely just made up. Its a handful of cases.

Do you understand that you cannot have 100% perfect decision making (of police, or anyone else) in a society -- and that the people who want you to demand this 100% are the ones organsising murders on these platforms? The ones kidnapping people and enslaving them in foreign prisons?

You're just playing a useful idiot. The idea that people in the UK are, at large, even aware of these cases is nonesense, let alone are worried about a police visit for a social media post. Just open twitter: are any of the millions of UK profiles in any sense "reserved" or chilled by these police visits?

The people who are spouting this nonesense are worried because they use these platforms to incite race riots whose aim is to kill people. Have a little perspective.
by alganet | 2025-04-21 21:13:32+00:00
Sure. I understand.

My work is with DSLs: domain specific languages. The work is in the idea realm (most of the time is spent there), not the source code implementation, which is often trivial once the language is developed.

The gratification also is different. Seeing others use the language is the best one can hope to achieve nowadays. Maybe publish a book about it, but that sounds more trouble than it is worth (judging by how books on patterns, a similar realm, are often misquoted and misused).

That's why all this talk about licenses sounds like nonsense.
by btilly | 2025-04-21 21:13:46+00:00
Except that this answer does not make sense. General Relativity predicts that if you fill flat space-time with matter, it will start to contract due to gravity. It is not uniform density by itself that prevented the early Universe from forming a giant black hole.

In fact one of the proposed cosmological models for our universe is that it has sufficient density to some day reverse its expansion and then fall in on itself into a giant black hole. See https://en.wikipedia.org/wiki/Big_Crunch for more.
by pcwalton | 2025-04-21 21:13:50+00:00
That's still just a function of type ∀K∀L.K → L with a bound on K. From a type theory perspective, a comptime argument, when the function is used in such a way as to return a type, is not a value, even though it looks like one. Rather, true or false in this context is a type. (Yes, really. This is a good example of why Zig reusing the keyword "comptime" obscures the semantics.) If comptime true or comptime false were actually values, then you could put runtime values in there too.
by godelski | 2025-04-21 21:14:06+00:00
I understand the argument. You can't have perfect defense and speedbumps are quite effective. I'm not trying to disagree with that.

But it does not seem like the solution is effective at mitigating bots. Presumably bots are going a different route considering how prolific they are, which warrants another solution. If they are going through this route then it certainly isn't effective either and also warrants another solution.

It seems like this obscurification requires a fair amount of work, especially since you need to frequently update the code to rescramble it. Added complexity also increases risks for bugs and vulnerabilities, which ultimately undermine the whole endeavor.

I'm trying to understand why this level of effort is worth the cost. (Other than nefarious reasons. Those ones are rather obvious)
by zahlman | 2025-04-21 21:14:16+00:00
3. It prevents the developer from trying

db.execute(f"QUERY WHERE name = {name}")

or

db.execute("QUERY WHERE name = %s" % name, ())

or other ways of manually interpolating the string - because `db.execute` can flag a `TypeError` if given a string (no matter how it was constructed) rather than a `Template` instance.
by alexdanilowicz | 2025-04-21 21:14:42+00:00
Our largest customers generally use us to prototype brand new UIs versus existing ones, so you're spot on.

We're certainly better at new UIs versus existing UIs. Existing UIs are tough because you need to first recreate what you have in the codebase first. This is a large reason why we built a Figma-like canvas (https://www.magicpatterns.com/docs/documentation/projects/ge...), so that you can reference existing designs to make new ones.

So, for example, you could make your navbar, button, dashboard, and then click on that and reference it to make another design.

P.S. if you're open to it, open a support chat or DM me? Would love to help you get more value and see what prompts are causing it to remove stuff. It can also be really frustrating when it removes features — what can be helpful is going back a version or also editing the code by hand. We've had code edit since day 1. Totally aligned everything needs to be a prompt to get the small details right.
by scott_w | 2025-04-21 21:14:52+00:00
> My only point has been, "Pythonic" things tend to be pretty liberal in what they accept

Being able to use a string as a string and an int as an int are not “pretty liberal in what they accept,” it’s just programming language theory 101! I think you’re mistaking duck typing for “liberal acceptance,” which are not the same thing. There’s always been an expectation that you should use compatible interfaces, even within the standard library. I’ve been bitten enough times by passing a generator in when a function expects a list, for example.
by WorldMaker | 2025-04-21 21:14:59+00:00
> Being forced to use a single specific type of string in all cases is just very different from how Python has traditionally operated.

Maybe that's partly the disconnect here? "t-string" is probably a confusing colloquial name because they aren't strings, they are Templates. The runtime type is a Template. It is a very different duck-type from a string. As a duck-typable object it doesn't even implicitly or explicitly act like a string, there's intentionally no `__str__()` method and `str(someTemplate)` doesn't work like you'd expect. It shouldn't be a surprise that there is also no implicit conversion from a string and you have to use its own literal syntax: it isn't a string type, it's a Template type.

Python here is still liberal with respect to Templates (it is still a duck type). If a function expects a Template and you don't want to use the t"" shorthand syntax nor use the Template constructor in string.templatelib, you just need a simple class of object that has an `__iter__()` of the correct shape and/or has `strings` and `values` tuples.

Sure, it may make sense for some types of APIs to support a Union of str and Template as "liberal" options, but it's a different class of liberal support from Union of list and tuple or Union of int and float which are closer "domains" of types. A Template isn't a string and at runtime looks nothing like one (despite how syntactically it looks like one at "compile time"). Given `__iter__()` in Template, it may make more sense/would be more "natural" to Union Template with List or Tuple more than with a single string.
by ash-ali | 2025-04-21 21:15:29+00:00
One of the biggest problems i have with running basic text editors like vim/nvim is the investment time to spin up a fully loaded workable development env; esp since i've never done it before. basic vim with some modifications in .vimrc is all i have and i know some of my colleagues are also this way!

nowadays though i really want to use LLMs to write code for me instead of switching contexts on different platforms. can i ask what you use for LLM stuff on nvim? how do you like it compared to running bare bones vim and switching platforms?
by jawns | 2025-04-21 21:15:34+00:00
I find it's very model-dependent. You would think that the more powerful models would work the best, but that hasn't been the case for me. Claude Sonnet tends to do the best job of understanding my intent and not screwing things up.

I've also found that test-driven development is even more critical for these tools than for human devs. Fortunately, it's also far less of a chore.
by IlikeKitties | 2025-04-21 21:15:43+00:00
This irks me A LOT and is simplified to the point of being incorrect, yet lots of people here make the same logical errors.

Protecting the contents of peoples devices and accounts with strong encryption and hardware security is great for the individual and protects them from thieves and governments alike. If Apple designed their devices so that they cannot unencrypt the content without the users secret passsword, that's sensible for a lot of users.

But E-Mail Addresses and Accounts are derivatives of your identity and companies should have ways of returning your accounts to you, even if the content is lost, in case of stolen identities.

I am pretty paranoid about this stuff and only store private data using encryption and on trusted devices running mostly hardened FOSS software (Graphene OS, Fedora Secure Blue, OpenSuse MicroOS, etc.) and my backups are rcloned encrypted to the cloud. Yet for my most important e-mail that is bound to paypal, banking, shopping etc. I use posteo. They do this exactly right. I have personally tested contacting their support to return access to the e-mail address in case of a "lost password". After some validation, they returned access for it to me, but the encrypted content was unrecoverable. That is exactly what any responsible company should do.
by SR2Z | 2025-04-21 21:16:03+00:00
I think the point here is that either Apple has the technical ability to access your account (in which case they will be forced to do it by the government regardless) or they don't (in which case this lawsuit is ridiculous).

The middle ground option where Apple has the ability to do this but is also somehow able to take a stand against the government is kind of difficult to support, because it doesn't make much sense.
by JKCalhoun | 2025-04-21 21:16:16+00:00
I still can't figure it out.

My daughter had her iPhone stolen in L.A. — she immediately wiped it remotely. The thieves were unable to access it.

I got her a new iPhone pretty fast (the budget one) and she was back in business, back in her iCloud account. (She was one of those that saw her device head to Asia. She got a handful of text messages pleading with her to remove the stolen device from her account but she ignored them.)
by wahnfrieden | 2025-04-21 21:16:41+00:00
I quit my job a couple years back to work on this app full-time, as well as its companion flashcard app, Manabi Flashcards. The goal is to help you learn through immersion and eventually replace some of your flashcard reviews time with reading (once I finish auto-reviews for flashcards)

What's special about it? Manabi Reader became popular as an Japanese-focused alternative to services like LingQ in that it locally tracks and analyzes all the words and kanji you read and study. It shows you which words are new and which you're currently learning via flashcards, so you can easily find content that suits your level and see what flashcards to prioritize adding. It also passively accumulates an on-device (and in your personal iCloud) corpus of example sentences from your reading. It’s also one of few ways to mine sentences including pitch accent directly into Anki on iPhone.

I had built this part-time while working over many years (starting with flashcards and then the reader app) but going full-time gave me the time to do a full rewrite: SwiftUI, native iOS + macOS, and an offline-first architecture that syncs with iCloud and my server in the background.

Although it has a companion SRS algorithm (SM-2 with FSRS coming soon) flashcard app, it's also excellent for mining Anki cards. This works with AnkiMobile on iOS and AnkiConnect on desktop.

You can use it like a web browser for the web, or subscribe to RSS feeds. It comes with a bunch of curated content by level. Recently I added EPUB support, pitch accents, and note-taking with todos.

I'm now almost done adding a manga mode via Mokuro, and Netflix/streaming video support via realtime captioning of audio streams.

Next I plan on adding more media types (video, YouTube, PDFs), AI functionality (grammar explanations, document Q&A, etc), Yomitan/Yomichan dictionaries for bilingual/monolingual EPWING and Wiktionary support, and more service integrations such as 2-way sync for WaniKani, JPDB, and existing Anki decks. I've begun work on these items and hope to share more soon.

I'd also like to make this app much more beginner-friendly so that people with zero Japanese knowledge can start learning. Currently it assumes you can read kana at least.
by bogwog | 2025-04-21 21:17:31+00:00
This is pretty much the exact same way I use Sublime (except the git diff stuff is done in Sublime Merge, which is a separate application)

I've tried switching to Kate a few times since I prefer open source tools, but it feels like a major step down UX-wise. My primary workstations have been Linux with KDE Plasma for many years, but I am not a huge fan of the KDE aesthetics (which seems to aim for maximizing clutter).

I'm generally not a picky person, but my text editor is by far my most-used tool, so it's an exception.
by michaelsbradley | 2025-04-21 21:18:23+00:00
Well, SSPX is a thing. I’ve never been to one of their chapels myself, though there is one here in St. Louis and some folks who now attend the local oratory run by the ICKSP used to be regulars there. As a group, they seem to have a bit of a chip on their shoulder (irregular communion and all that), which has not been my experience with the ICKSP and FSSP, who are in full communion with the local bishops and Rome, even if the most recent pope was not exactly gracious toward “trads”.
by w4rh4wk5 | 2025-04-21 21:18:45+00:00
Yes, certainly!

I've encountered and used this pattern in Python, Ruby, Haskell, Rust, C#, and maybe some other languages. It often feels nice to write, but reading can easily become difficult -- especially in Haskell where obscure operators can contain a lot of magic.

Debugging them interactively can be equally problematic, depending on the tooling. I'd argue, it's commonly harder to debug a pipeline than the equivalent imperative code and, that in the best case it's equally hard.
by gen220 | 2025-04-21 21:18:48+00:00
I'm somebody who used to think your way until very recently (long-time vim user, fast typer, etc.).

I'd recommend you give `aider` specifically a try. It's slowly taken over more and more of the "what" and "how" buckets outlined in the article, especially for large-surface-area code bases.

It turns out, for me at least, there is a big mental activation hurdle between "what" and "how". I need a lot of focus time to pivot between "what" and "how" efficiently, especially for work that spans large parts of the codebase, and work that I'm not super excited about doing. Using `aider` has lowered this activation threshold dramatically. It's made "writing code" about as simple as talking about a technical solution with an intelligent colleague.

I usually follow the format (1) describe the context of the app / problem you're trying to solve (2) describe what you know the solution will look like (3) ask it for clarifying questions / if it needs any examples or context to know the problem space better, and if the solution makes sense / do they see any issues with it? (4) ask it to outline the solution in greater detail, do not write code (5) add any clarifications, now do the thing.

i.e. it's kind of similar to interacting with a super fast, eager, indefatigable junior engineer. Sometimes it misses things or misunderstands, but not nearly enough to make the juice not worth the squeeze. These days, I'd say I spend more time reading/editing claude-generated code, writing commit messages, and managing deployments than I do writing code. It's a higher level of abstraction and I get way more leverage out of the deal. The code I'm writing is, on balance, better than the code I wrote before. It took maybe a few months to get here, but I'm happier for giving it a shot.
by stefanos82 | 2025-04-21 21:19:03+00:00
What I find fascinating about the evolution in general, is that where I live our doves, that belong to Eurasian collared dove [1], for some reason, the past 2 years now have started giving birth to young ones that look exactly like Sunda collared doves [2], which is INSANE!

To clarify: identical male and female Eurasian collared doves give birth to young ones that look *exactly* like Sunda collared dove; even their calling is heavier with more bass in their voice; crazy stuff, yet fascinating at the same time!

[1] https://en.wikipedia.org/wiki/Eurasian_collared_dove

[2] https://en.wikipedia.org/wiki/Sunda_collared_dove
by skissane | 2025-04-21 21:19:18+00:00
> It's only when speaks ex cathedra that his teachings are considered infallible.

That's the infallibility of the extraordinary magisterium. The Catholic Church also teaches that the Pope possesses the infallibility of the "ordinary and universal magisterium", which makes less than ex cathedra statements infallible, when he teaches something and (almost) all Catholic bishops agree with the teaching.

But, I think many Catholic theologians would say, that whatever infallible teaching Francis gave by the ordinary magisterium, was largely just a repetition of what his recent predecessors had taught, without any significant doctrinal developments. (Probably the biggest point of contention is the status of his catechism change on the death penalty, but I think even the majority of theologians who support the change wouldn't argue it was infallible.)

An example of a teaching which many Catholic theologians say is infallible ordinary magisterium is John Paul II's 1994 declaration that women can't be ordained as priests (Ordinatio Sacerdotalis) [0] – which wasn't teaching anything new per se, but arguably the first time it had been stated with such explicitness and solemnity

An interesting meta issue, is that theologians debate which papal statements are infallible, but the judgement of a statement as infallible isn't itself infallible. So, while Cardinal Ratzinger (future Pope Benedict XVI) issued an official declaration in 1995 stating it was infallible ordinary and universal magisterium, [1] that declaration itself isn't infallible – and some (progressive-leaning) Catholic theologians have argued the declaration is mistaken. [2] Conversely, a minority of (conservative-leaning) Catholic theologians go beyond Ratzinger and argue Ordinatio Sacerdotalis is infallible extraordinary magisterium (ex cathedra). [3] Some even argue the Pope can teach infallibly and then erroneously claim he wasn't doing so. [4]

[0] https://www.vatican.va/content/john-paul-ii/en/apost_letters...

[1] https://www.vatican.va/roman_curia/congregations/cfaith/docu...

[2] https://womenpriests.org/teaching-authority/mag-con2-theolog...

[3] https://www.catholicculture.org/culture/library/view.cfm?rec...

[4] https://canonlawblog.wordpress.com/2015/11/24/i-agree-with-d...
by bz_bz_bz | 2025-04-21 21:19:59+00:00
Earlier this month Uber sent me an email that they “discovered that [I was] charged for an additional period of Uber One membership after [I] contacted customer support. This was because [my] scheduled payment was already in process before [my] cancellation request was received.” I knew they must have gotten in trouble with a regulator because the incident they’re referring to was 2+ years ago.

How did they rectify this issue they “discovered”? They gave me Uber credit…
by bamboozled | 2025-04-21 21:20:49+00:00
If you go look at the price of some of the mid-high end Chinese panels, you could pay 200% in tariff costs and still be getting a bargain. Check out LONGi for example.

I'll be ordering a bunch of these for a renovation I'm doing this year and I'll be installing quite lot of capacity, it's a no brainier to go solar, especially considering the price of energy now days.

Maybe people doing this will be labeled radical, extremists or activists for installing panels on their roof soon but I don't care, it's my roof.
by cryptonector | 2025-04-21 21:20:55+00:00
> Protobuf and flatbuffers have different use cases in my experience, although that's somewhat limited.

This is true for the ASN.1 encoding rules as well.

> Protobuf at least also introduced breaking changes between versions 2 and 3. ASN.1 isn't perfect in this regard,

When has ASN.1 ever broken backwards compatibility? I've never heard of an ASN.1 backwards incompatibility. Maybe, if you stretch an interpretation of ASN.1 in 1984 to allow new fields to be added to `SEQUENCE { }` then the later addition of extensibility markers could count as a very weak backwards-incompatible change -- weak in that existing specs that use ASN.1 had to add those markers to `SEQUENCE { }`s that were actually intended to be extensible, but no running code was actually broken. I would be shocked if the ITU-T broke backwards compat for running code.
by pcwalton | 2025-04-21 21:22:01+00:00
The point is that comptime isn't dependent types at all. If your types can't depend on runtime values, they aren't dependent types. It's something more like kind polymorphism in GHC (except more dynamically typed), something which GHC explicitly calls out as not dependent types. (Also it's 12 years old [1]).

[1]: https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf
by globular-toast | 2025-04-21 21:22:36+00:00
If there was some better notation that allowed biology people to understand calculus more easily, what do you imagine they'd do with it?

It's hard for me to imagine it without any special notation. It makes me think of the general relativity in words of four characters or less that was posted recently. Sure, it might be possible, but does it really make it easier to understand? Understanding is normally built up in layers. We learn things using big words because that makes it easier than learning with small words. And we learn maths with funny symbols because it makes it easier than learning it with words (or colours or mime or other things you already know).
by mdhb | 2025-04-21 21:23:14+00:00
As they should. Now more so than ever. It has become EXTREMELY clear that everyone who tried to make themselves small in order to not be targets for this new US admin has gotten the worst of it. There’s no need to add another data point to prove that strategy doesn’t work, we can already be sure of it.

Enforce your own laws and sovereignty and don’t think twice about it.
by alabastervlog | 2025-04-21 21:23:20+00:00
Yeah, that's why I'm having to think at it some to figure out what's going on here. Usually I need my iCloud password to do anything related to that account, so I guess they're using some kind of iCloud password reset bypass that relies on the phone having access to necessary reset-related accounts (like email—though, IDK, I don't think I've ever tried to "lost password" reset my iCloud account, so I'm not sure if even that's enough)