skysight-inc/HackerNews huggingface dataset:
> Maybe its something like, part of the colony finds food, and then sends a signal out saying "okay, remember this configuration, it leads to food". And then each organism makes some type of record of its own position relative to others in the colony or environmental landmarks, indexed by "food". Or something.

Reinforcement learning in a nutshell! :D
I have yet to meet someone in person who read the Silmarillon and liked it.

So, while RoP aren't too exciting, it's probably better off not using that book
Beginning of Infinity - David Deutsch
Personal Knowledge - Michael Polanyi
The success of the "Cursed Child" stage show seems an appropriate parallel here.
It can discuss the nature of intelligence, for example.
Grant from Bill Gates-Led Fund Will Make Green Jet Fuel as Cheap as Fossil Fuels
Looks really good. But are you using the google search results api? Paying out of your own pocket? Or is it something else?
Hopper is my go-to for light reveng or macOS binaries, Ghidra for Windows mainly because you can refine your typing until the decompiler window becomes very readable.

as an aside - When I was taught Ghidra the trainer said "in IDA you spend most of your time in the disassembly graph, in Ghidra I rarely leave the decompiler"
> unless you’re the kind that thinks having black people in stuff is political, which is sad

His point was literally that "having black people in stuff is political", so what exactly is your argument? Tolkien described elves as fair skinned, so there must have been an explicit decision by the show runners to override this, for reasons that could reasonably described as political. If you think that equality / equity etc agenda is not political "because it is the right thing to do", maybe take a moment and reflect on that.
Been slowly making progress on my 6502 homebrew computer, with things like a keyboard I took out of an old Tandy word processor, reading its keyboard matrix with an ATMega, and sending ASCII to the 6502. Writing an OS for it in assembly, with an 8 bit FAT file system (using serial EEPROMs for storage) has also been a very rewarding learning experience.
My sons and I were looking forward to The Rings of Power so much. In contrast after season 8 of GoT I was not looking forward to House of Dragon.

Things have totally flipped. I’m actually enjoying HoD. Not perfect but really engaging story.

I literally hate RoP. It has the story, direction and acting quality of a badly done high school musical. It has literally no redeeming qualities.

Coming up with an origin story for mithril was stupid enough but the stupidity of the story isn’t even consistent. It’s an absolutely terrible show.
You’re right, you wouldn’t want it to. The iPad needs bezels. On the other hand, it’s weird that they claim it does, when it clearly does not.
But crypto wasn't invented for rich people and drug lords to launder the money, so why would anyone give a shit about their problems in the first place?

It still would make a lot of sense for regular folks who prefer their online habits not to be tracked by corporations and sold around.
I wish they had been more bold in staking out a new tone. Instead it feels more like content cut from Jackson's better films, with mostly boring characters and plot that doesn't really move forward.

Imagine something that follows the ring-smithing process but with the tone of Primer between Annatar and Celebrimbor. Galadriel in something plotted and shot like a Western war film instead of a handful of mediocre martial arts scenes. Durin and Disa but it's a sitcom with Elrond as the crazy neighbor who keeps dropping by.

If you're going to invent, invent.
I can relate to this post and can explain for those who don't understand how it can be so

Things that can make you feel this way include an absence of extended family (giving birth routine can be made harder when no one is visiting you at the hospital or offering help with school runs, weekends, etc). This can be aggravated by a hard birth (blood loss, complications). Women can also go through post-birth depression. This can last years up to a decade

As always everything depends on your personal circumstances
Oh nice, I never thought of that. I would love to see the list of these unacceptable words, I can almost understand it not wanting to type out "fuck" but iirc they were also not autocorrecting "abortion" at one point which is a little ... conservative
The last two places I lived in NYC did have fiber to the apartment, so it’s not NYC as a whole that doesn’t have it.
> If you're calling "secret chats" the default

MTProto is the name of the:

1. Cloud Encryption

2. E2E encryption

