skysight-inc/HackerNews huggingface dataset:
The program's name was AAS, the Advanced Automation System. It was designed to be a full end-to-end system replacement for the HOST mainframe systems that were the FAA's backbone. This included terminal, en-route, oceanic, and every other system that was managing aircraft. AAS is discussed as a failure because it had significant mission and requirements creep. FAA kept on piling on requirements and IBM kept saying yes.

The FAA also had issues managing it because it was so large. It was a multi-billion program with millions of SLOC in the early 90s. Simply put, this was a not a cat video website. The tool suite was on AIX 3.2.5 running on RS/6000s using CMVC for source code management.

This was all designed in the mid-80s with implementation starting in the late 80s through the mid 90s. AAS was originally designed after the mass firings of the ATC specialists and the shutdown of PATCO, the original ATC union. AAS was actually a entire suite of programs. AAS was overall program and funding vehicle. IBM Federal deployed a few of the sub-programs like ISSS, TCCC, and others successfully to the FAA.

It was originally developed by IBM Federal Systems and deployed on then-new RS/6000s. AAS failed because of mission creep and the fact it was entirely too large. The program ended after IBM Federal Systems was sold off to Loral and then merged into Lockheed Martin. The head of the ATC group at the time, Bob Stevens, discovered that LM would make more money if FAA cancelled the project and split it up into much smaller programs. Bob called up the FAA Administrator and made the deal to cancel the program since the scope creep was too much. FAA had already sent out a couple of cure letters to get things back on track, but this time the FAA agreed that it was time to cut bait on it.

Initially, what was the en-route portion of AAS was re-done as the Display System Replacement (DSR), which replaced the radar and data positions in the en-route facilities. The concepts of AAS were then rolled into NextGen, which is the FAA's family of programs to modernize its ATC systems.

