skysight-inc/HackerNews huggingface dataset:
That's not the issue here. The issue is automotive are capricious, nasty customers. They know they're a big contract so they dictate disgusting terms, like 9 month payment terms and extremely strict delivery windows and changing deliveries on very short notice. Suppliers get fined at certain auto manufacturers for not delivering within a 15 minute window, forcing their truck drivers to circle around the facility for hours to ensure they can meet that. The carmakers require extreme delivery flexibility from their suppliers on short notice. In effect, they're still holding stock, but they're forcing their suppliers to hold it for them, and without said suppliers getting paid, or even having the ability to plan for how much they'll get paid.

Because of those extremely hostile contract terms, the carmakers could just turn around and go "oh yeah, all that stock we said we'd order this year, you can make it if you like but we're not going to take deliveries or pay for it" which is what set this whole pile of bullshit in motion. At that point, their suppliers were holding and/or producing lots of stock for them, but got informed they would not be getting paid for it, had to cut their losses, and this ended up disrupting manufacturing for months as lines had to be reconfigured mid-batch and a lot of product got scrapped. While this was happening, the automotive fuckers changed their minds and requested more, meaning the suppliers had to scramble to produce with now limited resources because the scrapped stuff was still clogging the pipeline, so resources got redirected away from every other part.

In short, religious JIT could only have this kind of impact here because the automotive companies are absolute shits to their suppliers and could force them to jump one way and then the other, causing disruption upstream which then spread downstream to everyone using electronics. This is a purely artificial crisis caused by the car manufacturers and is not an inevitable consequence of either the pandemic or the logistics disruption. Air cargo is barely affected and semiconductors and their precursors (except for water) are light and easily transportable by air, and certainly valuable enough that this does not impact their cost. This is a problem that would not have existed without the automotive industry, covid or no covid. They brought this upon themselves, and now everyone else is suffering (and auto execs go on TV and blame work-from-home and remote education for the shortage, which is just adding insult to injury). Screw them.
Seems to me that there's historically been more cognitive overhead to _learning_ most strongly typed languages, e.g you have to think about pointer vs reference, const, heap or stack allocation, borrowing if it's rust, etc. If you're not already familiar with the concepts, your development velocity is slow. But when you start writing more code, everything you said becomes true: types yield a lot of benefit.

People also seem to associate strong typing with compilers that bog down the write->run->debug loop, some of which used to have notoriously bad error messages, and things have changed because of JIT compilation (dart can even be both AOT compiled & JIT compiled), and also because modern compilers are so much better optimized and user friendly compared to just a decade ago (I mean, compare rustc error messages to GCC, lol). Compilers are doing a much better job today of helping decrease total debugging time.

FWIW this doesn't mean more advanced programmers necessarily move to strongly typed languages to increase their productivity. Instead, we are moving toward a progressively typed world (e.g typed python, typescript) to bring the benefits to users of dynamic languages as they begin to need them (without forcing them to use anything). And strongly typed languages are doing the opposite, e.g getting lots of dynamically typed features (e.g type inference in C++ with `auto`, initializer list syntax) which again, don't have to be used unless it helps with code readability and/or development velocity.
How long before one of the alumni of yehida shmone matayim (Unit 8200 ) have an exploit for this ?

In fact, it is likely that they already have one, and are using for counterinsurgency work.
There was one company I worked at where they went into Scrum with both feet. Sponsored it at senior management level, did offsite training for developers and product managers and accepted that there would be a productivity hit for six months while they made the transition. The outcome was not increased productivity but better visibility of the development pipeline, and to a certain extent better software quality and more reliable delivery. I’ve not seen any other company willing to invest this much beyond a couple of in house training sessions and then telling the engineer a to “do scrum” while the business continues to ride roughshod over any kind of engineering planning. That said, if you were willing to put that much effort baselining your staff on any process you’d probably get good results, but such matters are typically an afterthought to the running of the business.
Yup. Exactly that. Type theorists have coopted much of the landscape of formal / mechanised mathematics, I believe much to its detriment. The problem is right there in your statement: Type systems are for static checks. This makes a lot of sense in modern programming languages, but much less so in mechanised mathematics: After all, the notion of theorem subsumes all those static checks.
> a lot of bragging and showboating and low quality content

So basically a normal conversation between typical adults?
Dubai's Expo opens, bringing first World Fair to the Mideast
Can I ask in a very "noob" way - are types and theory underneath something that runs in parallel to Turing machine and they together enable modern computing OR is Turing completeness and Turing machine stuff also part of type / lambda calculus theory?

Thanks.
Precisely. I'm not interested how to make some theme sound like his previous works, but how he would have created something new. Of course, he might have failed there.
Well, if it works when you deploy, maybe you get lucky and the bug will arrive after you've moved to another company. :D
Very interesting read, thanks for sharing!
Great analysis, thanks!