algorithm at Telegram. MTProto 2.0 is not just secret chats, a different implementation is used for cloud: https://core.telegram.org/mtproto/AJiEAwIYFoAsBGJBjZwYoQIwFM...

Both cloud and e2ee consist of what's called the MTProto 2.0 algorithm.
If you ask me what's making the series unpalatable, it's this.

Make all the women act like toxic men, and make all the men act effeminate.

It goes back to the old line: "Being powerful is like being a woman. If you have to tell someone you are, you aren't." Galadrial in LOTR was an insanely powerful, to the point it was frightening. But she acted like a woman, not an arrogant man.

The writers are so clueless as to how to make a woman be a powerful character, the only way they can figure out how to do it is turn her into Captain Marvel / Rey / Mary Sue.
My experience of having kids is very similar to yours. But I will say that I'm starting to see light at the end of the tunnel. My kids are now 8 and 4, no more diapers or waking up at night. My wife and I are getting better at managing parenting responsibilities and lifts. My life is getting more balanced again. And I'm feeling a shift closer to what the comment above yours describes, although I'm not entirely there yet.
To be fair though we have 4 grandparents to help plus a nannie so not representative of most people.
My wife and I have taken our kids (now 4 and 6) on long hikes, camping, and even kayaking since the youngest has been 2.

There is definitely a loss of time to yourself, but it's not total, and often can be made to be enjoyable for you too (e.g. coaching the kids soccer team).

You may not be able to do everything you want, but can still do a good bit of it, and other stuff you wouldn't have done without kids.

If you have a newborn, the state of near constant need goes away more quickly than you fear.

