skysight-inc/HackerNews huggingface dataset:
Regarding 1), I meant bizarre to non-mathematicians. Most people are familiar with arithmetic and perhaps even geometry proofs, but not so much with proofs that involve ordinals and multiple levels of infinity. That such a simple program requires more than (Peano) arithmetic to prove statements about its behavior seems very unintuitive, at least to me.

2) Yeah that’s actually how I discovered Goodstein sequences. I saw some post on HN about tiny Turing machines that halt iff ZFC is consistent and wanted to learn more.
The start menu search rarely works. I have been using the app constantly. It has come up in search many times previously. Then, nothing. I have to drill down through the file system to start mutherfucking Notepad++ or Visual Studio Code.

This bug has been present since after Windows 7, which was definitely my favorite Windows version. It was done.
Sadly, also happens with smaller banks that cater to startups. Happened to us with https://www.grasshopper.bank
Isn’t knowing a fallacy? Wasn’t it ego who convinced you that you knew something?
Regardless of how true your point is, millions of 20-something year old men exist in the market that haven't yet, or never will, reach your state of capitalism nirvana.
I can imagine that they had access to the wallet passwords, otherwise it's impossible. At least with bitcoin, other cryptocurrencies, maybe.
Wow that's coconuts
Deluxe! Remember back about 1995, when Windows NT would make programmers 5 to 10 times more productive, and CEOs could get rid of the corresponding head count?
Ok, then create that experience and leave the old one buried.
Similar thing happened with my airpods too. To compensate for the obviously diminished volume I was cranking the volume up. And even with that podcasts were barely audible when in anything but absolute silence. To add insult to injury the os was constantly “warning” me that I was “damaging” my hearing by listening things too loud. Of course in reality no such thing was happening.

After that terrible experience i couldn’t justify the expense of buying an other apple airpod.
I left my AirPods Pro at a school sports field an hour away, and I didn't realize until the next morning after it been raining heavily. I gave them up for lost and needed headphones for work – so ordered some from Apple with same day delivery.

A week later, I got a Find My notification that they had been spotted – at the same sports field. I figured what the hell, put on a podcast and drove the hour to see if I could find them. Worst case scenario, a couple of hours of driving.

Using Find My and the directional feature points you in the right direction to within feet, I found them in the tall grass.

The case had been perfectly watertight, and they'd barely lost a percent of power in a week. Remarkable really all round.
When Musk says X is all about freedom of speech, remind him that one of its biggest owners is intimately tied to a government that executes people for mild criticism.
I read the first three words, and I was like ... "really?!"
Intel Homomorphic Encryption Toolkit
Weechat can also be used in a client/server architecture. It can run headless and expose a relay protocol (full weechat control and state) and/or an irc server (traditional bouncer).

Though, ironically, there are no CLI clients for its relay protocol, only for desktop/web/android.
It only hurts when you actually have meaningful load and then suddenly needs to switch. Especially if the "servlets" that those stateful connections are connected to require some heavy-ish work on startup, so you're vulnerable to the "thundering herd" scenario.

