skysight-inc/HackerNews huggingface dataset:
> I'm a bit surprised this is a surprise to the landlord. Also, many of the costs here are looming anyways. It's a matter of when, not if, the electrical needs updating to meet code.

I see this all the time. “Investors” buy real estate by assuming repairs and maintenance to be minimal and then pocketing every dime of excess cash created by the property. Then, over time when the windows need to be replaced or the roof or the electrical system upgraded or the HVAC improved, they don’t have any budget for it because they’ve become used to living off all of the income (despite the fact that over their 10-20 years of ownership they’ve seen rents increase dramatically). So what do they do? They list it for sale at high current market rents as if all of this deferred maintenance / Capex has been completed. This puts buyers in a position of paying a massive purchase price and having massive costs to renovate / upgrade.

I hate landlords like this. Fortunately you can spot them a mile away. If the paint is peeling, then the electrical isn’t to code.
I really liked this essay. It poses some interesting questions, but it's short and it doesn't try to do too much.

There is overlap between pg's ideas and what in the classical tradition is called Natural Law Theory. PG may or may not be interested in drawing out the connection, but since he references Aristotle I have to believe he is at least aware of a touch point.

To give a distilled definition, Natural Law Theory is the application of the laws of nature to rational creatures.

In the context in which NLT developed, the only free rational creature was the human being. But both AI development, and concepts from evolution through natural selection, potentially allow us to apply aspects of the theory to different rational agents.
In Germany the hospitalization rates is what now indicates Covid protection measures and they surged in recent weeks.
It can be done with a python 1-liner by that logic!

`mintotp.totp('ZYTYYE5FOAGW5ML7LRWUL4WTZLNJAMZS')`
> I don't like that opensource code is being used in a commercial product.

The vast majority of open source code would be almost entirely worthless (or more likely, would straight up not exist) if it couldn't be used in commercial products.

Open source software licenses were a mistake.

Agree about the rest.
many plant-based meals are ultra-processed and contrary to popular belief very unhealthy. Almost all foods, aside from fresh fruit and raw vegetables, undergo some degree of process. ultra-high processed foods are mostly low in protein and fibre, and high in salt, sugar and fat, and have undergone industrial interventions such as extrusion, moulding and milling. There is very clear observational data showing that people who have higher intakes of ultra-processed foods have higher levels of ill-health, whether it be cancer, cardiovascular disease, high blood pressure, obesity or type 2 diabetes.
Yeah, lots of strong baseless assumptions in the first paragraph made me stop reading.
Well, that sure is an entertaining read. I can't imagine what the struggle was. Back then I would do ridiculous small bets on rising crypto coins and feel extremely stress, I can't imagine what you've been through...
Oh man, I really liked that one too. I couldn't find it with a quick search, but iirc they added that scene in one of the later movies (although maybe not with Hammond).
I was also expected something like this, but I didn't know for grype till now. Thanks!
Is there anything similar to this for npm packages?
Hades: Serverless Dask to make a mockery of your workloads
Hi HN,

Hades.earth is Serverless Dask [0] solution that our team has been building at Agtuary [1]. We deal with massive amounts of satellite imagery, so waiting many hours or days for GB and TB-scale processing workloads to finish is very common, such as running models over entire countries. This chews up a lot of developer time, and inhibits rapid and quick development cycles. We built an autoscaling ("serverless") Dask service where we can point our pipelines or tasks and run them without having to worry about instances, compute requirements or making sure our code was performant in parallel. There is minimal change required to existing Dask workflows and we are adding in further support for things like Dagster to further manage the running of tasks. Happy to answer any questions or hear any feedback.

[0] https://www.dask.org/
[1] https://www.agtuary.com/
You need certain machines for EUV. There's only one manufacturer (ASML) for those, and they're at capacity. And even if they wanted to scale up, there's only one manufacturer (Zeiss) for the EUV mirrors required for those machines, and all their capacity for the next years is already bought as well.
I sort of had a similar story, started mining mid-2014 and went "all in" after Doge was born, for a couple months. LTS I sold all my doges in the following years, the last of which just a couple months before Elon decided to tweet about Doge and skyrocket the price.