I also think yhat loosing hope it gets better is a bad way of thinking about it. It gets different as kids get older, for the better i think. Hoping to have a child free life is a fools errand. Make the best of what you have.
Still worth it to get checked out. My wife is also late-thirties. We consulted with an IVF doctor and he said that she her reproductive system is still similar to that of a 35yo woman (meaning that although there is increased risk, it's similar to that of a 35yo than a woman close to 40). Luck of the draw.
> Up to relatively recently (a few years ago) it was not possible to transfer numbers from one provider to another.

Huh, I guess I got lucky staying with Viag Interkom and then O2 (which was an automatic switch when O2 bought them) for so long, I only really switched providers in 2020 which was long after the EU regulation was in effect.
You'll have less free time but you'll also be less inclined to waste what you have.
Why is this the thing that matters to you rather than the legendarium's real foundations of divinity, creation, power, and temptation?
Curious to know how to which degree they are self hosting, seems they'll buy their own servers but I doubt they'll go all the way to buying land and building their own data centers?
They are not adaptions of Tolkien's books; they are extrapolations from a single book.
To be fair, I fly about 30 times per year, and in the last ten years, I've found that the in-flight wifi actually worked approximately once.
To be honest, I didn't know the term "plot armour" before this show, which applies it almost parodically
For a more in-depth look at Brexit, watch this excellent documentary from the Financial Times (FT):

The Brexit effect: how leaving the EU hit the UK https://www.youtube.com/watch?v=wO2lWmgEK1Y
Belarus says it is unable to pay off debt due to sanctions
I can confirm this. Going to bed with the kids and being fresh in the early morning feels way better, than tiredly wasting time in the evening.
I relate to your current state of mind. I wasn't sure either before I had my first child. I didn't particularly like kids, but wondered what would it be like.

Then I had my first child by accident at 33 and it was by far the best thing that ever happened to me. I'm glad I didn't wait longer to decide rationally to have kids.

I can confirm a lot of the comments in here are true, for good or bad. But most definitely an overall good experience with love and fun trumping some minor annoyances.

(Writing this at 3am while my 3yrs old struggles to sleep in between me and wife)
That's why I was watching rethinkDB but that didn't pan out.
> That is not a definition of ⊨, that is a definition of logical implicature. Not the same thing.

You should read that definition again. It's really hard to have a discussion if we can't agree on standard notation. The double turnstyle symbol has multiple uses (sad as it is), and when there is a structure on the LHS it means something different than when there is a set of formulas on the LHS. The second sense is defined in 1.9.1 and is based on the first sense.

> And our disagreement turns on this, at least in part, because one of the consequences of the incompleteness theorem is that there are models of PA (or RA or whatever your favorite axiomization of arithmetic happens to be) where G is true, and there are models where G is false.

This is true.

> any (first order) theory that includes arithmetic is incomplete.

That is basically true, assuming that the theory is also sound (because we can construct unsound complete theories of arithmetic), and if by "arithmetic" we mean "addition and multiplication" (otherwise, see Presburger Arithmetic).

Gödel's First Incompleteness theorem does give you a bit more than that though (at least in its strongest variants): it doesn't make any assumptions about the theory being sound (mainly because that's very hard to prove), it just needs the theory to be "strong enough" and to be consistent (i.e. not leading to a contradiction). So even if we were willing to accept some false statements we can't get a complete theory (technically, that's the Gödel-Rosser proof, Gödel's original proof had a slightly different condition). It also gives you a concrete example of a Gödel sentence that can be construed, which leads rather directly to the second theorem.
SpaceX’s satellite internet service is coming to planes with Starlink Aviation
The movie studios reap what they sow.
You get what you pay for, especially in China. Many vendors are completely upfront with this, and you have to pay extra for "good" good parts. Just like you can pay for a test certificate, but you have to pay extra if you want them to actually test your stuff - I would have expected it to be the other way around to be honest.
I experienced Bell's Palsy for about a week and being told by the doctor it might never recover was.... well, quite frankly terrifying. For some unknown reason I woke up one day and it was gone. We've had a few mental glitches in the family over the years so put it down to genetics.
Lyft now lets you reserve parking spaces
I looked through their comment history, I couldn't see anything too controversial around the time this kicked started. Weird, maybe they can ask @dang to see what's up?
Imagine being able to watch a movie without internet access... maybe one day.
To be fair you can always choose to disconnect for a period of time.

I understand if your job expects you to be online when possible but if you have difficulty disconnecting without an external pressure to be online you could consider talking to a therapist to help you manage your reliance, especially if it's bothering you significantly.
What is your pain point with Confluence?
Haha, when I worked at a small IaaS, half my time on support rota was explaining how the SQL Server instance a customer launched was costing so much.
> You're talking about migrating kernel code to C++, but I'm talking about supporting C++ code in the kernel. That is, if third parties wanted to write Linux drivers, the only supported way was to do it in C.

That hasn't really stopped anyone who wants to write their out of tree drivers in C++.

> That aside, the kernel does do polymorphism the hard way (with unions and arrays of function pointers)

C++ virtual functions are needlessly inefficient for interface classes where you only have a handful instances for each implementation (most commonly only one). Support for something like structs of function pointers with a little bit of sugar so you don't need to explicitly pass the this pointer would be very velcome even outside kernel space.
I was using an iOS 6 device as a daily driver until April, 2022, then moved to iOS 15.

The typing experience on iOS 6, and cursor placement/word selection, is so much better than iOS 15. I hate typing on my iOS 15 device. The whole “hold the spacebar” mechanic is inferior to how cursor positioning worked in earlier versions.

(I had a short stint using a “burner” Android phone back in September and that did make me pine for iOS. Even iOS 15’s keyboard was better than whatever Android version that phone was using.)
>They are dumping e-waste on us, and we pay for it. A fantastic trade trick.

To be fair, western corporations were the ones who made the big move of offshoring all goods manufacturing to China in the first place and turn them into e-waste in a constant race to the bottom of lower and lower costs and higher and higher margins along with insane executive pay for their genius move. Hardly China's fault. Hate the game, not the player, and this game was made by the west, and China has just gotten really good at playing it.

The best way to fight this is to bring back manufacturing (it's already cheaper to build certain stuff in some EU countries than in China) along with products that last longer and are more easily repaired. Western consumers would just have to stomach higher cost of goods, and western corporations would have to stomach lower margins, but it's definitely doable if desired, but it won't happen.
They should have sold airtime and terminals to the military and worked with humanitarian organisations for civilian use.

Point is that there must be clear expectations and obligations on both sides to hopefully prevent stupid disputes and drama.
Many people realized during covid that life has completely different meaning for them than being a cog in some corporation and sitting on their asses whole day, every day, in some soulless office far away, making money for somebody else.

You clearly have no close family, otherwise we wouldn't have this thread at all, simple as that. I've become parent of 2, 1 right before covid, 1 during. It took over my whole world and some (significantly some) more. I used to do tons of adrenaline/adventure sports in the mountains, now I do practically 0. I don't complain, life is about priorities.

Even if I didn't have kids, I wouldn't waste more time in the office than necessary (which is now 2 days/week). I would be enjoying life proper, which definitely doesn't happen in front of screen and on meetings. I've met people like you, but you are truly a tiny minority, most folks do IT for money and the fact they can't do any white collar profession outside it, and money are too good. Stop paying them, 0% will ever come again. Would you?
That will be good marketing for future human mass-nurseries: "Uber Kids(TM): Now with 75% less commitment"
I don’t mean favoritism towards specific companies; I mean suppressing opinions that are inconvenient to companies. For example, blatant anti-Chinese xenophobia or hate speech towards economically disadvantaged seem to be welcome here, but just try to link something to Christian fundamentalism, or try to point out the kinds of hate speech that is still tolerated by American mainstream.
If only they'd invent a way to watch movies without streaming them!
Use it for porn, logged out experience, or to reset the cookies/cached data websites have on me.

I don't expect anything else from incognito mode.
A bit weird for the "I don't use it so who cares" view to take a firm hold here.

SMS is:

1. not controlled by a single company

2. a different network than the internet

3. a fail safe for people who don't use apps or are unable to at a given time for some reason (inc 2fa)

4. a fail safe for a "small group of people" who are suffering the consequences of a natural disaster.

Though perhaps not economically feasible for certain companies, supporting redunancy is as much an honorable goal as privacy.
Analysis: Europe’s quantum sector is poised for growth
You can change it back. Go to Preferences -> Version Control -> Commit -> Use non-modal commit interface.
this really speaks to the urgent need of making interoperability legally mandatory for the bigger actors so one isn't socially forced to use one or two applications that are provided by a private actor
Siri has languished in nifty feature hell. Apple bought it to look futuristic but hasn't made it useful.

"Hey Siri, check my messages on WhatsApp"

"You'll have to unlock your phone"

If I could handle the phone right now I wouldn't be asking....

"hey Siri, what commands do you know?"

"I can't do that."

"Hey Siri, remind me to call Bill on Thursday" (tiny pause before on Thursday with continuation sounds like "uh")

"Ok I set a reminder to call Bill."

"Change to Call Bill on Thursday"

[Adds "On Thursday" to the title]

All of these things are much better handled by Alexa or Google. Alexa does need a two word command introducer though. It joins into conversations randomly by mistaking words for "Alexa".
> he said he'd rewrite the book to match if he could

Anything to not actually finish the main books.
From an engineering point of view, it’s interesting they chose to implement their own intermediate language, as opposed to just sticking to LLVM IR and “outsourcing” the problem of code generation.

I actually researched this some time ago, and was a bit surprised to learn that modern GHC’s intermediate representation seems to differ from what the C-- paper describes quite substantially, in ways that are only described in the source code. They’re still using the same name though.

One observation is that GHC has been somewhat slow to adopt new CPU targets (M1, WebAssembly). I wonder if the reliance on C-- played a role in that.
> What would you use but SMS when contacting people you don't?

Here in the UK, whatsapp is the default first try, at least with anyone I've interacted with. The dog groomer even messaged me on whatsapp to tell me dog is ready, completely unprompted.
The understanding of copyright by US case law very strongly protects original characters.
> I have yet to encounter a predictive text system that handles more than one language well.

Huh, really?

I have "Multilingual typing" enabled in my Android keyboard settings and it works pretty well. I can write a message that has English, German and French mixed in (not even that uncommon in Switzerland...) and it doesn't have any problems with it.
Having a live preview of the diff before any changes were applied (like vscode and most editors do when using find/replace) would make this a lot more useful.
from the 2010’s and onwards

his influence is waning

The specific claim was "the most popular rapper/hip hop artist of all time". For that claim, I don't see a good reason why the last decade should weigh more heavily than the decades before.
> The extremely few people who were so fed up with Twitter that they left for Mastodon, are they eager to finally start federating with Twitter?

I never was on Twitter, but I am a Mastodon and Pixelfed user. I have zero interest in the cesspool that is Twitter joining the Fediverse and if they did I would probably instance block them.

This is about standards and my suspicion, that they want to keep all the control and profits, but now want to call it federated.

> The specification may be terrible

Have you read it ? I haven't, but it is working pretty well for the Fediverse.
And once again: Standards aren't static, if you actually have a concrete problem with the standard instead of a gut feeling, that "it just sucks, don't ask about the details", then formulate it and bring it up to the creators of the spec or try to fix it yourself.

> IRC beat the 'the standard is just fine as it is' drum for many years

Well maybe that is the difference between IRC and ActivityPub. Nobody on the ActivityPub side is delusional enough to think the standard is perfect.
There can pretty much by definition never be a perfect standard. There will always be use-cases that were not thought of during the creation. The solution is not to create one standard after the next, it is to improve existing ones. 1000 Standards are as useful as no standard.
I don't think that's necessarily true.

The markets we have are perversions. They are captured; regulated and deregulated in all the wrong places.

It is possible that small changes in how money or capital works could enable far better markets.
> Amazon didn’t procure the rights to use most of Tolkien’s source material. They are contractually bound to make up nearly everything you see in the show.

So Amazon spent $250M on the acquiring rights [1], and yet, that doesn't even cover the meaty parts of the source material? They budgeted a whopping billion dollars, and gave the job of show running to people who had no experience in managing the show of this scale; heck they have no experience at all. Both of them have barely any credits on IMDb [2, 3].

The curse of streaming services is that return on a piece of content is nearly impossible to derive. For a movie, whether it made money or lost money, is pretty obvious. Netflix on other hand sees if you watched something for two minutes and calls it a victory [4]. I won't be surprised if there's a lot of grifting going on in making the production decisions.

[1]: https://finance.yahoo.com/news/isn-t-game-thrones-amazon-234...

[2]: https://www.imdb.com/name/nm4260438/

[3]: https://www.imdb.com/name/nm4259881/

[4]: https://screenrant.com/netflix-2-minutes-veiwership-numbers-...
The Instagram results don't even load in my Firefox and just shows a white error box. This is what I get:

https://imgur.com/cu3u6EX
This isn't just a China and chips thing, it's a general supplier thing. My mom ran a small cafe once, and complained that the wholesaler would regularly try to foist out of date coffee on them.

It's something I keep arguing: there's a price associated with policing, keeping, people honest. If there is intense competition, the pressure to cheat is also intense, and what you gain from competition may well be eaten up by the cost of policing. So competition isn't a panacea, it has rapidly diminishing returns.

(My mom's wholesaler, though, were pretty much a monopoly, who did this sort of thing just because they could. A different failure case!)
> LOTR has been a solid part of pop culture for over 20 years now...

Actually, LotR the book has been a major influence in American pop culture since the 1960s. The debate here seems to be whether RoP is faithful to Tolkien's vision, not Jackson's vision. Not criticizing, just trying to keep the original point in focus.
Alpha testers needed for my next level doodle with motion animation software
We are just a small team of 2, creating an animation software that we hope raises the bar with what is possible with whiteboard and doodle style videos.
I encountered a strange bug on iOS: after visiting the Sound website, which uses the Web Audio API to play sounds, web-views in other apps (e.g. Lieferando, a food-delivery app) would play the same sound. So it seems like all web views share the audio context. Really weird.