But the author only uses it to keep alive a couple of IRC connections (which don't send you history or anything on re-connects) and to automatically backup their "huge" chat logs (seriously, 5 GiB is not huge, and if it's text then it can be compressed down to about 2 GiB — unless it's already compressed?).
More like it requires protection from one of the few blocks of nations resistant to extradition to the US.
Man this company is such a fraud. Everything YC suggests not to do they do it to make them sound so much more than they are. Palantir is outsourced ChartJS (I worked closely with some of their "forward deployed engineers" lmao) and god knows what this AIP thing is.
Normal, large and huge. But default normal pages (which is what Android is changing) are 4K. FWIW, Itanium and Alpha had 8K default pages.

https://devblogs.microsoft.com/oldnewthing/20210510-00/?p=10...

I wonder why Microsoft stayed with 4K for AArch64.
Try it! Worst thing that'll happen is that you'll still hate it.
i love the look of my i4 ¯\_(ツ)_/¯
Financial Planning Software
Yes, same thing happened to me. The hardware failed over time and now the noise-cancellation feature causes audio to be very scratchy, making them awful for listening to music. I think mine lasted a little over a year of occasional use.

I went to an Apple store to see if I could get them replaced since I knew there was a recall on one version. They refused since mine was the version that came out after the recalled version.

That soured me on AirPods. Luckily it was a work-issued pair, so they were free.
They’ve sold 16k according to this and the inventory stacking up suggests they aren’t getting 80k more sales very quickly.

https://www.reuters.com/business/autos-transportation/tesla-...
You're missing that they didn't use this to build or expand housing, but to limit it. Just look at the occupancy rates.

They colluded with property management companies to capture 80% of existing multi-family dwellings and raised rents to inflate hard asset values of PE owned properties nationwide. Just because this is the closest that homeowners have had to a bailout in their lifetimes doesn't mean they didn't profit even more.

It was a scam.
Huh? The model 3 didn't come out until 2017 and the model Y came out in 2020. That's literally just four years ago - not 2012.

I own a 2019 model 3 and will be replacing it with a 2024. In those 5 years, it's accumulated a bunch of improvements. I don't exactly have a changelog to work with, but here's what I can think of off the top of my head:

- more powerful rear motor, 10% faster 0-60, breaking 10s quarter mile
- track mode v3
- heat pump
- matrix headlights
- adaptive suspension w/ frequency response suspension dampers
- ryzen media control unit
- triple pane glass
- heated steering wheel
- sport seating
- ventilated seats
- usb-c ports
- rear entertainment system
- HW4
- updated wheels/tires
- exterior styling updates (front bumper, non-chrome handles, etc...)
- interior styling updates (LED lighting, carbon fiber dash, etc...)

Oh, and there's also the fact that I'm only paying 70% of what I did the first time around (inflation adjusted).
this summer, one mouse is ready to take on the world
lived in germany for 8 years. the living heiress to a biscuit company fortune is still a nazi sympathiser today. nobody cares about the bmw founder who is dead. every company in germany had ties to the NSDAP, let’s focus on real nazis and antisemites and racists (elon) not dead ones.
The first thing that jumps out is that the code example doesn't work.

The next thing is that the example merely calls cargo build. Using an IDE of any sort will typically invoke rust-analyzer which will bloat the target directory quite a bit. I've also found that stale build artifacts tend to chew up a lot of space (especially if you're trying to measure the typically smaller release builds).

Beyond that, none of the serde features that will tend to generate a ton of code are being used.

So yeah a minimal example won't use a lot of space but if you start to use the bells and whistles serde brings you will definitely bloat your target directory. I expect a typical rust project to take around 3–4 gigs for build artifacts depending.
Is 84 so high? I imagine there are people sending party invites and “lost my phone, new number” messages to more than that.
What happened to the underhanded c contest? Seems the last one was in 2016?
If I were fly I’d implement spending caps just to filter out unserious operators.

My implementation of that feature would be when you turned it on fly would just kick you off.

No serious operator wants a provider to turn their system off. So if you want that it’s pretty clear you are hosting a silly system. Which likely costs more to support and drives less margin.
Also known as "but is this not the nine hundred-year-old OpenBSD of my family?"
I've also experienced this. My guess (I don't know for sure) is not so much "so you can't go behind their back and cut them out of a fee", but rather "get you to commit time to them so they have a chance of forming a personal connection".

I haven't had hardly any of them push back when I (extremely curtly) ask for more details. I usually say something like "company name / role description / location / comp? I don't have the time to take calls for every message at that level of detail when I'll probably end up not interested"

Usually they provide the details after that, though sometimes they try to drip it over multiple messages. That's why I think it's not about the fees.

