skysight-inc/HackerNews huggingface dataset:
I don't know if others here also read the really interesting technical report on how the searchers used very presciently recorded data from Inmarsat to figure out where MH370 may have gone. (not the government overall incident summary or similar, but the paper in the Journal of Navigation, which I didn't know was a thing)

It turned out that after the previous (Air France?) loss of aircraft, Inmarsat's operations team/executive decided that they should preserve data about the Burst Timing Offset (BTO) and Burst Frequency Offset (BFO) of every transmission to/from aircraft instead of discarding it as unneeded data (their disks were filling up). That data records the returned ping frequency and timing offset (hence the names) of the plane's transmissions to/from the satellites, even if it's just for a handshake, and no meaningful voice/data content is exchanged.

After all, if a perfunctory handshake message contains no content, why save something as esoteric as the Doppler-shifted frequency you received it back on, or the timing difference?

The executive in charge of that said, impressively, "we didn't exactly know why we might need it in the future, but we thought we should save that data." (paraphrasing, can't quite find the original quote right now)

That frequency + timing offset was the key information in figuring out what radial + distance the plane may have been flying on, for 7 hours after all other systems stopped reporting, based on the hourly handshakes/pings of the sat-phone system. All other data reporting systems had gone offline or out of distance. They tested it against other aircraft (in same geographic area, time, and of same type even!) whose positions were known, and had confidence it was trustworthy enough to base the search areas on.

It was a fascinating read to me at least.

https://www.cambridge.org/core/journals/journal-of-navigatio...

and more generally:

https://en.wikipedia.org/wiki/Malaysia_Airlines_Flight_370_s...
That would make sense, though. The conference may be comfortable with slides that are critical of FB/Google from the perspective of doing business with them, but not be interested in a talk that goes into more abstract and inflammatory political issues that don't have a direct business focus.
> What near misses have they had?

And don't forget about the ones that you never heard about due to a lax reporting culture. Turkey is (in)famous in this regard; you only find out about incidents when they're impossible to hide (like their frequent landing mishaps).
The Attentional Set Shifting Task (2015) (with mouse video)
For 2 years of applecare, the price would be double. Still, if you frequently break it twice a year, then I guess apple care is your best bet. But I don't usually use a case at all and I guess I'm just not that rough on them.
To be honest, I would leave almost any company that offered me 6 months salary in severance, if for no other reason than to work on projects for a couple of months while seeking a next job and then making double salary for four months. I passed up that opportunity once (and it was the right choice because it was my first tech company experience,I needed to build up years behind the keyboard and a portfolio), but I definitely would not today.
Am I wrong to see this as a very binary management issue?

If an employee calls another employee on racist acts and this is true, fire the racist. If it was a lie, fire the accuser. It feels easy and natural to just take the accusation very seriously with very serious consequences instead of framing this as a political discussion.
This happened in 2014 when this same group believed that they could win the governership of a conservative state with an abortion-supporter. I'm not making a judgment on that position, I'm just saying that it completely misunderstands the culture of a state, to a scary, scary degree, part of why they don't win.

Trump is and was a fraud, liar, and fool. But even Crazy Ted Cruz opposed him. The Bushes were obviously appalled by him. He won due to Twitter and new political dynamics. We face a repeat of him if we keep electing ignorant and arrogant celebrities that can't take responsibility.

Trump's opponent in 2016 lost due to arrogance, Weiner being a predator, and a repeated series of unforced errors. Their own history is full of recorded lies and power grabs and being late to the party like supporting gay marriage. Their husband was the last president before Trump that was impeached for lying about sexual impropriety yet called it a vast right wing conspiracy (yikes). Well, ahead of the game there.

We can choose to pay attention to this or not, but I'll tell you what I'm sick of being promised things by liars that know exactly (or worse, don't) what the are doing.
Thanks for reading, and glad that you've enjoyed the blog! We've preferred to stay anonymous as it allows us to write more authentically.
I think people's defensiveness can get in the way of empathy.

I would be somewhat dismayed if someone asked me to denounce white supremacy, because I would hope that it would be obvious that I abhor white supremacy.

I don't think I'd be insulted, though--and certainly not to the level of refusing to do any denouncing. Of course it's wrong! Hope to live in a world where it goes without saying. Until then, happy to repeat as often as anyone cares to hear it.
If bad PR affected their business, they might have something to consider. But this will never affect their growth. They're not going to lose a single solitary sale that isn't already accounted for by their standard profit model. The only bad PR that would affect their business is if their actual reputation as a service provider were tarnished. Charging people money for a service they used does not tarnish AWS's reputation. It's their whole business model.

When you stay in a hotel room longer than you're supposed to and they charge you for another half day, or you eat food from the mini fridge, or buy a pay-per-view movie, etc, you could claim ignorance, and create stories about how terrible it is that people get charged for these things unknowingly. But Holiday Inn's bookings are still not going to take a noticeable hit.

Moreover, they don't even need to offer a Free Tier to get people to use AWS. They're AWS. They're the gold standard. It's like saying IBM would need a Free Tier (back when IBM wasn't trash). It wasn't a question of whether you should use IBM, it was whether you could afford it.
Regulatory capture. Google and Facebook can afford the administrative load to fully comply with the letter of the law, without being hindered, while smaller entities are meaningfully affected.
Give it time, I'd say. The RP2040 is out just a couple of weeks and availability was spotty so far.
If you read that Wikipedia page, under the Scholarly debates section, the existence of a "Southern Strategy" at all is debated. Nixon never claimed to have a Southern Strategy - he was focused on a national strategy that included the South. Notably, in his 1972 election, he carried 49 states - indicating that he did indeed have an inclusive national strategy.

The more likely explanation to contemporary GOP success is that Nixon (& others) were very effective appealing to suburban demographics (where the top issue was the economy). It took decades after for the South to gradually become a GOP stronghold, and it is very debatable which specific policies were the cause of that.

People point to figures like Strom Thurmond as evidence of a Southern Strategy, but there were several Democrats who did things like filibuster the civil rights act & endorse segregation. Prominent Democrats such as Robert Byrd & Richard Russell Jr. were fighting Nixon's party at the time. It's safe to say that at the very least, the existence of a "southern strategy" is not something that can be accepted at face value.
My understanding of the initial comment and why I +1 it was that I thought it was focused on the observation that this person has been in a situation in which they are a minority, are realizing they are one and are thinking about things that they wouldn't think about before and hoping that this experience helps build empathy and better understanding of the day to day life as a URM.

The situation the person is in isn't great and leaving sounds worth doing but I didn't think that was what the response was about though I can see how the implication to not run away could be interpreted in a different way
Humans only form one race. You're thinking of skin tones.
My intuition would be that the kind of multitasking that can cause damage refers to trying to do multiple tasks that require a certain threshhold of focused attention and executive function, whereas musical training allows for the encoding of muscle memory to a level that doesn't really require executive function.

I'd be curious to see if that intuition holds up in practice, though I have my doubts about whether IQ or EQ would necessarily be the right quantitative metric.
In addition to that it was the only path in his simulator that wasn't skipped through, which gives it special significance.
I'm glad that both FB and Signal have both made clear claims which may be proven or disproven. That makes everything much easier for onlookers. As both parties have made strong plays, time will adjudicate this matter.
Google Maps Loading Tricks
The spectre of Doge rising over the major league baseball stadiums marks a critical turning point in nerds conquering Earth.
I built this kit over the weekend. It was so much fun! I was able to get my MailStation on the wifi, run msTERM, and connect with telnet to klud.ge.

jcs did a great job designing and documenting this project. Highly recommend you try it out.
The main goal here is security against side channel attacks, not performance.
Thanks for the kind reply! don't worry about it - examples are good for learning, and the main thing is just to course-correct going forward.
The title is misleading. The whole presentation is critical of Google and FB. The conference was fine with the slides that criticized them for the way they do business with their partners. They asked for the removal of the slides that go into wider politics, like trying to blame FB/Google for political extremism and income inequality. Totally reasonable decision IMO.
>And maybe some employees who worked on that list were racist; there is no way for us to know. I like to opt for a more good-faith interpretation, which seems very uncommon these days.

Racism is the air we breathe. I grew up around mostly white kids, and there is undeniably more fear amongst those kids (myself included) when interacting with black people than with white people. It seems similarly undeniable that affluent white people are more afraid of african american people when its dark out than they are of other white people. When a black person applies to a job, their blackness is not neutral. It seems to me that most people have underlying feeling about blackness, and that people of color have to contend with that when they're going through their lives.
Except that the GOP is still cynically appealing to racism. The parties in their modern form began after their realignment with the civil rights movement. They haven't fundamentally changed since the sixties.

Yes, I agree it doesn't persuade anyone to call them names. I don't excuse that behavior. But again, it isn't wrong to say that the GOP uses racism to this day to win votes.
Lisp -> symbolic AI

Python -> statistical AI

Lisp + Python -> ???

Looks neat :)
I'll take a look, but it's rather unsavory to point the finger at someone else instead of taking responsibility for your own actions.
What’s wrong with husband?
That's an interesting perspective which I had not considered before. There are certainly plenty of people out there desperate to sit in opposition to mainstream culture, not merely to be arbitrarily contrarian, but because they enjoy the feeling of being hated. The fire-hose of scorn and derision maintained by such rote denouncements might attract them to the idea like moths to a flame.
Yeah, this is correct. I don't think flow applies if attention is divided.
It's an internet forum. The stakes are not that high.
You turned this into a political flame war for no reason at all. The head of this thread doesn’t say anything about Republicans or Democrats. People didn’t leave because Ryan Singer was acting Republican, they left because he was acting racist. No reason to conflate the two if you believe they’re unrelated.
This is being done by amateurs, so the amount of time taken should not be surprising. Knowing a little about WSPR, I am skeptical that the methods described can work.
Moved fast. Broke stuff. FSD apocalypse.
10% is significantly higher than 0.
Hmm not sure where the problem is. With IAM you can create a policy to limit the user to only use certain services, deploy only the cheapest type of instance type, limit the region, the time of day etc. All of this and more is built in to IAM by default. You can even create a CloudFormation as a internal product this way you can limit even more what people do, and budget for that. And on top of that you can make a Lambda that is triggered every 1h to shut down unused resources or send a warning to shut it down, if not, it will go down the next day.

The possibilities are endless. I personally don't see the IBM comparison.
If it fits, I sits
Sad but true. This is why I'm hopeful that Zig will add support for "constant time" blocks: https://github.com/ziglang/zig/issues/1776
That applied even before fly-by-wire. Autopilots have existed for much longer than fly-by-wire has.
This is not a flame war, rather an analysis of what happened. Is that not possible? We really at the point that trying to discuss this objectively is seen as a threat of "war"?

Who is Singer?

Is this thread not an example of the misunderstanding we are talking about? You think I'm acting in bad faith, but really I just want to talk about this, because we don't solve it unless we try.
'Nothing incriminating" doesn't mean it it should be fully discounted.

The suicide theory is the strongest one in absence of a better explanation.
I don't think "parasitizing" is accurate or constructive terminology.

I think your conclusion is also obviously false. The access that the civil rights movement eventually acquired at many institutions did nothing to increase the injustices faced by LGBTQ group.

So while unequal access can create further injustices, it is not case they always do. I think that the linkage you are calling out tends to arise when the two groups are in conflict.
I feel kind of ridiculous for having this view point, but I have co workers who keep advocating for using facebook open source stuff. I kind of want to push back on these suggestions, not really for anything technical, I just no longer think facebook or google are even neutral companies. Something just doesn't really feel right about continuing to use facebook open source stuff. Maybe if it was developed by facebook but run by some neutral organization now would be fine. But having the company all over it doesn't feel right.

I think a lot of people are just into solving tech problems without considering much else.

There's a large part of open source that seems to just exist for large corporations and solving corporate problems for free.
Many of the offending meetings start with "let's jump on a call to nut it out" so unfortunately it's always a waffle in those cases without much useful prep work, but it's hard to say no because sometimes it really is the best course. I think we have a few people with a deficit of human interaction over the last year, doing their best to make up for lost time.
On the topic of web components, does anyone know if AMP is still using them? I heard they switched over to Preact but I couldn't find an official announcement.
Ryan Singer is the higher-up mentioned who said in the middle of an all-hands that trying to fix Basecamp’s racial insensitivity problem would end up targeting him as a white man.
Most overseas American don't pay American income taxes either, because of minimum thresholds and widespread (anti) double taxation agreements.

Those people still have the hassle of having to declare American taxes, without generating any revenue for the fisc. That's a pure deadweight loss, if there ever was one.
I've just started using it on a fairly simple project so I only have first impressions. But it seems like for a UI that's not too complex it could be a big timesaver. I need to spend more time with it before I can decide where I'd draw the line and switch to a full blown SPA but it definitely expands the class of apps you can build without much JS.
Wow, that sounds like a response made without input from their PR department. They basically obligated themselves to show these ads now if Signal tries to run them (even taking at face value their claim that they were never set to run).

So, they never ran the ads as a publicity campaign, caused some Facebook exec without enough PR experience to promise they will be run, and now they run... a publicity campaign... seems like Signal is winning twice here to me.
There's (of course) a relevant xkcd comic for this idea

https://xkcd.com/593/
> It's not working because they believe the wrong things about why they are struggling to find companionship.

So they don't need to improve themselves, they just need to believe in the right things and suddenly women will value them.

Really?

> I cannot think of anything except absolutely ghoulish ideas that remove agency from women.

And yet it's this agency that created such a thing as incels. Look at data from online dating services, plenty of evidence showing over 80% of men are rejected outright. Do you think this is normal?
Ruuvitags are amazing little devices, I still have the 3 I got from their Kickstarter almost 4 years ago and only one has needed a battery replacement - and it was the one in my sauna.
McCarthy wasn't canceling them, he was simply holding them responsible so they could face the "consequences of their words and actions".
Yes, political parties use racism and the language of demagogues to win votes. We learned that 2000 years ago. The trick is getting that there's no "party" attribute that determines that.

Do you believe that the Democratic party doesn't use racist rhetoric? I don't even want to make this an us vs them whataboutism.
Might not work for you but I enjoy using a push mower. I have an electric mower that I have to use if the grass gets too tall but the cord gets in the way.

My electric cuts 19" and the push mower is about the same, maybe a little wider. Cheap battery mowers are 16", maybe even 14". 22" ones are available for $450 on up. I'd consider buying one of those if the batteries would last for 5 years. My experience so far with cordless tools is not positive.
That was a delightful tutorial, I recently watched a talk about the Future of Mathematics[0] with respect to theorem proving and formalization.

I enjoy this area a lot and love to see it getting more attention.

0 - https://m.youtube.com/watch?v=Dp-mQ3HxgDE
> BRK.A is what, a vanity stock?

Voting rights.
I know it's just a google away but instead of sieving through all the resources out there can someone just ELI5

- where formal methods is actually used?

- is it a very specialised area of study?

- why is it needed?

- is it worth learning as a normal SWE?
I'm in a similar situation with the local road council who are trying to move a road onto our land so that people can keep higher speeds in a specific corner. It's a very good idea to have documentarion for where the markers are once a neighbor is hell-bent on driving a bit faster with his tractor.
"So the next time you're writing your boss an email during a meeting, remember that your cognitive capacity is being diminished to the point that you might as well let an 8-year-old write it for you."

Another fine piece of science journalism.

Pass.
"Every other cloud does this! They all have non-production subscription types with hard spending limits."

This is simply not true, to the best of my knowledge. GCP has budget limits, which can send alerts, but outside of manually catching a pubsub and shutting down billing on your own, there are no configurable hard billing limits.

I'm unsure what to make of the rest of your rant.
Anything you do contributes to what your employer does, other wise what are you doing at work. Especially in a tech company. We absolutely should put pressure on these employees of companies. People working at google, facebook etc are not barely getting by. Theyre people fought over, being paid enormous amount of money.
They've always been ad machines, but once upon a time Google was the good guy of the ad world.
Even regular sites used to be full of punch the monkey ads, popups and pop-unders. Google with its dainty little text-only ads neatly on the side of search results was a real breath of fresh air, and we all cheered when Chrome came along and started blocking many of the most annoying ad tactics.
Basic queuing theory: If you want to maximize the utilization (~ efficiency) u of a resource (e.g. CPU or cashiers), waiting times for jobs (e.g. processes or customers) that compete for it grow by t / (1-u), where t is the average processing time per job.
So, from a client's (job) point of view, maximizing resource utilization is bad.
I guess I'm weird. If I were offered 6 months of severance to quit a job at a successful company where I enjoyed the work and my coworkers, why would I take the offer? I've turned down offers that paid over 30% more because I like where I am. I don't think it's so uncommon.
> Update that setting in your routers (qdisc in Linux) as part of the API call that allocated a resource. If you claim your routers don't have a limit like this I call shenanighans.

Eh. AWS's edge network is highly distributed. Unless you want an even split of your rate limit across every possible way out of the network, you'd be much better off settling for an even split across your EC2 instances, and there's no room for bursting in this model. Enforcing per-instance limits (on any dimension) sounds pretty feasible, though.

This wouldn't generalize straightforwardly to services that don't have obvious choke points that can impose this sort of throttling, such as, I think, DynamoDB.
mostly a dupe: https://news.ycombinator.com/item?id=27040470
There's a cool book about it here https://leanpub.com/hy-lisp-python
Who else here is old enough to remember when stocks were priced with fractions as the cent value? 1/8s anyone? or 1/16s?

I cringe at how they had to parse that string input on an online stock trade form... "128 3/8" imagine the typos...
What is special about a tungsten cube compare to any other metal cube?