skysight-inc/HackerNews huggingface dataset:
Here’s a NSFW video from twitter of the plane’s supposed last moments:

Footage of Ukrainian flight going down: https://mobile.twitter.com/mehrdadt1987/status/1214756444421...

From PPRune, these are supposedly pics of the crash site: https://cimg8.ibsrv.net/gimg/pprune.org-vbulletin/1085x464/p...

Debris looks scattered which would indicate an in-flight breakup and would lend credence to the rumors spreading online that the plane was shot down.

Also of note: the plane was delayed by an hour and Tehran had icy conditions this morning. I wonder if the plane was de-iced prior to takeoff, or if it was de-iced, perhaps it wore off by the time it took off?

In any case this is all wild speculation; hopefully better details emerge soon.

This really reminds me of Iran Air 655 that was accidentally shot down by the US in ‘88. I hope this doesn’t lead to any further escalation of current tensions. RIP to all of those onboard.
Yes, new Apple hardware in particular has a very distinctive, pleasant and hard to describe smell.
Google’s sustainability pledge appears not to apply to trade shows.

https://sustainability.google/
I'm into computers for decades. The first time after ages a computer blew my mind again was when I got deep into k8s.

If you haven't yet do it now, check k8s out, get knee-deep into it and not from a devops perspective but as one who admire computers.
By installing spyware.
But Intel failed here with the same mistake they've made many times before: the people who actually buy Intel kit basically want a faster 8088/80386/Pentium, not a novel, cleaner, sexier new architecture. See: iAXP432, i860, i960Mx and recently Itanium.

Linux Torvald has an interesting take on this (whether or not you agree): https://yarchive.net/comp/linux/x86.html
Amazon Doubles Down on Ring Partnerships with Law Enforcement
Only related, but the Apple Lisa had a capacitance keyboard and we had one of the original demo units in our computer store ... but we soon discovered that with hands on the keyboard, random characters would be 'typed' sometimes. Trying to solve this mystery we checked connectors, outlets, building earth grounds. Finally we were picking up the table it was on and sliding it around the room. We found a position in the middle that seemed to minimize it but for certain people at certain times, the ghost typist would jump in and add things to what they were typing.

Next day I was experimenting on an empty document with my hands resting on the keyboard watching ghost characters appear. A radio was tuned to 1000kHz AM and someone was speaking. The rhythm of the words was a perfect match. Jingles and music generated a continuous stream of gobblegook. Not surprisingly, the station's transmit tower was ~1000ft from our building.

I ran a ground wire to the table and while holding it the ghost typing stopped. We replaced the chair with an all-metal folding chair with ground wire attached, so as we demo'd the machine customers would not experience the problem while they were sitting on it.
> so everyone looked to the safer bet in 64bit computing.

Itanic was the safer bet in 64-bit computing. It just sucked. Intel didn't switch to AMD64 until underdog AMD was already eating their lunch.

Today there are probably more aarch64 CPUs being sold every month than amd64 CPUs (including Intel's).
I used to develop multiplayer cheats and bots because I enjoyed overcoming the technical challenge. Reverse engineering software, creating and injecting your own shell code in a game and see it working is extremely satisfying.

It seems very selfish in retrospective and I'm sorry for all the gamer experiences I ruined.
Though this is not particularly strong, I don't think you would get similar strength from an n-gram model. You need longer-term correlations, which is generally where transformers do well.
I wouldn't call this spyware; it doesn't seem to reach outside of its own process (though I guess it does report back what you could call analytics).
> There is one exception though, and that is floating point code.

I wish I had read to the end before replying (and then deleting) responses to each of your items. :-)

I think we're mostly in agreement, except for the following minor tidbits:

> The width of the VLIW is baked into the ISA [...] no way one could even have space for that many instructions in a bundle.

My understanding was that your software/compiler could indicate as many instructions as possible in parallel, and then stuff a "stop" into the 5 bit "template" to indicate the previous batch needed to commit before proceeding. So, you wouldn't be limited to 3 instructions per bundle, and if done well (hopefull), your software would automatically run faster as the next generation comes out and has more parallel execution units.

> all those wasted slots in VLIW words and huge 6-bit register indices take up a lot of space in instruction encodings

128 registers, so I'd think it'd be 7 bit indices. Each instruction was 41 bits, which is roughly 5 bytes. Most SSE/AVX instructions end up being 4-5 bytes (assuming no immediates or displacements), and that's for just 4 bit register indices. So it doesn't seem much worse than we have now.
My argument was narrow: to counter "seems to be a new thing". The argument of "the scale of these fires is unusual, but if there is an unusual cause, it's an unusual amount of arson, not unusual climate conditions".

