skysight-inc/HackerNews huggingface dataset:
> Consider now you send a physical letter to me? You use a mail carrier. You have my address, but sending is through the carrier. Same for calls, you use a service provider to make the call.

We perform some actions with tools, but not all. Do you use a tool to run? To read a book? You simply run, or read. My issue is that Go forces every situation into the tool paradigm.

If I have an object representing a file that I can read from, I am reading from that file. I am not using anything to read from it. So either the object can no longer represent the file directly (but instead a tool used to read it), or the file can keep representing the file but the language is off because the file is now also a "Reader" (in the Go sense) of the file.

> You are using some other code capable of reading from the file, though.

We are talking about how to conceptually name pieces of our code to match our natural concepts and language. That is, the conversation we're having is one about modeling, so this move seems illegal to me. The "other code implementing reader" is not part of the model. It would be like arguing, in regular life, that "you can't say that you read a book, because really it is your brain doing the reading".
about $8B for portland to seattle. in comparison, a single bridge that carries I-5 over the columbia river is being replaced for $5-7.5B.

you do the math.
I don't think USB-C is as bad as its reputation. Yes, it's tough to find a cable that will carry data and video signals and high voltage charging. But how does that compare with the alternatives? You can't do it with Lightning, period. You can't do it with any other cable standard, period. Sure it could be improved, but the fact is I can get a cable with all those features after (minimal) research, and before it just wasn't possible.
That GAO report shows some serious lapses at private and public schools, such as using the wrong name for a criminal background investigation. It highlighted a few cases of people being given a positive recommendation after being fired for such things as watching porn on school computers.

Nationwide fingerprint checks really should be mandatory here.
I actually like that there are people out there like the dude/RMS.

I don’t necessarily want to emulate him or hire people like him, but I’m glad he’s here and grateful for what he’s done.

I think that if you try to grind down the rough parts of people like RMS, you lose the genius. So I take people for a whole given that their net benefit is enough and they don’t have some catastrophic flaw.
I lived in Capitol Hill in Seattle and found it to be a very walkable lifestyle. So much so that I never used my car except to leave the city. I was walking distance to four major grocery stores, dozens of restaurants, buses, trains, etc. I would ride my bike 10ish minutes to SLU to go sailing.

It’s also worth noting that Boulder’s main downtown area is dominated by Pearl Street, on which cars are not allowed ever. Denver has 16th street running from one end of downtown to the other, the only vehicles allowed there are free shuttles.

My point isn’t that American cities are more walkable, it is that it is silly to say that they all aren’t walkable as a rule as the GP said.

Is Barcelona a more walkable city than most American ones? Yes. Are there areas in Barcelona that you would be a fool to try and walk in? Also yes.
There doesn't seem to be anything wrong with overcorrecting towards sobriety or is there an objective downside I'm missing?
There’s also plenty of evidence that improving educational outcomes for low performing students has an outsized impact. “Decreasing the number of high school dropouts by half would nationally produce $45 billion per year in net economic benefit to society … Improved education and more stable employment greatly increase tax revenue, such as a return of at least 7 dollars for every dollar invested in pre-kindergarten education … National savings in public health costs would exceed $40 billion if every high school dropout in just a single year would graduate”. [1] These show pretty clear economic benefits to improving outcomes for the average student.

But the bigger issue is framing with as a “struggling vs gifted” problem. Where we have to choose between supporting gifted students or helping struggling students. It isn’t, education is one of the few areas where there is a “free lunch”. Every dollar invested in education results in more than one dollar in return. We can easily find both of these things, the real question isn’t which we should fund, but why we aren’t funding both.

[1] https://www.elc-pa.org/wp-content/uploads/2011/06/BestInvest...
> with late 19-th and 20th century eyes

Oh, so centuries later? Right, just as I said.

> those continental philosophy (as opposed to analytic philosophy).

W. V. O. Quine, one of the most influential analytic philosophers (and mathematician, responsible for an early attempt to formalize mathematical axioms), still felt the need to write against Kant in one of his most influential papers ever (Two Dogmas of Empiricism), well into the 20th century.

> only if we constrain it to formal axiomatc proofs

Umm, no. Inferential systems need not be axiomatic. I was explicitly speaking about inferential systems, not axiomatic.

> there are proofs by example

No, there aren't. There are proofs by contradiction, wherein the truth of a proven statement refutes the candidate-truth of some other hypothetical candidate-truth. But there's no such thing as "proof by example".

> proving by non-axiomatic argumentation and fuzzy evidence (as in a court)

Again, no. Not even judges refer to this as "proof". Evidence is not proof. You're (maybe on purpose?) conflating "deduction" in particular with "reasoning" in general.

