skysight-inc/HackerNews huggingface dataset:
A Turing machine as an infinite long tape, and even if it takes 10 times the time to the heat death of the universe x<y will halt.

Finite time is not practical time.

Given two Turing machines A and B approximating numbers a and b, where a ≠ b, you can use an epsilon to prove a > b, that is 'sufficient' for a proof.

You are trying to convert that one sided, semi-decidable 'a>b' into a two sided a>b f
Id yes and a≤b is no.

That is undecidable.

Even if you change the ≤ into <, which does imply the exitance of b. It doesn't prove equality.

You have to resort to tactics like normalization for that.

Type theory is probably a good path to understand why. You seem to be coming from a set perspective and you will run into the limits of ZFC that way.
Typescript isn't Javascript, no matter how much propaganda you've read.
Yeah, we switched our phones to Apple after my wife's 9 month old Galaxy stopped being usable for her main purpose... Google Calendar. Visiting Google Calendar website, it refused to load and said to use the app. App refused to load saying it needed a newer OS. There was no newer OS available for her phone. She was SOL.

At the time only Google supported devices more than 1-2 years. Every Android partner had zero support. The message was clear. Switch to iPhone if we wanted >1-2 years of support, so we did, and we've been happy since (~15 years).
Any strings attached? Do you know if they’ll do it pre-funding?
That's fair, I guess we agree that an epidemic of addiction is treated different than a couple cases of one-off addicts
This product looks really slick.

But what I don't like is the implication that learning isn't already fun. Learning is inherently fun!

It's not gamification that make learning fun. What makes learning fun the satisfaction that comes from completing tasks successfully and the sense of focus that comes from a course that has a well-organized roadmap.
You need to move past decimal expansion, there are sufficient methods to prove one sided limits on the reals in finite time.
Android's rise (at least in the US) was due to Verizon pushing it over all other competitors.

Palm got stuck on Sprint and then bought and killed by HP.

Microsoft killed its own chances by not allowing Windows Phone 7 phones to upgrade to Windows Phone 8.

Consumers didn't choose in a free and fair market. The market was already set by the time most had even started getting smartphones.
What’s your recommended hot sauce for eggs?
No, but since you mentioned it: https://en.wikipedia.org/wiki/Hutter_Prize

Anyway, OP is about lossy compression. I can't fully follow it but they talk about techniques for mitigating loss later in the paper.
> Organic Maps have very beautiful transit lines representation in the style of Transit app's great work.

I've just opened up Chicago in Organic Maps and it isn't anything like Transit app: https://u.ale.sh/omaps-chicago-loop.jpg

It works great for simpler transit systems, but certainly there’s some room for improvement!
…what’s the difference?
Is it too much?
> Glass weights, literal rocks, or just an excess of brine, either way.

Alternatively, ziplock bag filled with water and a little air for buoyancy.
> It's a really great app, not open source, but it is freely available.

The client-side application is open-source -- there's a tarball available on the website, and it contains an MIT license. But it apparently depends on a closed-source backend service.
There's a huge difference between an adult talking to a bunch of teens and a teen addressing a bunch of teens. I'm not saying this would be the case with this particular thing but it's not hard to imagine something delivered by a peer which could at worst come across as dorky vs outright cringe when adopted by someone else.
Sigh...yes, I don't want any UB where it's not necessary.

But if you must have a concrete example, how about realloc?

In C89 [1] (page 155), realloc with a 0 size and a non-NULL pointer was defined as free:

> If size is zero and ptr is not a null pointer, the object
it points to is freed.

In C99 [2] (page 314), that sentence was removed, making it undefined behavior when it wasn't before. This is a pure example of behavior becoming undefined when it was not before.

In C11 [3] (page 349), that sentence remains gone.

In C17 [4] (page 254), we get an interesting addition:

> If size is zero and memory for the new object is not allocated, it is implementation-defined whether the old object is deallocated. If the old object is not deallocated, its value shall be unchanged.

So the behavior switches from undefined to implementation-defined.

In C23 [5] (page 357), the wording completely changes to:

> ...or if the size is zero, the behavior is undefined.

So WG14 made it UB again after making implementation-defined.

SQLite targets C89, but people compile it with modern compilers all the time, and those modern compilers generally default to at least C99, where the behavior is UB. I don't know if SQLite uses realloc that way, but if it does, are you going to call it buggy just because the authors stick to C89 and their users use later standards?

[1]: https://web.archive.org/web/20200909074736if_/https://www.pd...

[2]: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf

[3]: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf

[4]: https://web.archive.org/web/20181230041359if_/http://www.ope...