If a single act of Arson was the only fire started then it still wouldn't make sense to attribute the fires to arson alone, because arson can start a fire but for it to grow it needs dry fuel. Which is created by drought. Which is linked to climate change.

And of course arson trails behind legal and illegal burning off and lightning as starter of fires anyway [1].

I mean like sure if we were able to somehow eliminate arson and burning off we would probably have less bushfires.

That doesn't change that the scale of these fires is straightforwardly linked to climate change. Fixating on these miscellaneous factors distracts from the broader, more critical issue.

[1] https://pbs.twimg.com/media/ENuS0AHUwAERccK?format=png&name=... (from https://www.parliament.nsw.gov.au/lcdocs/other/12533/Answers...)
How Bees Argue
> China currently has two Panamax ports, with a third on the way. Vietnam has none and is building its first. The U.S., by comparison, has 42 by my count. [5]

I'm curious how Panamax or New Panamax berths make ports more economically viable? And whether US ports are more heavily import focused (and thus want a Neopanamax berth available should the need arise) vs. Chinese or Vietnamese ports? The reason I ask is because I spend too much time looking at ports on Google Maps, and to my eye no single N.A. port compares to most Chinese ports in terms of land area (and apparent capacity). [1] Do goods just sit idle in yards at Chinese ports?

Also, it looks like a single user has added ~30 ports to that list for China. [2] I'm not sure what to think of that.

[1] With the exception of Long Beach. Also this is only for container capacity, so I'm not thinking about roll-on/off, bulk and tanker ports.

[2] https://en.wikipedia.org/w/index.php?title=List_of_Panamax_p...
The attempt to make analogies with biology from writing and computing will always fail. Biology is messy, lots of repeated use of the same data, circular references and other things that we find hard to interpret. It's as if starting on the second letter of a book instead of the first will give you a different story.

The 'one gene, one thing' or just a few things at most meme died long ago for all biology practitioners that are with the times, the problem is more with IT people attempting to understand biology trying to make computing analogies to make sense of something that evolved rather than that it was designed.
One of the things I found I really like is that Jellyfin is really good at what it does. It doesn't do nearly as much as PLEX, but I am OK with that as I just want it to catalog my movies and TV shows, show some pretty artwork, and crucially play them.

I don't use trakt.tv myself so never looked to see if it has any integration with that.
What I don't understand is why the cheats can't just prevent the shellcode from running, or preempting the exception handler from being called by installing their own. Is spoofing the return of NtQueryVirtualMemory not possible, either?
I sort of wish there was more polls on issues like this. What percentage, of the general population, thinks it is beneficial to have security cameras share information with the police?

My house was broken into a couple years ago. Windows smashed and the place vandalized. I felt violated for months. I had no security footage then and the police said it was a waste of time to dust for fingerprints. I wish I had Ring then - I do now. I am happy now that thieves know when they approach my house now they are being filmed and shared with police.

I know the Hacker News crowd is very against this - in a very out of touch way - but I am extremely pro being able to share footage from my private residence with law enforcement and am happy local law enforcement may finally have some tools to solve repeat burglaries.
Journalism as passionate advocacy for things actually believed in is far older than journalism as a product. Paying more for a journalism "product" doesn't magically make it not propaganda. I'd say the opposite happens - that journalism as product incentivizes outlets to pander to the audience to increase circulation, without regard to the truthfulness of the content. High-"quality" commercial journalism is clickbait, because what's rewarded is circulation. not degree of accuracy.

The problem is that journalism product crowds out (and delegitimatizes, intentionally, as competition) honest advocacy.
Not so sure about _the first_ but might agree to _the coolest_ ;-) Motorola Razr was very cool when it came out.
I know at least one company doing the same. I'm not sure it's a big advantage. Currently we install a server using ansible once (debian, apt-get erlang and elixir.) We run tests on Travis and make it start a build process on a server of us, create a release and deploy it using distillery. Configuration is compiled at build time with secrets installed on the build server. Erlang/Elixir don't play very well together with systemd (not easy to detect if they're running) but what we setup is okayish and keeps us running.

With docker I imagine we still need the build server, secrets would still be there, compilation must be done there before we create the image (mix phx.server on uncompiled sources is going to take minutes and eat up the CPU of the production server.) Then we must push the image to a registry and pull it. Probably docker would interact better with systemd but I never tested it with a BEAM project. Finally we need something to switch connections from the old container to the new one. Distillery takes care of that now.