> Leibniz's/Russel's/Hilbert's axiomatic mathematical proofs are not the only game in town, nor do they exhaust human reasoning.

Ahhh, there it is. You're mixing up several concepts here. I suspect because you seem to think your pride (i.e. ability to prove things) is on the line. But it isn't. I'm just an autistic spectrum person, trying to make sure people use words in ways that make sense and follow well-established precedent. It appears we have two wildly different projects.
I think that's a fair critique. You have to really put thought into good error messages and error handling. When you do, they're nicer and more informative than an ugly stack trace. But a poor error message chain like the one you've shown is significantly less helpful than a stack trace.
Is it really though?

Look at the who's who of the Linux foundation and it's all the big tech lackeys deciding everything. Even very questionable companies like Huawei are highly represented. I don't call that anti-corporate.
> let us get forward some legislation, adding criminal liability to the executives ignoring such things

IIRC there is government legislation that effectively mandates that tobacco companies add polonium to tobacco. Something to do with the fertilizer sticking to the trichromes on the leaves.
How did accounts with a NULL value in the URI column match the query? NULL does not compare equal to NULL. Is this some awful Rails magic at work?
I fail to see how this accounts for difference in car vs bike infrastructure.
Best migration of foot notes to the web (though the ones that pop up a banner as a sort of ur tool-tip, or expand into a bubble when clicked on are also decent). Most "footnotes" on webpages are actually end-notes, which is mostly a consequence of the lack of distinct pages. Fitting that a blog seemingly about design gets this right.
On the other hand there are contexts where this is appropriate, like emoji reactions on slack (where this approach is used as well)
Sorry if it comes across as snide but I really do wish it were different, I do wish IRC were less niche. But when all of its defenders start their HN comments with "I", it's difficult to see IRC supporters ever looking beyond the needs of the niche they exist in as individuals.
It helps if you're on a phone or narrower window, in which case the color is like a separate mark.
What are you, a monster?
You can be revolutionary by seeking big change at personal risk because you're not socially dominant (or militarily in other contexts). There have been times this happened. Who is doing that today?
KDE is by far the better desktop, Gnome will never be great as long as they abhor choice. The "you're using it wrong" is too strong there.
Honestly, I think I prefer the internet in 1999 than today. We had Amazon when it was good, google when it was good, eBay when it was good, cheap web hosting, plentiful linux, etc etc

I hope we get back to simple services that worked rather than lock-in machines trying to extract maximum revenue in an enshittification spiral.
You'd think there would be a backup brake kit on these
I have no idea who those people are and their pasts, and have no horse in this race, but according to the https://libreboot.at website by Adrien Bourmault, Leah was the founder of the project.

According to this [1], the alleged takeover you mention not only didn't involve Adrien or Denis Carikli, it also happened in 2021, two years before the creation of https://libreboot.at, which seems to be from 2023, and GNU Boot, that succeeded libreboot.at [2]

[1] https://web.archive.org/web/20210331005023/https://libreboot... or https://www.andrewrobbins.info/libreboot.html if you want a third-party

[2] https://lists.nongnu.org/archive/html/libreboot-devel/2023-0...

Either way, it seems that if there was any problem around the usage of the GNU Boot name, it was solved by adding disclaimers galore: http://notgnuboot.vimuser.org/

To me the disclaimers above show enough good faith. Meanwhile https://libreboot.at continues up. I don't think we should be that harsh and accusatory to someone after they actually comply with the request of changing a page name and adding disclaimers.
> Still paid mostly in patriotism for broken bodies and minds though.

I find myself repeating myself in this thread . . . I'm sorry if that's your experience. But your own experience is not universalizable across DoD.
Right! No one talks about basketball acceleration or football acceleration.
I used Input Sans for some time as my coding font. Most proportional fonts have a small <space> which makes it difficult to figure out alignment in code. Input Sans was the only font I found that was good in this regard.

I use vim keybinds and movement was too unpredictable to keep using as my main font. Now I'm back to a monospaced font.
I don't know how reliable these tweets ("xeets"? "posts"?) are, but for more context see these threads (and go down the quote-hole):

[0]: https://twitter.com/sanxiyn/status/1684905973507674112

[1]: https://twitter.com/8teAPi/status/1684932569148866560

[2]: https://twitter.com/8teAPi/status/1684863724266606593

[3]: https://twitter.com/8teAPi/status/1684586672917565443

> Jul 28 Friday - Lee and Kwon show up as unscheduled additions to the International Symposium on Metallic Multilayers. Kwon introduces, but Lee presents. Audience is frustrated by presentation in Korean which is then translated. They claim a weak Meissner effect. It maybe it only works in a thin film. He says they need to run a current through the material in order to levitate it. He doesn’t have a sample of the material on hand. The data looks like spotty and unsophisticated.