Good times.
Your dog is unlikely to visit other planets searching for other intelligent life
> we end up with a collision between the Earth and moon

My understanding is that it isn’t that the moon and earth collided, but rather that the moon was formed from earth stuff when another body collided into earth.
I meant specifically chaining generic commands, not a purpose built tool.
I guess not! I find it strange too. I always know what the cardinal directions are, unless I'm in a subway.
Of course they should be. The only question is how.
I switched on the new UI yesterday and really enjoy it, personally.
Not sure about a restaurant, but being stuck behind someone using cash in a shop is a nuisance.

It can be very slow for both the customer and the employee to deal with the transaction.
Author of the post here! Happy to answer any questions.

TLDR: Not all pull requests are the same!

We are working on a way to specify and automate PR workflows so that you can separate the code review and the PR approval/merge steps.

This way you can automate which PRs require code reviews and which don't.

We show how we are using Reviewpad (as a GitHub Action) to automatically merge basic changes and also how to use it to ship PRs ensuring the CI passed.
> Asterisks are an invention of WEB. Operating systems usually don't use them at all.

What kind of horseshit is this? With a 5" wikipedia search:

> In the Middle Ages, the asterisk was used to emphasize a particular part of text, often linking those parts of the text to a marginal comment.

That's practically identical to the use of asterisks on the web: pointing to a side note that says that these fields are mandatory.

Also, the examples used to demo the asterisk counter-proposals are cherry-picked to be super simple. The minute your form becomes more complicated than "email/password/phone", the counter-proposals become inferior to simply using an asterisk.

PS. Who the hell spells web as "WEB" in 2022? In fact when "WEB" was ever considered proper, outside of all-caps headings?
It's interesting seeing how camera support is the biggest gaping hole in the open source smart phone world.

For example, almost everything in this graph is green, except for the camera column:

https://wiki.postmarketos.org/wiki/Devices

It's a complicated problem:

https://blog.brixit.nl/pinephone-camera-part-2/

But, in a world where open source almost always exceeds the commercial offerings, I'm surprised this is the case. It seems like the parent article and the LWN article posted (https://lwn.net/Articles/904776/) are suggesting that the trend is to just dump raw data and let software process it. I'm doubly surprised there aren't good libraries in the open source world that do this so much better than the commercial ones.

This is the main reason I feel stuck inside the duopoly of Android (barely tolerable and hostile) and iOS (completely unusable and unhackable). I need a good camera on my phone and there aren't good options for that at all.

Maybe extracting this code outside of gstreamer is a good idea if this takes us closer to that goal.
Non sure why everyone is so happy to kill the remaining of big employer, in the crisis year. Facebook as social media kind is dying regardless of this giphy decision.
> incomplete with respect to the truths of arithmetic

This is not at all what it's about. First of all, "incompleteness" has a very specific meaning in logic, namely that the following conditional (what we call "completeness") does not hold hold for some formal system S:

Γ ⊨ φ → Γ ⊢ φ

Second of all, Godel's first incompleteness theorem doesn't concern itself with "truths of arithmetic" but about any sufficently-powerful logical formalism. This is why I contend that Godel numbering is actually where the trickery kind of comes in: it's what gives Godel the self-referrentiality he needs in PA. A more general definition of the theorem, and one I generally favor over ones that bring up arithmetic, is[1]: "Any adequate axiomatizable theory is incomplete. In particular the sentence 'This sentence is not provable' is true but not provable in the theory."

[1] https://math.hawaii.edu/~dale/godel/godel.html
> AZ vaccine until it was finally pulled off the market in Germany.

What? It’s still getting used.
Treating political and military leaders as rational entities is dangerous.
Another classic in the genre: https://nitter.net/eigenrobot/status/942839737563234304

"so I'm mining monero to heat my apartment this winter" ... "My ceiling is now on fire"
You need a TPM 2.0 compatible CPU, but something like this sounds really excellent: https://github.com/tpm2-software/tpm2-totp