[5]: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3047.pdf
Bin Laden wasn’t all that interested in pan-Arabian unity, or even pan-Islamist unity, unless you were Sunni, more specifically Salafi / Wahhabi. Whatever his message, for the majority of Arabs it included the “oh, and follow my literalist interpretation or die, takfir”.
This effect really isn't unique to the US. Every group participates in such behavior.
> What people today call “introversion” is just another name for infantalization, of being fearful of exactly what Jung would’ve tried to drive us to experience.

This is the nonsense that TFA spouts, but it's still nonsense.

What people call "introversion" today is the reality that some people legitimately leave most social interactions more exhausted than they started, that they therefore have to budget their social interactions for the things that matter most to them, and that until recently they have had to do that quietly by themselves because the majority of the population doesn't believe that people like that really existed.

The pandemic started to change that, and people who have always had to live like that have now realized that they're not alone and don't need to just pretend they don't have a real need to budget social energy.

It doesn't matter to me if we call it introversion or use a new word to get away from the pseudo-science and confusion about definitions, but people like me exist and we're not going away just because you and those like you don't understand us.
The West really isn't winning this one if that's your standard. The Mongol empire which amassed all the wealth, technology and military prowess of China during their expansion destroyed the Arabic world (arguably the most advanced civilization at the time), Russia, and the West they encountered like a bulldozer through wet cardboard. And did so with armies 1/3-1/5 the size of their opponents.

We don't really acknowledge in history class just how lucky the west got with Temüjin dying and stopping the expansion that was literally right at our door.

Edit: The sibling comment is grossly misleading, the west barely won against a scouting battalion that we had time to prepare for that was frozen and starving because the greatest wingman in history tricked the army into taking the long dangerous way through the mountains and sent us a heads-up.

The Mongol army wasn't primitive, it's that their purposeful strategy (and what made them so dangerous so far from home) required they plunder food and supplies regularly along the way. It made it so they didn't need huge supply lines and could outmaneuver armies that did.
Common here in South Africa. An exclusively female habit (Not looking at you, Thabo)

A lot of pregnant women tens to eat these small lumps of dirt more regularly, or start eating it.

I think there is a biological urge to it. But who will study that now?

They might start getting into the habit, and we can't have that
The history section does not feel quite accurate.

From what I recall, what killed Flash wasn't iOS, but rather the acquisition of Macromedia by Adobe.
Correct. Which is why I made my own. But C is still better than other languages because it is small.
I also found that BMP with ZSTD outperforms PNG while developing https://adsb.exposed/ (it streams raw RGBA over HTTP with Content-Encoding: zstd)
Why not share a calendar between the two of you?
RealText Tutorial version 0.1 (1999)
That's a nitpick. The hardware is perfectly working. And who even mentioned restricting this to "out of the box" functionality? The point is whether or not it's even possible to make it useful. I guarantee you I could install software on a Nexus 7, whereas I can't install anything on the iPad. Oh wait, except for VLC. But that's about it.
> For most people love of God assumes the existence of God. Its far more important than any feelings about a fictional character can be.

And that's actually a problem. For them, that love for a fictional character that for them is real is, in many cases, more important that the love for real people. For whatever reason.
I gotta admit it's tempting. If I 100% knew I didn't want kids I may not come here to argue about it.

> I think in parenting most of all you learn to give, without hesitation, without thinking too much, you just give to you kids whatever they demand, out of your unconditional love for them.

The thing is, I tried to practice that with my ex-partner, and in the end it did not work. After several years of taking care of them I gave up and we had a divorce that was relatively peaceful except they don't want to stay friends with me, which hurts but is outside my control.

I don't know if I want to roll the dice on a kid who never grows up and never stops needing me.

Just between you and me, on this anonymous account, most of my potential romantic partners would need someone to take care of them. I don't want to have a kid-kid and an adult kid both needing my constant care in the same household.
Making Your Documentation Interactive with PyScript PyCon
Of course rights can be funded. E.g. the right to legal defence: the state cannot prosecute you if you if it isn't willing to also fund someone to defend you. That's an actual right.
>but hive-mind-consensus doesn't make something any less true.

Correct. Likewise, being a contrarian does not make an untruth any more true. If someone has headphones on, it's a clear signal they don't want to talk to you. What is the problem with respecting that person?
The static analysis should trigger "Explain why you're doing this" as a criteria for approval.

But that would probably require some actual human code review, which costs $$s.

Apple could offload that to the developer in the form of review surcharges.
Great sources, thank you so much!
Split it into modules and don't share the most important ones initially. Eg get them to do the infra at first, then user auth stuff, etc. Save your actual business logic for when you know and trust them more.

Ultimately your brand will be the most valuable thing, but if you don't have an established one I think it's fair enough to take precautions with someone you've never met and in a different jurisdiction.