Though some of this is superficial, if the "look" holds true, it seems there's a lot of drama under the tip of the iceberg (that would make a good Netflix documentary), and it's increasingly unlikely this is a true scientific breakthrough. :(
There was the spat of drama in 2016, and the view of "always in the middle of drama" is IMO confirmation bias since then (the financial trouble in 2020, then Leah's return to libreboot in 2021.)

Today's drama is part of larger culture wars going on in the community:

- The pro-RMS vs anti-RMS thing going on since RMS's removal from the FSF in 2019, much amplified by his reinstatement in 2021 (the latter of which lead to most of the FSF staff walking out). Is RMS still fit to lead the FSF? Has the FSF lost its way?

- The thing about whether or not "the FSF's/RMS's RYF and FSDG policies regarding firmware and microcode are misguided and harmful".

libreboot got pulled in to that when in November 2022 it merged osboot, adopting osboot's firmware/microcode policies, which are at odds with the FSF's policies. So then some folks "forked" https://libreboot.org as https://libreboot.at and claim to be the "true" libreboot. I put "forked" in quotes because there wasn't any new libreboot development going on there; it was just a snapshot of the pre-osboot-merge libreboot releases. Then, more recently, the libreboot.at folks decided to resume development of an FSF-friendly coreboot distribution as "GNU Boot".

So yeah, I guess you can say this drama is Leah's fault in that she has taken a clear stance against the FSF's firmware/microcode polices, but so have a lot of other folks in the community.
At home (which is also my workplace) all my PCs are at 128GB. The server is 512GB. Laptops are 64GB. RAM has not been stagnated. Just buy what you need. To get it cheap for example for laptops I would buy smallest configuration (RAM and SSD wise) but with good CPU. I would then throw out old RAM and SSD and replace with the ones I buy separately. Way cheaper this way. PCs and servers are assembled from parts. Again I just order what I need and then let custom PC maker nearby assemble it for me.
Indigenous people resisting copper mines, gas pipelines, lithium mines, etc that are being proposed on territories they've been pushed back onto.
Yeah, it turns out anonymity starts to go out the window when one interfaces with the legal system.

"Right to face your accuser" and all that.
It's interesting watching the LLM 'security' industry relive the 2000s attack/defense patterns in a different medium.

Improperly separating user input from control statements? Enjoy your injection attacks.

Trying to detect attacks with static lookups? Here's some dynamic attacks.

What's a bit infuriating is that all this attention on 'jailbreaking' LLMs is a bit disingenuous as it's trivially preventable using additional intermediate passes with a discriminator role.

That's just adding 2-3x the cost of any LLM interface, and it's not worth it when impact is so limited.

When we start seeing persistent shared memory from LLM interactions where jailbreaking can poison that, expect to suddenly see two things: (a) APIs jump in price a few fold, and (b) suddenly prompt injection is a much less discussed topic as it will no longer be low hanging fruit.

It's honestly a bit disconcerting that this topic gets as much attention as it does right now really. It's attention and click grabbing, but not nearly as important as things like bias or hallucinations.
Portugal’s bid to attract foreign money backfires on local rental market
The Bitburger NA with the blue branding is good. Don't be fooled if you don't like the normal Bitburger, imho their NA is much better :P OTOH, if you happen to like Bitburger, they also have a newer "dry NA" variant with green branding, that tastes much more like their alcoholic beer.
No idea about international availability, but at least a slight chance.

For wheat beer, the bigger German what beer breweries offer a NA variant these days, and those are quite good. I'm thinking of Erdinger and Paulaner, which are probably your best bet internationally. Don't tell anyone I know, but my secret recommendation however is Öttinger NA wheat beer. Those are cheap and taste very good (fellow Germans: If you don't believe me, do a blind tasting). But don't ever the mistake of buying or even drinking their normal Pilsner/Export beer - those taste like pi... ;-)

If you're ever in Germany, is "Mönchshof Radler Alkoholfrei". Radler is "shandy", a mixture of beer and lemonade. I've yet to meet anyone who likes beer but not this.
> For example, if the topic was “The U.S. should increase the federal minimum wage,” the affirmation side might provide some arguments supporting this policy. But then the negation side, instead of arguing that the government shouldn’t raise the minimum wage, might reject spending any time on the original resolution and counter-propose a Marxist kritik

Honestly, if this is what debate is all about - “here is a political policy proposal, argue either for or against it” - this sounds like a waste of time. Good for the negation side. What is the minimum wage trying to solve?

To get meta on this article, maybe debate itself should be reimagined. Pose a problem, like “too many jobs don’t provide a living wage for their locale”. Then ask for policy proposals. Find two teams with strongly differing approaches, things that they have researched and believe in, and then have them debate.
The Base Rate Times: News through prediction markets
The OP link is a trademark enforcement action for an FSF-owned trademark.

A project cannot enforce FSF-owned trademarks if the FSF "has nothing to do with it."

I suspect you know very well that what you said is false.
He learned a very important lesson. That's one guy you can pretty much guarantee (if he has any brains at all) will be very careful about doing anything on a live production system in the future. In this case Google probably got a good deal.
No I’m anonymous scarface_74 who knows finance and risk/rewards ratios based on being an MBA drop out.

I have had the same choices:

1. Being risk averse by taking cash up front and choosing to negotiate based on a maximum up front payment

2. Taking less up front and dealing with a higher risk/reward return like accepting lower payer for equity by working for a startup
There are people in this thread bringing up that bullshit. I really dislike a lot of the recent discourse on HN.
Wait, what are you trying to say there?

It's not very clear to me, but the way I read it is that the school should say "if your parents help you at home, you don't need us at school". "So we'll just focus on those kids whose parents don't help them, because, you know, they have two jobs". Did I get that right?

My last Uber driver was a Pakistani, he told me his oldest son got into the Stuyvesant High School. He is one of those kids who needs to be challenged. Should he not be, because he's got "rich parents" ?
Yeah, in-memory. That should tell you it's not a persistent data store.
Green card holders already have to pay taxes overseas, same as citizens.
I mean, GoDaddy specifically and smaller hosting providers in general have been a humongous pile of hacks and semi-functional abandoned marketing pushes for 20+ years. They're a master study in surviving by your fingernails, but definitely not in how to build a well-functioning user interface. What's more surprising is how many brand new companies get it totally wrong, when they don't have all that technical debt saddling them and there are plenty of great design examples to choose from.
From a student perspective, this was the Model UN/mock legislative assembly model, and I loved it waaaaaaaay more than I ever loved the debate model that was more popular and pushed harder the last 3-4 decades.
Here in Australia there is a distinct section of the market for ‘Mid’ beers at about 3-3.5%, and decent beer places usually have one available. Often brown ales, though there are lagers, pales etc too.

Makes a nice change of pace. Plus you can usually have one (and just one) and still drive.
I doubt critical theorists do them any good.
The dock is one of the most frustrating parts of macOS. Adding spaces is helpful, but I wish that it was possible to only show apps in the current screen/desktop.
Debate is "abstract art".
There's something depressingly callous about those types. Nobody celebrates or appreciates the cost, effort and labor involved in making anything. It shows in their own generated derivatives.

It takes one click for me to do what Rutkowski spent decades creating, so he can just...make like an artist and go die now or something. We don't need him anymore. Enjoy endless uninspired pieces of corporate motel art fashioned in his style.

It's demoralizing. At this point, every one of us exists to be exploited. Create anything original and instead of being appreciated, it will be taken from you as you're spit on and told to eat shit.
But you are playing into it? If you are the one running, you are a runner. If you used someone else to run a letter to the whatever, they were the runner.

It can fail if you are writing the physical contact point to the hardware, but very few of us do that. We use code that does that.

Do I use a tool to read? I have reading glasses. And an ebook reader. And I've delegated some reading to others. Life is complicated. Language no less so.
If I understand your issue correctly, it's `git diff --cached` that you're specifically looking for, not just `git diff` in general?

Your expectation seems to be that someone has already implemented this in Go for you, for free, but this is not the case. Why is this your expectation, and what does complaining about it accomplish?
European and asian cities pretty much feel like a 10x - 20x bigger house for many.

You walk down 2 blocks to get some milk and bread for the breakfast, post office is 3 blocks in the other direction, 1 block another way and you have fruits and vegetable. Basically you can treat the immediate surroundings as an extension of your house where you just "go" without a modal distinction of getting into a car, parking, back into the car, parking again.

Even taking a bus or train feels less of a discontinuation as you just walk in walk out and at no point have to switch to a "driver" mode.
Try IAWritter DuoSpace: it’s a great mix between fixed width and proportional: https://ia.net/topics/in-search-of-the-perfect-writing-font
It's pretty great but it also costs a lot more than than a basic laptop :)
Happy to be corrected, but according to these two websites [1] [2], the maintainers that were booted were Andrew Robbins and Sebastian Grzywna, and that happened two years before Adrien Bourmault and Denis Carikli created libreboot.at.

Libreboot.at itself seems to be a reaction to binary-blobs, not to this other drama.

[1] https://www.andrewrobbins.info/libreboot.html

[2] https://web.archive.org/web/20210331005023/https://libreboot...

Unless there was a third "abandonment" and a "takeover" after that, I don't see how those events are related. Once again, happy to be corrected.