Edit: I've never thought to ask them that directly! Maybe they'd be forthcoming about it.
There's no practical way to live in the modern world without indirectly benefiting from forced labor. Some of the cobalt required for EV batteries is mined by forced labor in the Congo, and there was a recent controversy around BMW and VW importing vehicles to the USA with parts made from forced labor of Uyghur prisoners in China. Even in the US, virtually all license plates are created by prisoners who earn 8-16 cents an hour.

My original point was to the "Elon schadenfreude" crowd cheering for BMW and swearing off Tesla because they don't agree with the founder's actions. Seems like selective outrage to me.
>It was literally like being transported there.

Really? Despite the total lack of smell, taste, random atmospheric sensations against the body and also the lack of haptic feedback?
I wore mine while riding a hardtail XC mountain bike (on safeish trail segments) and the transparency mode failed after 7 months. After that, the non-ANCed speaker and microphone worked fine. Weirdly durable for nonathletic purposed hardware.
I'm confused - the title says "like Friend" but this appears to be a rebrand of the existing Friend pendant?
You don't even need to be a "good hacker". Just go into browser settings, set your preferred colors, and set it to disallow sites from setting their own colors (mobile browsers seem to have removed this functionality for some reason, but desktop ones still have it).
I was pining for oldschool UT recently, and found that Xonotic (https://xonotic.org/) has done a decent job of filling that void.

The player base is small, and the skill ceiling is extremely high, but it's a shockingly solid piece of work for a free, open source game.
Why? Because art and business aren’t the same. “Love the capital, not the capitalist” doesn’t work because unlike artists, capital influences elections. It influences policy and thereby impacts real people’s lives in a real way.

Also unlike artists, the head of a company oversees hundreds or thousands of people. Their whims and actions likewise have direct impact on people’s lives.
its incredible how different the West is to Japan

the lack of judeo-christian moral nannyism hardly means a dangerous society but a peaceful one

just look at all the accusations on X and calling Japan weird and worse
A while ago, I did something similar but with an AirTag. I found a few at a local thrift store, and whoever donated them still had them linked to their iCloud, so they were useless. But it was easier since the area code was known. I tried a few numbers, and luckily, one answered and removed them from their account.
Genuinely curious if people think this is a product, solving a real problem? My mind goes to critical privacy rights and would likely require offline use?
In current Linux systems, there are two main ways to benefit from huge pages. 1) There is the explicit, user-managed approach via hugetlbfs. That's not very common. 2) Transparently managed by the kernel via THP (userpsace is completely unaware and any application using mmap() and malloc() can benefit from that).

As I mentioned before, most major Linux distributions ship with THP enabled by default. THP automatically allocates huge pages for mmap memory whenever possible (that is when, at least, the region is 2 MiB aligned and is at least 2 MiB in size). There is also a separate kernel thread, khugepaged, that opportunistically tries to coalesce/promote base 4K pages into 2 MiB huge pages, whenever possible.

Library support is not really required for THP, but could be detrimental for its performance and availability on the long run. A library that is not aware of kernel huge pages may employ suboptimal memory management strategies, resulting in inefficient utilization, for example by unintentionally breaking those huge pages (e.g. via unaligned unmapping), or failing to properly release them to the OS as one full unit, undermining their availability on the long run. Afaik, Tcmalloc from Google is the only library with extensive huge page awareness [1].

> Do the heuristics used by Linux THP (khugepaged) really allow completely ignoring whether pages have actually been page-faulted in or even initialised? Is a possibility unlikely to happen in practice?

Linux allocates huge pages on first touch. For khugepaged, it only coalesces the pages if all the base pages covering the 2 MiB virtual region exist in some form (not necessary faulted-in. For example, some of those base pages could be in swap space and Linux will first fault them in then migrate them)

[1] https://www.usenix.org/system/files/osdi21-hunter.pdf
Yeah, so one issue we run into here is that we're not trying to get you to stop using $5 VPS's. That is not good business for us! There is nothing at all wrong with managing your own servers.
> and 1G page sizes on x86-64.