This means your laptop itself would be your hardware device, the TOTP secret would be stored in the TPM and theoretically impossible to steal/copy. Of course this means you will probably want a mobile device (possibly a second laptop also) as a backup.)
Quite easily on a very expensive bed they bought with that Meta money.
Having a local copy of an entire ebook archive is one way we can find information without having to use the Internet. Thus we can avoid being subjected to mass surveillance, which is excellent. I wonder if the archive is full text searchable?

Finally an alternative to this Orwellian nightmare we call the Internet. Can't wait to have a copy at home, and there will probably be times where I'll be pulling the plug on the router with relief. And it's one more step towards reducing my Internet usage, thus keeping the government and corporations out of my life.
Forms that ask for names should just as for the name and not try to force the developers cultural view of how names are constructed on the user.
You don't need an app to do TOTP. You can do it from a command line if you have the secret.
Meta also has offices and thousands of employees in the UK. Presumably the UK government could ban them from operating in the UK completely which would be a pretty big hit to those employees and all the teams that are based there.
The official numbers:

https://www.rki.de/DE/Content/InfAZ/N/Neuartiges_Coronavirus...
For a person to have an opinion about what constitutes justice is for them to demonstrate an understanding of the concept of justice (assuming their opinion is cogent). So, if people are disagreeing about what precisely justice is, it actually means that they do understand the concept of justice.
This is the funniest thing ever to me. Everyone who thinks about this for more than a moment realizes Giphy has never had any value at all. They might as well be licensing different types of burps.
Except that cryptomoney isn't adding insane amounts of value in any niche, outside of extortion and evading government controls.
Believe me, me nor the majority of my peers building metaverse infrastructure were excited by Zuck's pivot to co-opting the metaverse. We also do not align with a large portion of his definition of Metaverse.
Few people asked "why duplicate v4l2 functionality", but really libcamera serves a different purpose. V4l2 (and v4l) are frameworks that support connecting multiple types of devices. IMO the biggest advantage of libcamera is their goal to abstract various camera controls (ISP profiles and on-camera registers) that are painful to use with v4l2. It complements v4l2, not replaces it

For example v4l2 has an ioctl to send raw read/write commands to a camera module. Having a datasheet one can then check which registers do what and one can set various features, but this requires using different registers and values for different camera modules.

Then we have ISP controls that v4l2 doesn't touch at all and to let's say change color correction, or automatic gain or autofocus one has to use (usually proprietary) tools from the Soc manufacturer. Some of those tools are open source and very powerful (on rockchip for example), but still developing apps one has to use a completely different method to adjust a rockchip's ISP vs let's say raspberry pi's.

So libcamera is a great idea to abstract all those hardware interfaces. Last time I checked they supported raspberry pi, and had a very minimal rockchip support.

Imagine there is a time when libcamera supports all kinds of Soc ISPs (rockchip, broadcom, allwinner, hisilicon and many others). Traditionally getting a directly connected camera to work (under mainline Linux) has been quite difficult on various embedded devices. Then getting hardware encoding to work is the second hurdle. Most often manufacturers distribute sdk's with their proprietary binary blobs built against ancient Linux kernels and one has to live with it if one wants to reuse various cheap Ip camera boards.
besides that a user's Photos and Documents directories can be rather sensitive
> Aliens will also have developed the piano and chess. They are inherent things to discover eventually.

How could that claim be true? We have highly intelligent beings (i.e., “aliens”) right here on Earth that have not developed these things.

These discussions on aliens are often off the rails from the start because they implicitly begin with the assumption that humans are the only intelligent beings on Earth.
Probably they used too much reference, I wasn't implying that the universe itself is not protected. But writing something similar that would appeal the fans should be okay.
Many thought it was not only possible but inevitable: The Schlieffen plan, French revanchism, general military buildup across Europe, and of course Biskmark's 1888 comment:

"One day the great European War will come out of some damned foolish thing in the Balkans."
Other than us as individuals wanting to live long and see our family grow or to explore the wonders of the world. Why does one person living long have more value over someone having a good quality life?
It’s not “fluff”, it’s overhead. The real work there is done in about 4 lines (which could be compacted to two and still be somewhat readable). The rest as someone else already said, imports, helper functions (there’s no technical need for totp to just be a wrapper around hotp unless you want to expose hotp or be illustrative), function overhead, etc.

That said, TOTP shouldn’t be treated as code golf, especially in production code. The point is the protocol is trivially simple to implement not that it’s X lines in Y language.
But I love good food.
The question is if the UK wants to really destroy thousands of jobs over a gif service acquisition, especially in this economy.

I would hope they wouldn't do that to their own people. You're not really hurting FB, you're hurting your own citizens.

Is that really the best use of regulation, political power, etc?

Can FB buy Tenor then? Is any gif service off limits?

Who can buy Giphy? Any other social media?
> because they are useful?

But the usefulness is objective, that is, it is not an arbitrary product of the mind but rather it is dictated by the logic of things once the goal is set, so invention (or discovery) of useful things is more or less unavoidable.

As to quantum mechanics, you are talking about the variety of interpretations which from the practical standpoint are simply different ways of looking at quantum behavior, which, in turn, sometimes leads to different methods of calculation.
Zero trolling. Can you give a real world example of slow indexing? If you work in a /more/ dynamic language like Python, Perl, Ruby, JavaScript, it is very difficult to write a fast, accurate indexer. However, for /more/ strictly-typed languages like C, C#, Java, Scala, it is much easier to write a very fast, accurate index. (Leave aside C++ as it is so insanely context dependent, but LLVM has made amazing work of it.)

Some anecdata, three times in my career, I have worked on massive 1M+ line of code Java projects -- single repo. The initial Apache Maven download of dependent JARs plus indexing might take one hour or so. After that: Lightspeed. Yes, I do agree: When you are forced to invalidate your indexes, the next restart is painful.

More anecdata: One of my current projects is Python 3+. The indexing is much slower and less accurate. Plus, we use lots of binary libraries (compiled native code), which seems to trigger indexing on each restart. But whatever, get a 5GHz machine, give IntelliJ 16GB of RAM and let it run. In 2022, are there any serious alternatives besides a Titanic-sized IDE for enormous complex codebases? I don't see any that average developers (myself) will use.

Last point to mix big IDEs with C++: Visual Studio (as much as a cringe writing anything positive about Microsoft) is a phenom platform. For years, it absolutely dominated C++ IDEs. IntelliSense was mind-blowing in C++ and force multiplier that was unmatched for many, many years. It is still very impressive to me. I am sure they feel JetBrains' CLion biting at their heels!
Currently, not really for most events. Big concerts, trade shows, sports games, etc. are happening without any restrictions.

Moving into winter, the general situation can change and many people are expecting more strict regulations.

And then there’s the question of community and personal assessments. C3 is an event run by a community that tends to be note cautious with respect to risks. And, as the announcement says, "[w]hat might be possible would not be a Congress".
Radio stations east of the Mississippi River start their stations with 'W', and stations west of the Mississippi with 'K'. So any call letters starting with K or W are real.
People are just not yet used to it. Eventually it will gain more popularity. PIOs are awesome.
Most of the time if some UI requires you to configure it, it's a badly designed product. With very very few exceptions.
No. Chips don’t really expire, and suppliers often have to wean their customers off them by raising the prices regularly once they’re done acquiring design wins.

If the chips went on sale every year then companies would gamble on additional stock at discount, driving revenue down, and further disrupting the sales transitions into new IC designs.
I didn’t think they did major version auto updates while security patches are offered for the current version. I could be wrong.
Why shouldn't they use cards?

I think it's a good idea for children to have a bank account and to manage their own money.

Here in the UK, debit cards with contactless are available from age 11.