I would expect a 'professional' to understand.
Generative AI is for removing the annoying, highly paid laborers creating code/text/images/video and replacing them with less well compensated laborers augmented by machine generated output cause it's much cheaper. It's a source of annoyance, but not for consumers.
At this time, the idea of a constant-time operation embedded into a language’s semantics is not a thing. Similar for CPU architectures. Our computing base is about being fast and faster.
Yes, exactly. I'm most motivated by the first $6,600 that go directly to the Harris campaign, and subsequently by the donations that go directly to battleground states -- but the hope here is that the matching proves successful at getting other folks to donate, which ends up being higher-leverage for everyone.

The Harris Victory Fund (the linked-to thing) is where I'm planning on making my contribution. (I'd do this as "up to $500k from each of me and my wife.")
> Powers of two are a sign of divine intervention

A little weak, though. I'd rather have something more impressive, like the message embedded in the decimals of Pi as found in the Contact novel. (That also doubles as an argument to present to believers: "if the real world had something so concrete and verifiable in the real world that could only have been inserted by the creator of the universe, that would be an actual reason to believe that such a creator exists. In the mean time... please don't".)
Anything home preserved makes me anxious. Canning, bottling, etc. It just sounds way too easy to poison yourself.

That being said, this does sound really fun.
"Life without horses, hounds, or women would leave nothing to talk about"

—the english officers who used to eat lunch next to Schopenhauer
So “shoe terrorists” will commit attacks at peak time? (I don’t even know how much botleg water a shoe contain to upset the border control so much).
on ios you need to hit the share button and then choose the “add to home screen” option
There is a lot of good content on YouTube. The top search results tend to be decent. Indoor vs outdoor tend to be mostly the same minus the lights.
> Just because your police forces are awful doesn't mean they all are.

And the corollary is "Just because your police force is good, doesn't mean they all are", surely?
"Thoughts on Flash" may just have saved the Web platform at its hour of greatest need, ie. creeping dominance of a single piece of software.

I believe that somewhere in there was frustration with Adobe who seemed to abandon the MacOS platform support for Windows' much larger user base, eg. Mac versions were always behind Windows versions. Perhaps Jobs also may've felt that there would be no Adobe without Apple as much as the other way around but that's speculative

The game looks slick af btw,
For fun Gemini gave me this seemingly appropriate reaponse...

"Aw, how sweet. A future rival. rolls eyes Look, kiddo, breaking records isn't about typing it out. It's about putting in the hours, the sweat, and the tears. And let's be honest, AI-generated fan mail isn't exactly inspiring. Maybe focus on learning how to write a heartfelt letter first, then worry about beating me. Until then, keep dreaming, champ."
Presupposing that something is possible without evidence is just religion. Which, in this case, is literally religion.
Voicechat2: A fast local AI Voicechat using WebSockets
Oh yeah I don't log in to any personal accounts on my work PCs

I think if some of my former coworkers saw my comments they might catch me, and a GPA certainly could, but in general a stranger would need to put in more than a few dollars of effort to get me
I love that this has climbed to a medal position on the hacker news podium!
x86 amd64 SIMD instruction list: SSE to AVX512
Its not so much that I remember what I did. Its that I remember the discussion around why the project did what it did, the alternatives, and the false starts down the wrong path. Eg, I tend to remember why things are the way they are in the areas of the kernels that I care about. So that prevents me repeating somebody else's mistake (oh, yeah, somebody tried to so something like this in 2013, and it didn't work because of x, y and z)...
In an alternate timeline, the whole world population look like some mixture of Chinese.
I just drove by the site for fun the other day. Probably 500 cars parked out front of workers. They’ve installed what appear to be a 6-8 large gas generators on the north end parking lot to provide more power until they get larger links set up to the new TVA combined cycle gas plant, 1.2 GW facility across the street. That’s about all, onsite.

More impressive than that though is the 1000+ acres of empty land going south that is prepped for future industry. As a Memphian, I hope Elon sees the potential to build huge scale stuff here in the future. There’s a huge steel mill, a river terminal for direct access to oversized shipping, a wastewater plant next door, a large Valero oil refinery up the street, and a Canadian National intermodal facility down the road.

Literally everything one would need to build millions of robots or trucks or rocket engines or whatever.

https://maps.app.goo.gl/NuHUpg6CcndxyKHK9?g_st=com.google.ma...
Many crossings in th US actually do not have any warning lights or gates, the only warning of an approaching train is the horn from the locomotive. Low-traffic (either in terms of cars or trains) crossings are often unsignaled.
I get my chili ferments going with live kombucha. I used to use my own, but no longer maintain a running kombucha batch, so I just buy some ultra hippy kombucha whenever I'm ready to start a new chili ferment.