I wonder who requested the 1G page size be implemented and what they use it for...
Clearly yes; my point was that the taste and decision makers that previously might've taken stronger cues from Twitter are now much less likely to see it as a venue for worthwhile discussions. I'm probably overvaluing that vs the harm of broadcasting puerile content, but I recognize this is fundamentally an unserious take.
Thank you.

I think this is okay as long as there is a compatible protocol. FF was supporting RDP/CDP for a while but recently shifted away in favor of WebDriver BiDi[0], which supports the methods required for dn[1], and now appears at parity support between Chrome and Firefox[2]

I imagine we'll get FF support in the latter half of this year.

0: https://fxdx.dev/deprecating-cdp-support-in-firefox-embracin...

1: https://w3c.github.io/webdriver-bidi/#module-network-command...

2: https://puppeteer.github.io/ispuppeteerwebdriverbidiready/
Genuinely curious here and not trying to start a debate or sound rhetorical (I just don't keep up with the news that much) - what did Elon do that was racist?
the quote says “registrations” therefore it is when possession is taken
> The answer to "can X be sued for Y" is always yes.

...which is why taking that question literally probably isn't being a good listener. If someone is asking a question with an obvious answer if taken literally, probably that means they're not intending to ask that question literally. Yes, they could ask their question more specifically, but it's up to us as listeners to try to understand people too. Communication, famously, is not a one-person activity[1].

Typically I'd assume "can X be sued for Y?" means "can one reasonably hope to win a civil suit against X for Y?" unless I have reason to believe that the speaker is very un-knowledgeable about U.S. law.

[1] https://www.explainxkcd.com/wiki/index.php/1984:_Misinterpre...
The network intercepting APIs. Right now we use CDP/RDP and the Fetch domain: https://chromedevtools.github.io/devtools-protocol/tot/Fetch...

There's also somewhat equivalent surface exposed by WebDriver BiDi: https://w3c.github.io/webdriver-bidi/#module-network-command...

If you want to read more about these sorts of protocols, see: https://firefox-source-docs.mozilla.org/remote/index.html
It's from online gaming. To stomp means to defeat soundly/easily. To ROFL is to roll on the floor laughing.

To roflstomp is to defeat someone so easily and completely that it becomes so comical you'll be ROFL.
I think that could be the point if the question was "Will the fund be sued for [...]?" but the question was "Can the fund be sued for [...]?", which likely was intended to ask if such a lawsuit could reasonably be expected to win.

It seems to me that the presence of other even less "blue-chip" holdings in Fidelity's blue chip funds would make a lawsuit more credible, not less credible.

That said, I don't see many entities with the will and funding to pursue this lawsuit. The SEC has way more obvious problems to solve than clarifying the definition of "blue chip" in court, institutional investors aren't usually going to pursue a suit on moral outrage, and the average individual has no chance in court against Fidelity's legal team.
> Maybe I’m in a bubble, but I didn’t even notice BMW had EVs

I'd say you've indeed been living in a serious bubble. The European Commission decided, years ago, that by 2035 (which is around the corner), not a single new car could be sold in the EU if it wasn't 100% electric. Not even hybrid.

Since that decision they backtracked a little bit but meanwhile all the german automanufacturers started freaking out and started, in a hurry, to come up with EVs.

It's not just BMW. Porsche, Mercedes, Audi/VW: they all produce EVs now.
I'm actually imagining telling end users to host the server locally via Docker. I have some other functionality, like the actual lyric transcription, I need docker for.

Thank you for your help. I'll definitely look into this for my next project
more like an orange versus a slightly better orange
You might not notice them because they look like regular BMW. For example, you wouldn't know i4 is electric just by looks. But I'd recommend anyone who is thinking of buying a Tesla to give BMW EV a test drive, you might end up getting it (like I did).
Where Did the Definition of 'Tact' Come From?
> I don't know how misgendering people is any different.

If your gender is like your name, which you can choose yourself, then it can't be bound to anything you can't change, like your chromosomes or the hormone levels you had during puberty. In other words, it can't map to biological sex. Which, okay, that's kind of the idea, isn't it? Someone wants to have sex male but gender female.

Except that then nobody really cares about gender at all. When you want to have things like women's sports or prospective dating interactions in which people may want to have biological children or anything else where sex differences actually matter, what people want you to declare is not your gender but your sex.

This then becomes the motte and bailey where gender is supposed to be different than sex but somebody who has reason to actually care about sex is then told that they have to accept gender instead or they're a bigot, as if they aren't different. And that is the point of political contention.
I almost missed the /s in my anger while reading that last line. It's too close to being real...
> The mission of Tesla is to maximize value to its shareholders

That is one philosophy:

* https://en.wikipedia.org/wiki/Friedman_doctrine

* https://en.wikipedia.org/wiki/Shareholder_primacy

It is not the only one:

* https://en.wikipedia.org/wiki/Stakeholder_theory

* https://corpgov.law.harvard.edu/2012/06/26/the-shareholder-v...
Fisker must be back in business!
INCYMI, FWIW, pwn, MacGyver, cringe and ICYMI have been part of the M-W dictionary for three years.

https://www.merriam-webster.com/wordplay/new-words-in-the-di...

> The dictionary chronicles how the language grows and changes, which means new words and definitions must continually be added. When many people use a word in the same way, over a long enough period of time, that word becomes eligible for inclusion.
The reason the author is having such a hard time is because they want to stay anonymous and there is no reliable way of self hosting something (outside the US) at a reasonable cost while staying anonymous. So, they keep hopping from one domain to another and get hit with DMCA everywhere. There is no winning move here.
At which point does this no true Scotsman stops?

Controlling your keys (yes this implies a backup, all wallets guide/help you to do it these days), having access to the source code of your wallet, and being able to verify the data of Bitcoin's public and open blockchain is obviously much better than blindly trusting your bank and getting cut off from your assets at any point through NO fault of your own.

> Until your keys are lost or compromised. Then you are irredeemably screwed.

Yes, you have discovered the big secret everyone in crypto is "hiding"... when they say self-custody they very sneakily imply you, yourself, have custody and responsibility of your assets. If this NEW digital option is not for you, don't use it, go trust custodians. Before Bitcoin you had no such choice.

In the case of banks you are also pretty screwed... just slightly less iredeemably in some cases... in the worste cases you might need to find a lawyer willing to help you, depending the amount it might just not be worth your time or the time of lawyers/judge. Unless the bank decides to hear reason magically or gets tired of your nagging like in OP's case... seem like a lot of trust and no control at all, at any point.
https://en.wikipedia.org/wiki/Roger_Cook_(landscaper)
Put your phone in a shirt pocket, its camera visible. Add headphones (wired or bluetooth). Done.

The question remains: Does an audio-only interface qualify as “AR”?
You have shown yourself to be a classy human being. Have my upvote!
So you’re saying more than 1 person was paid to put the back door in.
Forcing speech is different than recommendations.
> I instead took a local job paying me nearly half what Autonomy offered me

You have a lot of common sense and will power - good for you!
Two questions:

1. How is this different from Syncthing and similar solutions? Syncthing is free, open-source, cloud agnostic and easy to use to accomplish what seems to be the same task as Moonglow.
2. What is serverless about this? It is not clear from the pitch above.
An Overview of Datalog (2010)
sim crowd seems to disagree
Burning HP's money, that's what.
That will teach the atmosphere
The Breakthrough We've Been Waiting for [video]
I think the best way is probably to check out the CVS repo on your machine, then run cvs log, and cvs diff.

That's the way everybody used to work?

I can't recall if there were local x11 visualizing tools like gitk is today. (Google says tkcvs) I remember there were some graphical diff programs, you could set an environment variable and make the "cvs diff" command show something nicer looking.

Recall that git was also designed to work over mailing lists. git format-patch, git apply, etc.
There’s other EVs out there.
"sunk"