Apple Pay's minimum age is 13, and Google Pay's minimum age is 16.
Previous discussion here: https://news.ycombinator.com/item?id=33242529
Besides what others have said, it's important not to confuse life expectancy and longevity. Because life expectancy averages lifespans, life expectancy declines very rapidly when a lot of young people are dying. Note that the article mentions drug overdose as a major driver - which probably affects the young more than the old.
Markov or Markoff Processes? - Shannon says Markoff
Are the processes called Markov or Markoff?

I'm reading "A Mathematical Theory of Communication" by C. E. Shannon (https://people.math.harvard.edu/~ctm/home/text/others/shanno...) and I encountered the concept of "Markoff processes", which seemed to be the same as the Markov processes. This was further validated by most modern publications, as they all use "Markov".

Nonetheless, in Part I. Discrete Noiseless Systems, section 4. Graphical representation of Markoff processes, Shannon used "Markoff".

Moreover, on the Wikipedia page (see link in title), there are 8 mentions of "Markoff" and 41 mentions of "Markov".

I see that Andrey Markov was Russian. Does his name variation have to do with some mix-up between <v> and <ff> in Russian?
There's a list here: https://loige.co/where-to-go-to-learn-rust-in-2021/
most hiring managers dont know this
Your link has outdated hospitalization data.

https://www.zeit.de/wissen/aktuelle-corona-zahlen-karte-deut...
I was at a conference with around 1000 attendees in Germany this summer. The organizers put out a lot of recommendations for visitors regarding Covid (wear masks, be vaccinated, test yourself before and after the event, etc.), but none could be enforced on site since there was no legal basis for it. The result was that precautions were largely ignored by everyone at the event. The aftermath was that the entira orga team, most presenters on stage and (as far as I could judge by social media) a large number of attendees contracted Covid.

My personal take from this was a) FFP2 masks work - I strictly wore one indoors and didn't get sick b) things are not back to normal, despite what some people say. I don't remember this many people getting sick after an event before Covid.
That's a great move

Both Intel and NVIDIA should be regulated too, that'd force them to reduce the insane TDP of their products

They should learn from Apple
Living longer generally has a negative affect on the economy so the quality of life in some ways is worse for the younger generations. So it seems it’s only useful as a metric of short term success of a country.
Surely this is a market issue. Give it sufficient time and someone will work out how to wrap a derivative around GIFs.
Why it is harmful? The only answer I have found in the article, except of observed data, is that UPF is "not natural". Being low in protein can not be considered as harmful food despite that eating that food constantly is unhealthy nutrition.
Many have pointed out that the author is jumping to conclusions, which seems to be true from the (lack of) content in the article. So much of it is obviously wrong or lazily (not) researched. Some excerpts:

> Haven't seen them but it will be [...]. The whole interface is going to [...]. Mark my words

Oh really? Sounds like you've spent time using it and forming and informed & balanced evidence-driven opinion alright.

> Rounding of corners. Religion at this point. Homogenization. JetBrains wants to be like VSCode

Author has never used VSCode - not a rounded corner in sight.

But... I have seen a few commenters here on HN that seem more informed than the author and do prefer the old UI. If you're in that category, great. But I wonder are you in a niche minority. I'm a VSCode user but need to use IntelliJ & PyCharm in work as I support some custom IDE plugins & integrations. I hate the UI. I've tried switching to it wholesale on multiple occasions (company covers licences so no cost difference to me) but got quickly frustrated with the experience - especially that the discoverable (mouseclick) UI is always so many more clicks compared to workflows in other apps & that needs to be down for new users during the keyboard/command learning curve.

That's a subjective opinion on my part as a VSCode user, but I get the impression that it's shared by a lot of long-time (& probably now former-) JetBrains users. If they're bleeding users to VSCode, it stands to reason that the userbase that state behind are going to be the subset that prefer the old UI. So pushback is understandable.
Capitalist dogma is that such things are not within fiduciary duty. The board's sole obligation is to the profit of the company.

I have no idea how to go about changing this, when bills are basically bought and paid for.
I'm pretty sure that any sufficiently advanced species that does any kind of mechanical engineering will have maths that is homomorphic to analysis.