Slack support says that users should tell their ISPs to invalidate the DNS cache for slack.com https://status.slack.com/2021-09/06c1e17de93e7dc2 (access with 8.8.8.8 as resolver - fallback https://slack-status.azureedge.net/)

Since the faulty DS record was in .com, everyone has a max wait-for-ttl-to-expire time of 24h.

Google/Cloudflare etc. seem to also invalidate .com caching very quickly, 8.8.8.8 quickly was the first workaround.

Meanwhile, 14 hours later, DTAG in Germany still does not resolve. The default resolvers have dnssec enabled.

dig slack.com +cd

tells the resolver to skip dnssec validation tests, and then it works again. Screenshots with the command output in https://twitter.com/dnsmichi/status/1443840645513293853?s=2

Very interested in the post-mortem analysis. I think there were similar mistakes as with nasa.gov incident and the comcast analysis in 2012: https://www.internetsociety.org/blog/2012/01/comcast-release...

Learnings for me:

- dnstracer (https://gitlab.com/dnsmichi/dotfiles/-/blob/main/Brewfile#L5...) helps with detecting missing glue records, but not dnssec

- dnstrace (https://github.com/rs/dnstrace) is a better alternative with dnssec
The same as with any other intellectual property (books, movies, songs): buy the legally enforceable copyright. As in "right" and "copy".

PS: I'm immensely interested in the process of creating a digital image. It's actually pretty tricky and technical, to apply all those filters in right order and with right settings. I would buy a recording of how the digital art was created.
I (used to) do commuting by train, one hour door to door, and 45 minutes out of that was pure work time - reading emails and newsletters and doing documentation and such. If I did that ride by car, I would have to stay at work 1.5 hours more. How should I quantify this?
Android (and BlackBerry before that) have had something similar to this for a while.

On a BlackBerry, it would shut down the radio and give you a "Battery too low for radio use" message, but you could trick it into turning the radios back on by dialing 911 and then hanging up really quickly.

Various Android manufacturers do their own version of this, Sony had Ultra STAMINA mode and Samsung have an option to do a whole bunch of power optimizations as well as limit apps to those explicitly specified.

For me, the main critical purpose of my phone is to communicate with others in realtime which happens using things like WhatsApp, Slack or Email (maybe the odd call). If I can't use those, then it might as well be dead!
Minimum Viable Feature: why you should scope down
The ones I love the most are the First [1] (written when he was a student!…), the Fifth [2], the Seventh [3], and the Thirteenth [4].

[1] https://www.youtube.com/watch?v=bPQMdtAOXVw

[2] https://www.youtube.com/watch?v=DOPDqyJF3C4

[3] https://www.youtube.com/watch?v=GB3zR_X25UU

[4] https://www.youtube.com/watch?v=YOmfNobfeqw
Jrnl – Collect your thoughts and notes without leaving the command line
Then, what is the value of the NFT? You own the rights to a hyperlink?
Well... are you / competitors just proxying or is there DoH elements sparkled in?

ps: lovely graphics
And most of google's searches are (at least, were) complete URLs, so there's that.
> The moment anyone emails me about diversity and inclusion, I’m forwarding that to my boss to deal with. Professor was walking through a minefield.

The professor's point is that no professor should have to walk through mine fields when rejecting demands for special priviledges, specially if it's the school administration laying out said mines instead of actively doing their best to defuse them.
For simple tasks, Awk is more concise than Perl.

While you can write on one line of Perl anything that you can write in one line of Awk, the Perl line will be longer.

So for the simple tasks that you would do from the command line or in a shell script, you can usually save time when writing for Awk.

For complex tasks, where you need more complex control than the implicit loop of Awk and you also need to define various extra variables besides those pre-defined, Awk is no longer more concise.

Then obviously Perl or other scripting languages become more convenient.
So, are artists suddenly getting in on pgp key-signing parties to establish a web of trust, or is the public key of the artist really just a key claiming to be that of the artist? What is to stop me from buying "bank.se", "banksy.me" and "banksy.io," and actioning off three different NFTs (of three different digital representations of the same street art) to different online art communities? What is to stop someone who MITM's the artist's webpage from selling NFTs on their behalf?
The way static types can make development speed slower is not by forcing you to write the same code with extra types added in, but by forcing you to write different code. In this sense it isn’t really an argument about static types vs dynamic types (imagine a language with no type checks where programs have undefined behaviour at run time on anything that would have been a static type error) but rather a statically typed language vs a dynamic language.

There are patterns or language features in dynamically typed languages which are very hard to translate to static types. I think Peter Norvig has some slides somewhere comparing OOP patterns to lisp, a more dynamic language, and that is the sort of thing I’m thinking of here. For language features, consider implementing an n-ary list map in Haskell vs Common Lisp. Or the typed equivalent of delimited continuations.

That said, research on the differences between languages is difficult and inconclusive. I would like to see more of it.
I think they said 2 major updates + 5 years of support, not sure though.
You can't make DNS query from browser JavaScript AFAIK.
If you own an NFT, you have the ability to write someone else’s address on a socially recognized ledger of ownership. That is all that matters. If the NFT and the ledger have wide interest, this ability to transfer ownership has value regardless of any legal subtleties.
> many Americans hold deep-seated distrust of any government/societal institutions.

Those insitiutions could work on earning trust, for example by showing humility and respect, like your parent suggested.

Instead they have chosen to outright lie to the people they have supposed to serve and now its somehow those peoples fault when they trust the institutions even less.
> For anything non-trivial

There's the key phrase. There's plenty of people that can whip up a POC or MVP in an afternoon of hacking or a week of fiddling, but going from that to something that can safely handle millions of users and hundreds of developer contributions needs types and other assurances. If it fits in a developer or a team's heads, then it's just fine - that's how I did my first major JS application, just Knowing what fields my objects have and what types they are expected to have. But that doesn't scale, people move on, gaps exist in tests, etc etc etc.
Works one out of three without hiccups.
India's visible adoption stats are over-represented by lte deployment. Lots of broadband providers still don't have ipv6 and some major ones deployed it very recently.
Why wouldn't you just support an artist on Patreon? Or by actually buying something from them? What's the point of buying NFT instead? It's to sell to the next sucker before the bubble bursts. That's the only thing it does that other platforms don't already do better without having a blockchain involved.
Do you actually live in Austria? Because I've seen comments about family tickets. I only know Switzerland - where your kids under 6yo will travel with you for free and your under 16yo half price.
I do and it's true!
> Observe many people and you’ll see a maddening pattern of browser use: they will use any available method to get to google, and then they will put a url into the google search text box. Perhaps the address bar is inconveniently too high on the screen, or maybe they just don’t know what a url is.

I would have been dismissive of this a few years ago, but I would have been wrong. I have seen many people including developers, _WEB_ developers, do this. Some of them can't be bothered to change their default search engine even though the option is available, it's almost muscle memory to type 'www.google.com' into the search box, and then click a result, and then search for what they wanted on google.com.

Well they are grateful to me when I change their default search engine for convenience. But when pointing out that they can just type their search terms into the address bar, I am given the indulgent, polite "thank you but not interested in this microefficiency" smile.
Yes, Typescript to WASM is just as fast as C++ to WASM.
Cname Flattening:CNAMEs at Domain's Root (2014)
> That's the 'D' in SOLID -- dependency inversion. An object's dependencies should be defined in terms of abstract interfaces, not concrete classes

DI does not talk about the interface keyword in Java. It talks about interface as the public surface of an object or system.

Programming to a Java interface declaration does not guarantee the code is depending on higher-level abstractions - this depends on how the interface is defined. An interface which just replicate the public surface of a class (a "header interface") is on the exact same abstraction level as the class, it just introduce needless boilerplate.
Free on-line premium .NET conference – Dotnetos Conf
I think Apple only considers the end user part of their systems "production". Developer experience is more "best effort".
I find myself struggling with this sometimes. I know I shouldn't, but it's easier to justify time spent with some sort of idea that it will be "worth it" in some way in the future. This is mostly an issue with new interests- I'm more content with old hobbies just for fun.
How to pivot into a product role at your startup
Aamir Chishtie explains how he moved from marketing to product at his startup — and shares how you could too.
GitHub Partitioned Its Relational Database to Improve Reliability at Scale
Unfortunately only consulting and high integrity computing are the main areas where software companies get liability for delivering faulty products.

One day that will extend to everyone like in all industries.

Who can't manage then closes doors, just like bad restaurants after a surprise health check.
> If food is present a bear does not have to hibernate, unless it is pregnant or winter conditions are severe enough

https://www.adfg.alaska.gov/index.cfm?adfg=wildlifenews.view...
I'm using hotkeys-js for most projects where hotkeys are a thing. You can do with vanilla js but it's a bit of work to do it right.
When Qt 6 reach feature parity (right now it is a 5 light) AND when The Qt Company stops being a dick to the community. I don't see this happening anytime soon.
> "thank you but not interested in this microefficiency"

This one. Blows my mind every time.
The methane stays constant because it gets broken down into CO2 which thusly increases.
You may feel secure but it's only because you don't know what is really happening on a daily basis. Snowden and Assange tried their best to show some of that.
I myself was almost killed by the LAPD in 2011. The FBI didn't give a fuck. VICE news didn't give a fuck. And many of the other information packets I sent around the country were ignored.

Contrary to what you may think, you can be tortured in America and there will be no recourse. Adult or kid, this country isn't some safe haven.

These are the kind of burns I incurred after being hit by a militarized microwave beam [1] [2] for three days in a row, unrelentingly nearly every second of those three days. This device was gifted to Los Angeles by Raytheon and was only intended for 3 seconds of pulsed use in dispersing prison riots. But of course, the device had no misuse prevention mechanisms. I still have scars to prove it.

[1] https://youtu.be/CwYvhY-g10A

[2] https://www.wired.com/2010/08/pain-ray-rejected-by-the-milit...

Below are images of the burns which caused sepsis (blood infection) and nearly killed me:

https://i.imgur.com/lBt6kK6.jpg https://i.imgur.com/nyymDmu.jpg https://i.imgur.com/LTWYysB.jpg https://i.imgur.com/DrMyaS5.jpg https://i.imgur.com/Dwvwrh9.jpg https://i.imgur.com/OXos1Ji.jpg https://i.imgur.com/duILx9R.jpg https://i.imgur.com/UkFyQIR.jpg https://i.imgur.com/PDsGaB8.jpg https://i.imgur.com/HcQfgqu.jpg

The LAPD is so corrupt their members and even the sheriff have been known to be a part of a Neo-Nazi gang:

https://en.wikipedia.org/wiki/Lynwood_Vikings

Lee Baca, the sheriff, was recently convicted for having his men strongarm an FBI agent but his sentence is only a few years.

https://www.latimes.com/california/story/2020-02-05/former-l...

Who knows, maybe they did get my memo and never responded personally. I'll probably never know. I'm glad something happened though.
Isn't that the same people who say, "I could write that in a weekend..."?
I'd call this a stupid idea, except Roko's suggestion is exactly what the "communists" did in my country when they came to power.
On the other hand, a Calorie is always a Calorie, and an amino acid is always an amino acid.
Oracle loses appeal against $3bn pay to HPE over withdrawal of Itanium support
Similarly all the crypto metaverse projects although they're not as mainstream suffer this problem. There's a reason Will Wright's new "NFT" game runs its own chain.
Personally I think both. Yes the X11 APIs are horrible to work with - but decent code can abstract that away so the app APIs are sane. Doing that was easy with Go, but doing the same with C seems to end up passing around `void*` everywhere, so type safety (and a good coding experience) goes out the window.
Not all MLMs are just bubbles or Ponzi schemes like this. Some MLMs actually sell useful products and distribute actual revenue. E.g. I buy some Amway products from time to time and the quality seems fantastic. But NFTs seem selling pure bullshit.
Not being funny but that's pretty much what it looks like on a typical winter's day wherabouts I live (England).
I started a minimal alternative to this that is a lot lighter (JSXGraph is 180kb/700kb gzip/plain, vs Vector Graph's 3.5kb/8.6kb gzip/plain). My library is also a lot more limited, but in exchange I also believe it's easier to define simple usecases:

https://vector-graph.com/

What do you HN think about the licensing? (AGPL || commercial) I believe it's the kind of library that, once finished and made popular, it can receive many support questions. Also for the kind of people who might use it, $19 is nothing so I'm thinking of charging more. One-time fee only for sure, I wouldn't have this kind of library any different for sure.

PS, sorry about hijacking the thread, I saw JSXGraph a while back and still decided to create Vector Graph since I wanted something like MathJax => Katex but for vector graphics.
> "thank you but not interested in this micro efficiency" smile

I've seen a friend press caps lock, type a letter and press caps again to type capital letters. That's the smile I got when I introduced them the shift key.

Also the smile my niece had when the car mechanic was explaining to him how he could spare some gas money by up-shifting early.

Also the smile I had when my wife was giving me tips on how to plan meetings better.

Humans suck :)
How to design pricing pages for SaaS websites
It’s interesting how the malfunction itself created a very unique work of art depicting a moment suspended in time.
I think you underestimate how important bragging rights are.
That's the reason people purchase Rolex watches! And because you can't show off your Rolex watch in the online world, instead you'll use an NFT as a profil pic.

I think it's hard for people that don't care about bragging rights / status symbols to understand NFTs.
Conversely, I think that status symbols are a very important part of the lives of the people that understand and advocate NFTs.
When the student is ready, Selenium presents itself
Study unveils the quantum nature between photons and free electrons
I don't know why but I find watching extreme weather very calming. I feel almost hypnotized watching that video.

I notice that there are a lot of videos on Youtube of stormy weather which people use to help them sleep. So I guess this is part of that same phenomenon.
Indeed, specially if they are M2M gateways or BTS.