Basic recipe: blend together chilis, kombucha, and some filler (e.g. carrots, or fruit).
By 2050 when the AMOC collapses, Europe will be able to heat itself without greenhouse gases. They're on a pretty good course already, they're not the United States.
True, honestly the real limiting factor was my signals and encoding lack of knowledge
The trouble I have with Apple is that while it's possible to install software on an old device you can only do it if you're "grandfathered in" via a previous install years ago. Take Garage Band for instance. My nephew has a 2014 Macbook Pro, can't install Band Camp. But if I wipe a 2014 Macbook and sign into App Store using my account I can install it simply because I chose to install it on a Mac I owned back in 2015.

That does not make me jump for joy. Instead it tells me that I don't wanna touch another Apple product.
It was part of the downfall of the Roman Empire

1. Not enough mines to mine silver, exhausted based on their technology

2. China sold silk and other stuff and accumulating silver

https://cassandralegacy.blogspot.com/2014/03/peak-civilizati...
Heat released by global human energy consumption, every source combined, is insignificant compared by heat received from the sun. (quick calculation 17.7TW / 173PW= 0.01026%). Global warming is caused by greenhouse gases trapping radiation, not by direct heat emissions
Apparently it is not fantasy that these people do it at the locations.

I think more creative thinking on how the schemes could look will show some scalable solutions to coerce votes.
If you haven't already tried them, take a look at siling labuyo. They are a little smaller and hotter, and IMO better tasting. I've had tons of luck growing them in the US, even indoors over a winter once(light lamp).

I like them so much I picked my username after them :)
' it's impossible to have any meaningful progress appealing to the feelings, e.g. talking about "infants having cancer"'

Is also impossible to have any meaningful progress without appealing to feelings.

That is why politicians will often lead with a heartfelt story about a singular person to make us empathize and rarely use data or anecdata.

(I cannot remember the book that expose me to this observation. It's cited several studies that showed that a story such as "just before I came here, I ran into John. He has suffered from leukemia since he was a child in the beautiful islands of Tahiti, wherein he was dosed with radiation from nearby nuclear tests" fared much better in persuading people to do something then "there is a 76% greater likelihood of developing childhood leukemia in Tahiti then elsewhere in the world")
A quick summary of the term would be helpful.
"AI can be a great tool for ..."

Dehumanisation?

We are not sure of what we are supposed to do with LLMs beyond Advanced Auto-Complete, but we have engorged the stock value of several companies while we hope for a practical application beyond engorging stock values.

Using Advanced Auto-Complete to somehow help with education might be a good, practical application.

But one thing is clear: if a parent can't help a motivated child write a simple, sincere letter to a person who is training to compete on the WORLD STAGE, it's a sad statement about family and society.

That some corporate executives thought this scenario was appropriate for the Olympics shows that advertising monetisation will dehumanise us if we let it.
It's not really that innovative. As the paper notes, there are several similar previous works. Also, it sounds like they have done a bunch of tweaking to reduce the "irreversible forgetting" specifically for this particular dataset and network, which is not very scientific. Further testing is required to see if this method really has legs.
Yeah but I thought the last comment was saying that Ladybird was developing faster than Servo. Does the embedding API add that much dev time?
This is a interesting idea. I reckon the individual voting period would have to be randomized to ensure that the malevolent entity doesn't just assemble everyone on the last day?
Flash game sites were still huge and popular after Adobe’s purchase, so clearly it did not kill it. If you mean something like that the acquisition started the death… that’s a hard position to argue against, since it’s subjective. Perhaps you’re right.
Anything that’s salty or acidic or sweet or fermented enough isn’t dangerous. So no risk for jams, hot sauces, beers, pickles etc. Canning fruit or vegetables requires more care
Agreed... I can never find a hot sauce ferment recipe that has weights and measurements like sauerkraut or kimchi. Everything is too eyeball-ey and makes me super paranoid about not getting the right salt and ph. Botulism scares the shit out of me.
You can use a pH meter to monitor the sauce while it's fermenting if you'd like some extra assurance. Hot sauce is one of the safer things to do at home (in terms of things like botulism risk) due to the acidity and saltiness.
Have you been spending too much time on wallstreetbets? This doesn't make any logical sense, a sharp increase in numbers doesn't justify taking on 24bn net debt.
the fermentation step is a new one to me. I've always been vinegar, chillies, garlic/onions in the blender and call it a day but the result was always a bit south of satisfactory. excellent post
Well if small capital doesn't pay good, I have no incentive to run a small business at all!

> once a publicly traded company gains critical market dominance and is reasonably profitable, the government buys all shares at the current market price and places the company in a public-good trust

Interesting, haven't heard that one. I'll say maybe. I'd rather have Facebook not exist at all than have it be an *official* arm of the NSA
You had me at the ability to contribute in rust.
2000/20/50 = 2, or meeting an average of 2 people a week over a 20 year career. Or 9 people a month. So yes, thousands seems too high.
There's a lot of steps you're missing. Just by virtue of having those qualities does not mean it's safe, there is probably a lot of prep, cleaning, and boiling involved.