Ada was used (originally OC Systems's Ada83 and Ada95 PowerAda compilers) for everything in AAS. An Ada-based middleware called FlightDeck was developed to implement all the underlying libraries and subsystems that you need for highly available applications for AAS, including clustering, failover, heartbeats, monotonic time, and multiple levels of redundancy. That middleware is still being today for the systems that IBM Federal, Lockheed Martin, and now Leidos are maintaining and developing like ERAM. After LM bought out what was IBM Federal, they sold it off in 2015 to Leidos because LM wanted to focus more on hardware.

(Source: I work on the later programs that Ada is used on and listened to all stories that were told me by the people who worked on AAS).
"nearby universe" is astronomy jargon.
With all this RISC-V hype going on I'm curious how compatible RISC-V processors from different vendors actually are.
Hmm. The article doesn't really describe what it's like but I skimmed the SLIME manual. So you basically point at the code you want to run, and this isn't necessarily how you would run it in production. It looks like SLIME mode requires you to install an interpreter hook in the startup code for the process that you want to debug, so you can run commands that way?

This seems like it would make the most sense for event-driven code. Evaluating a script is another kind of event. Many systems have a way to execute commands.

I'd guess this style of development encourages people to structure their systems as essentially command interpreters, even if the commands normally come from a UI.

The interesting bit will be deciding how the data structures that persist between commands are implemented. For example in server-side web apps, the shared state is often a database, so state is external to the process being debugged. The architecture limits what you can do directly, but you can try out SQL queries.
Your sets are finite. B-T depends on properties of infinite sets.
Drawing a direct parallel with Google will make this difficult, since they own their storage and network infrastructure and have ways to monetize your data. But here's an explanation on why there are large gaps between plans:

- Our 1TB plan costs only 3x the 100GB plan. This model works under the assumption that the average utilization of a 1TB plan (across all customers) will be ~30%.

- If we were to bring in an intermediary plan (say 500GB), we would have to increase the pricing of the 1TB plan (since at least 50% will now be utilized), and also set the price of the 500GB plan to at least 2x of the 100GB plan. Both plans now appear unattractive.

- Since Apple and Google don't support per GB billing yet (which IMO would have been the fairest way to go), we had to pick buckets, and the current ones seemed like the fairest possible.

I hope this makes sense.
Understanding the difference between declarative and imperative programming is rather hard with all the abstractions we have today.

The distinction is are you telling the computer *how* to do it, or telling it *what* steps to take.

If, even with access to all of the code, you'd have to ask the computer how it chose to do it to figure out what it did, you have a declarative system. If the code reads like instructions for a recipe, it is imperative.

The complications come with the fact that these two paradigms do not describe all of the possibilities. Notably object oriented and functional designs are neither imperative or declarative. (But may share some features with both.)
I worked on this for a couple years during a previous startup attempt.

I designed a custom STT model via Kaldi [0] and hosted it using a modified version of this server [1]. I deployed it to a 4GB EC2 instance with configurable docker layers (one for core utils, one for speech utils, one for the model) so we could spin up as many servers as we needed for each language.

I would recommend the WebRTC or Gstreamer approach, but I wouldn't recommend trying to build your own model. It's really hard. Google's Cloud API [2] works well across lots of accents and the price is honestly about the same as running your own server. If you want to host your own STT (for privacy or whatever), I'd recommend using Coqui [3] (from the guys that ran Mozilla's OpenSpeech program). Note that this will likely be much, much worse on accents than Google's model.

[0]: https://kaldi-asr.org/

[1]: https://github.com/alumae/kaldi-gstreamer-server

[2]: https://cloud.google.com/speech-to-text

[3]: https://coqui.ai/code

Edit: Forgot to mention, there's also a YC company called Deepgram that provides ASR/STT as a service, you could give them a shot: https://deepgram.com/
Some channels such as No Clip (games documentaries) run with no adverts and only make money through Patreon. They have almost 650k subscribers and 45.5 million views, so they’re explicitly doing it to be ad-free.
> there's no direct way to click to January 2015 from the results, which really sucks. (Instead you have to go back out of results and use their fiddly scroll to get there.)

It's amusing how people's insights can turn myopic. Search in photos is the killer feature, and it even solves the problem that you have.

If you realize that you need to see photos from January 2015, don't try to scroll back in your photos feed. Just do a second search for "January 2015".
To be fair, there are religious atheists, though often not Christian. There are (neo)-pagans, Buddhists, and minority religious group members (various indigenous religions, The Satanic Temple, among others) that often describe themselves as "atheistic" or "non-theistic."
The writing is great, but I keep wondering: Why do so many physicists use Jet or other non-perceptually uniform rainbow-like colourmaps for their graphs? Shouldn't that be part of great science communication, given that about 1 in 12 men have some form of colour blindness?

There are so many other visually appealing options [0] that are attractive while still being perceptually uniform. There's even Google's Turbo [1] colourmap for those who refuse to give up rainbow-like colourmaps.

[0]: https://matplotlib.org/stable/tutorials/colors/colormaps.htm...

[1]: https://ai.googleblog.com/2019/08/turbo-improved-rainbow-col...
Thanks yes I have learned to use the WITH statement, and I agree it gives more composability. But still, a half way house wouldn't you say?
I enjoyed the audiobook until the "rebirth" of CISO where it became too cringe. Then I dropped it for later. But I still recommend it, just for fun.
I don't think the do actually. Not with "a hardware root of trust" in the description.
Seems to me like YouTube doesn't really care if you press "not interested" next to a video.

I keep explicitly telling Youtube that no, I am not interested in watching Shark Tank videos. And yet... they keep recommending them to me. The videos probably have very high engagement so it basically doesn't matter if I want to watch them or not, Youtube is going to keep pestering me until I click. I never click, but it's still annoying.
Programming, Math, Science: A list with links to useful resources
Programming, Math, Science: A list with links to useful resources - https://github.com/bobeff/programming-math-science
A raspberry pi 4 can do everything this machine does.
The challenge with any writing for a general audience is that unlike actual advice, which is tailored to the person receiving it, it just goes out into the aether for anyone to see so will be inapplicable for at least some people.

Sure, some mass-market dude with a radio show (I don't know anything Dave Ramsey or Suze Orman beyond their wikipedia pages) is going to have advice that "technically" doesn't make sense or that doesn't apply to some people. A very large number of people are deeply in consumer debt, have secured vehicle debt for more expensive cars than they should really have, and may well have taken the advice to get the biggest mortgage they could for a house in a place that requires that they maintain the whole shebang or go bust.

Telling those people "cut up your credit cards" and "if you don't have the cash, don't buy it" is actually good advice. The "snowball" thing that Ramsey is into is innumerate but may be just the thing for someone struggling to see their way through all their debts. I would no more tell someone with serious struggles with consumer debt that clever use of credit cards could increase their income overall than suggest a killer wine pairing to a recovering alcoholic.

I also don't think that it's a very fair categorisation of Sethi. He's never made any secret of the fact that these days most of his wealth has come from his writing and despite the name of his book, the advice he gives is more "I will teach you to be a financially prudent member of the upper middle class (if you are a well paid professional)" they just couldn't get that on the cover.
AirTags, MacBook Pro keyboards, iPhone 4, Siri

The list is endless.
> Sorry, but any exploitation of animals bother me, along with phony nonprofits.

Make sure you don't ignore the exploitation and abuse that's inherent in the animal agriculture industry. Don't consume or use animal products if you want to avoid supporting animal abuse.
These posts complaining about programming languages shackles also seem to concieve of programming as a highly individualistic endeavor. I don't that that's a coincidence.

I think type systems and other restrictions are really good precisely because they help me better trust and collaborate with others.
Not in the industry, but I suspect it's not much different than Avionics for safety critical parts: https://aviation.stackexchange.com/questions/3608/what-progr...

Basically, you work with low-level languages, be intentional about everything, and prove that the code you wrote works exactly as intended.
Would Google Takeout not suffice in this, maybe after some post-processing?
< Last I checked, in far too many cases, the legal definition of rape literally makes it a crime that cannot be committed by a woman.
Or by anybody, unfortunately. But this is also the institution never wanting to be accountable for its errors. These people place is a jail. Will see if they consent to have sex with their own prison guard.
We use the Vocera hands free devices where I work. At first glance of this title I thought "oh, they do AI dictation stuff, too? I guess that makes sense." And then I noticed the spelling and had the same thought as you. So, ditto.
Regarding your example, a quick search shows a heart lung bypass machine has indeed failed during a procedure, the team use hand cranking/pumping to continue the bypass for 10+ minutes, and the patient did not expire.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4971270/

The paper seems to suggest this has happened quite a few times.
Readable code can be easily done via good formatting, but performance requires a combination of writing the query in the right way and the indexes to support it. The second part is not even visible from the query and most of the time is not self-explanatory, but the best part is that indexing is not even universally valid, statistics decide execution plans and the same query with the same indexes can result in very different performance on 2 different instances.
Different styles, though. This artwork mostly uses hard outlines, whereas your link uses just filled paths (which by the way makes them easier to scale).
Right, because the integral of a function is not a straight sum of values of that function evaluated for every number in the interval; the integral of y=x dx for 0<=x<=1 is not 0+0.1+0.11+0.111+0.1111+...+1. Electrons have a fixed energy, so cramming an infinite number of them into a finite space necessarily requires infinite energy.
One of my first computer memories. They were hand-me-downs from the high school (I was in elementary school, maybe grade 4ish).

The trackball was the best, we spent a lot of the time just rolling that thing vs. doing actual work. There was a deep sea fishing game with rumours of a giant shark I never saw.

I've been trying to get my hands on one, or an image of a hard drive, to tinker away at possible emulation for this very niche market, but they're hard to come by.
This resonates a lot, I like this idea of a "shepherding process" and digger deeper into what it takes to make big projects successful over time.

That said, I think distilling down this hard-won experience tends to lead to cargo-culting. Just look at "Agile" itself and how it's been embraced and then twisted by consultants into the exact opposite of what was intended by The Agile Manifesto to begin with. This stuff sells because people want clarity of what to do on a daily basis, they don't want to confront the reality that is no guaranteed path to make large scale software successful. Certainly some process and structure are helpful as long as they are specific to the problem at hand, and focused on the needs of the people actually doing the solving and giving them whatever air cover and cross-pollination needed for them to get the reps on the actual software.

Typically these types of projects happen in large orgs where there are incentives for middle management to avoid culpability for failure rather than to do what it takes to succeed (especially if it's a hard problem). In this kind of environment, process is often used as a cudgel for one group to protect itself by claiming "I did my job".

So to your question: how effective is The Agile Manifesto in practice? I think of it sort of in the necessary-but-not-sufficient bucket. Basically if you have buy-in to give a team this flexibility and autonomy you have a crack at solving a hard problem. Now it depends on the team and the problem: is the problem ultimately solvable and does this team have the chops?
Short answer: because none of them is the default in standard plotting tool.

There is so many alternative that it is hard to know which replacement you should pick. If you pick the wrong one you are a moron, if you stick with the bad default it's way less noticeable, even if it is a strictly worse choice.
It sounds like YouTube has become a petri dish (in a bad sense) for ideas. I wonder if at a high level, the growth and evolution of certain type of videos resembles fungi.
Currently on the front page: https://news.ycombinator.com/item?id=28349475
No Surprise, Uber and Lyft Lied About Helping Workers
The thing is, the line of reasoning that electronic voting is fundamentally not securable to a sufficient public standard was being advanced a lot before the election, and has a lot of evidence to support it.

E.g. here's sci am on 2016: https://blogs.scientificamerican.com/guest-blog/election-sec...

Contesting only elections that don't go your way and providing dubious or nonsense evidence (see various thrown out lawsuits) is simply subverting the process and the electorate.

If they're unusable, then they're unusable everywhere : and the election needs to be run without them.

> When the entire election in a district is run by officials from a single political party, with unlimited access to the voting machines

This probably shouldn't happen. Unfortunately, hyper-polarisation has.
Except that this whole "fake animal rescue" industry is deeply tied to the "paid animal torture" industry (which already has patreon-style facebook groups). It's the same people recording the videos - just two different types of content that they make. I provide links and some explanation here: https://news.ycombinator.com/item?id=28350858
At least two of those are not designed to be bad.
"...given that about 1 in 12 men have some form of colour blindness?"

I guess women are better suited to science work after all. ;)
Is there a 20GB plan please?
Pretty good take on all this here:

https://www.youtube.com/watch?v=S2xHZPH5Sng
OnlyFans and the Myth of Owning Your Hustle
Nice.

Helpful plug: if you don't have an environment handy to try these out, here's an invite link https://iko.ai/invite/zBTnAv2ZI9sQ4yuBvBxGoCT5EuqwOjf6fkZkaA...

Head to "Notebook" and play. They're real-time collaborative notebooks (right click on a notebook, then generate shareable link).

You may have problems if other free users maxed out the quota, but if you have a GKE cluster, you can hook it up and use it on the platform for scheduled notebooks.
Big breaks happen when the proponent of some new idea or concept has extreme confidence in themselves, some would say extreme behavior from the proponents of the theory.

These days there is a lack of arrogance, lack of belief in one's ideas.

People triage and kill ideas in their own brain and they never see the light of the day, because everybody is so focused on being successful that they only swing when they are 90% or more confidence to be right. The idea should be "I can't possibly be wrong, I am so amazing that it's impossible for me to be wrong!"

People should think of themselves like sperm. There is no point in behaving in a conservative manner, there's nothing to lose anyway. The only hope is to swim as fast as possible even if it means risk crashing into the vaginal canal barriers.

By definition the winning sperm barely avoids crashing.
Veritasium did a video about this recently, actually. I got the picture and didn't finish it, but it helped me realize how YouTube has pushed junk to me, despite trying to subscribe to quality channels.

https://youtu.be/S2xHZPH5Sng
How do folks respond when they find out many addicts clearly choose to take the "poison" for more complex highs? despite knowing the risk, despite cheaper priced "non-poison" offerings.

The dosage makes it poison, so it is an overdose if a properdose was sort and personally misjudged.
But it's not nearly as clear-cut as your original statement. Like, there's no story that would convince me that refusing sex with someone is somehow sexual abuse (well there is marriage, but the accepted recourse there is divorce). And, generally, preventing other consenting individuals from having sex would would fall under 'being an asshole' at worst not 'sexual abuse', but maybe there's some circumstance where the former could be elevated to the latter. My point is that the implied certainty of your statements higher than warranted.
One is class¹ inheritance, the other one is (most likely about) wealth inheritance. They do, however, both respect the notion of inheritance, I don't see why anyone's sensibilities would be affected. But then comes "local universe", which although refers to the local part of THE universe, it drops the definitive article, only because coining a new (albeit controversial) term in astronomy is more rewarding for someone looking to leave a mark on the domain than to respect logic to a more sensible result.

¹ Let's leave for now what "class" means for programmers vs. other kinds of people.
The required subscription also means it's useless if they go out of business.
BTW: Why is Python not a boring language? Serious question.

Related: What makes C++ a boring language?
Wow, that red pottery was everywhere during the mid-Principate.
So you're tied to an EC2 instance? That seems like an unnecessary centralization point.
https://www.researchgate.net/figure/The-Dangling-String-by-N...
I think this mindset can lead to missing opportunities to build products actually faster. Having both code-first and product-first in your company is truly complementary IMO.

CEOs that only wonder "can it be built fast" have a very short term vision. I keep hearing things like: "anyway, we are a startup so we will pivot hence code quality is not important right now, we need to push features!".
The thing is, you don't need to reach many years so that "average to bad" code makes a new feature 10x longer to be delivered. Any experienced developer understand how a good code is truly valuable to a company for delivering. And even if it's very true in long term, this is true as well at the very first stages.

But I'd say a very good developer is not product-first or code-first, he's both, you don't need to oppose both profiles. This very good developer is mature enough to know when a code refactoring will lead to a better productivity. And he's mature enough to know that this imperfect function is OK to keep as is because it has no real implication.