All summed up I see some pros a cons, both are still cumbersome. Btw, we're on Elixir 1.7. We didn't check yet the new release and configuration features of 1.9. Too busy with new business features. Customer's decision.
Getaround to Lay Off About One-Fourth of Staff
I recently worked with another company trying to solve the same problem, but I suspect I should keep my mouth shut due to NDA crap. Regardless, I suspect we're easily another decade out before anyone makes FPGAs accessible to the masses, and I can't think of many problems where I would take an FPGA over a GPU, but there are still some.
Well take this with a grain of salt since this is from my high school government class, but it would only apply when the treaty conflicts with state law. So I assume in this case the treaty apparently gives him the right to not provide easements which is in direct conflict with the California state law. Since the treaty is federal law, it supercedes over state law where there is a conflict. I believe this is based on the Constitution: https://en.wikipedia.org/wiki/Supremacy_Clause

That doesn't mean Khosla is exempted from building codes, unless that 1851 treaty says something like "The US government shall be able to regulations the manner in which buildings can be constructed on this land."

Again this is just from what I've gathered from other posters. I'm curious what clause they took from the 1851 treaty that made it clear that he doesn't need to provide easements. Maybe there was a clause that the property could never be seized for public good which the Mexican government put in to prevent the government from evicting Mexicans who wanted to stay on their land post sale.
Any kind of competition can have real rewards at the highest levels. Many people like shooting their friends in paintball on the weekend with rented gear but there is also a professional level where there is real money and sponsorships available. Many male animals will engage in some sort of competition, sometimes with rewards and risks (mates, food, death) and sometimes just for play. It's ridiculous to act like competitive online gaming is any different from puppies rough housing or from lions fighting over leadership of the pride. No one is going to die but gaming could just be something fun to do after being at work all day or it could be what puts food on the table.
> Hint for people writing landing pages: [...] Something like thesaurus.com can help you find alternatives [...]

Guess the next ad campaign will read like this:

- Behind the prodigiousness of microLED display technology

- View the amplitude

- Stupendous black

- Humongous color

- Titanic refinement

... you get the point.
If apple is a public company, why are exact sales figures unknown?
I grew up in the Rust Belt in rural PA. Mean salary where I am from is about $22k. You either haven’t lived in the Bay Area or can’t do math if you think what I am saying is crazy. Anyway check this out https://www.google.com/amp/s/www.cnbc.com/amp/2019/09/11/you...
Sadly, I feel much the same; but I think the population is too sedated and/or divided to fight in the near-term.
The chapter on Hegel's philosophy is worth the weight of the book itself.
> Why would a person go to such great lengths to cheat at a video game?

1. Technical challenge

2. Trolling "try hards"

3. Dopamine from winning

I'm sure there's a bunch of other reasons, but cheating is still like a game, just expanding the rules.
Same thing obviously. But this is just a method of communication. It’s instead of emailing/shouting “don’t edit the background image today please” across the office.

An admin can remove the lock. Or you can allow force-pushing by anyone to replace it or whatever.

Not sure why this is seen as so complicated, version control systems have done it since forever. It’s not trying to solve some distributed lock system in a clever way. It’s dumb centralized mutex per file. And yet again this is all that’s needed (and it’s also added to git in git-LFS!).
This is what Bazel, Pants, etc (and I'm sure a bunch of other build tools) do for you. You define a dependency graph, then per commit you can see what targets have been modified and then you can run commands on only targets dependent on the modified ones.

I'm not sure why this blog post is written like these things don't exist.

EDIT: on a re read, I'm a bit off the mark. The author seems to want the compiler or interpreter that reads the code to automatically process the dependency graph of what changed (at the finest grain possible) and take appropriate action.

The company I work at has tools for automatically updating our dependency graph relationships, and then commits/diffs execute commands against the dependencies of modified targets as part of the code review and CD process. This is pretty close to what the author is suggesting.

I still think this blog post is written a bit too dramatically.
Pricing Table NetLicensing
Sounds like Nix to me.
Anak2U: Reforming Education One Child at a Time
CRM dashboard for a client demo the next day. Kind of CRUDy application more or less. But I understood the business workflow and had critical displays all more or less working as a proof of concept.
"The intuitively attractive ideal of having a system in which every true statement you care about can be proved is not achievable".

Sure it is. But the system cannot contain infinities or real numbers of infinite precision. The halting problem for deterministic computers with finite memory is solveable - the system must either halt or repeat a state, and if it repeats a state, it's in an endless loop. Yes, the number of states may be very large, but not infinite.

An interesting question to ask is "do we need infinities". In a sense, infinities are a convenience feature to make formulas simpler. Without infinities, everything has edge cases, bounds problems, tolerances, and all the annoyances known to people who do serious computer number-crunching. Theory in that area has lots of case analysis.

It's perhaps unfortunate that Russell lived in the pre-computer era. Simple theorems were essential in the paper and pencil era. In the 1970s and 1980s, Boyer and Moore took on much the same problem as Principia Mathematica. They published "A Computational Logic"[1], and built the first good inductive theorem prover for constructive mathematics. (I used it back then, and a few years ago I got it running again on Common LISP and put it on Github, so you can still run it.[2]) Proofs that come out of that thing have lots of case analysis. Mathematicians used to hate proofs like that. Many still do.

At one point Boyer and Moore formalized what a floating point unit does, and this was used to verify an AMD floating point unit. This followed an embarrassing recall of Intel CPUs that were slightly off on division, and was paid for by AMD. It's a huge, ugly problem to formalize, compared to the ordinary rules for real arithmetic. It is, however, a system in which every true statement you care about can be proved.

The proof of the four-color theorem shook up the field. Thousands of cases. A simple problem with a huge proof that required machine assistance was a new thing back then. Now it's more common. Still makes many mathematicians unhappy.

[1] https://www.cs.utexas.edu/users/boyer/acl.pdf
[2] https://github.com/John-Nagle/nqthm
I assume if the treaty says that he can open a casino then he can open a casino. Again, federal law supercedes state law. It's written into our constitution:
https://en.wikipedia.org/wiki/Supremacy_Clause

I have no idea what clause they took from that treaty to show he has the right not to provide easements.
Hypermodern Python Chapter 2: Automated Testing
My thinking here is that had the original devs had a better grasp on redis and postgres, they never would have tried using Kafka in the first place. I can't imagine the problem ever requiring the throughput of Kafka, and there would likely be several other scaling issues in the way of utilizing Kafka to its full potential anyway.

I'm pretty sure a redis-based queue like Bull (https://github.com/OptimalBits/bull) would have sufficed for queuing message responses directly on the server (or multiple instances of the server), and while Kafka works fine for long term storage of logs, our use case for the data makes it so it would be far better stored directly in postgres.

Postgres is apparently also a decent pub/sub solution, though I'm not sure if it's superior to Kafka in this case.

The worst part is that the alternative architecture using a redis queue and postgres for message history is very simple, easy to maintain, benefits from the ability to normalize data, and is comfortably boring. Kafka is not that. It's a miserable beast sometimes, and it presents hurdles all the time for many of us. It's good at what it does and people should consider it (or Pulsar) if their problem requires a high throughput message broker. For everyone else, it's a really risky investment for small or no returns over alternatives. It's the worst decision the developers made in this application by a wide margin.
I think our perception of improvement is not linear when it comes to a lot of things, one of them being the “convenience of time” and we attribute an strong preference for something objectively better even if the improvement is marginal. The “slightly sharper camera lens” or “slightly lighter bike”.
In terms of time, waiting 30 or 20 seconds for a computer to boot up won’t make much difference to most people but waiting 10 or 1 second makes a huge difference in perception.
This was very surprising to me! Canada is also extremely high at 97%

https://en.wikipedia.org/wiki/Conviction_rate
From what I'm reading in comments, clients are the biggest UX gap. I'm planning on finally setting up a solution for my family and was initially leaning towards Plex for simplicity client-side.

If you were to convince me to try Jellyfin, what would your recommended setup for an LG WebOS TV? Ideally one that allows me to continue using the TV remote.
Space is filled with virtual particles that are constantly popping into and out of existence. As space expands, do these particles keep appearing in a given volume at the same rate? Or is the density of virtual particles declining as the volume of space increases?
Is rebuilding everything from scratch on every build actually that common? If use use docker’s —cache-from flag on build, then assuming you’ve already pushed an image if you don’t make any changes on the part of the code that image is for you’re not going to actually rebuild that. That part of your build is just docker pull, build using cache, no changes so no work.
Distributed Systems!
In my environment we tend to call "Headset" something that is set up for quality conversations (think gaming or office headsets - large earmuffs and microphone boom being defining quality) and "Headphones" things that are intended primarily for consuming/listening (which may incidentally have a microphone, typically inferior).

Understanding that may not be wider usage, I feel there exists a need (or at least benefit) for two words - something which is good/intended for listening, and something which is good/intended for conversing.
Do you feel like you'll graduate to 'Political problems are not emergent individual problems, but an issue of rules. The rules of the political game are rigged to filter out competent people and only allow shallow ideologues to power'? ;)
Sure but is the probability to work on them with an I teresting impactful role greater than a financially successful startup?