skysight-inc/HackerNews huggingface dataset:
Yeah there are plenty of programs where you can tell whether they terminate or not. The proof that the halting problem is decidable has a self referential component and most programs aren't self referential like this, nor do they make any library calls to halting problem deciders :). I think it's OK to do this simlification in a simple post like this, but important to keep in mind that it's a simplification.

To make it more concrete, if you take a bunch of heuristics like scanning for while(true) {}, scanning whether there are any loops at all, discarding primitive foreach loops that have a linear relationship to the input data amount, etc, you have built a rudimentary halting problem decider that has 3 outputs: "will halt", "won't halt", "I don't know". You can make it better with lots of research, SAT3 solvers, etc, but ultimately you will have to accept that there will always be programs that the decider will output "I don't know" for.
There's plenty of evidence that HFT increases volatility [0][1][2].

Flash crashes still happen [3] and there were multiple rapid crashes triggering limit down circuit breakers in 2020. The circuit breakers stopped things from getting worse, but didn't stop the crash itself.

[0] https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1691679

[1] https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2573677

[2] https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2573677

[3] https://www.cnbc.com/2015/09/25/what-happened-during-the-aug...
> It's also cheaper to let the US do its military thing and be a bodyguard, and that means the EU can focus on more important social issues. Maybe it's a small price to pay, maybe not. Some future generation will have to answer that.

I guess Europe had better hope America doesn't do what Americans want and pull troops home...

The only truth of foreign policy is "might makes right". Ignoring treaties as just pieces of paper isn't new. Hegemony isn't just about power. If you have the might, you make the rules and can twist them to your benefit. In any case, I guess the EU believes an American hegemony beats out one by Russia or China by a large margin.
It doesn't matter. The point is that it's not common sense to always use the legal system to enforce one's ethics. It's perfectly consistent to hold two mutually exclusive views: 1) I don't want to use the legal system to enforce things like who can use my software and 2) I have ethics that go above and beyond what's legal (I imagine most people do).
Cloudflare Access: now for SaaS apps, too
I think they're trying to explain what they see as existing rather than what they want to exist.

The second issue is that there are individual artists experimenting and counter-cultures but the current "economics of creativity" mean these are almost immediately stolen, distorted and released for mass appeal.
What's horrible about it? I just download it, unzip to Program Files, add the folder to my %PATH% and that's about it. I didn't find myself in a situation where I would need an Apache or other webserver, the built-in one is good enough. It also makes using different versions easy, no need to deal with Apache and CGI/FPM. You just use other PHP executable.
I helped create pingback [https://simonwillison.net/tags/pingback/], which eventually made it into WordPress and hence achieved pretty widespread distribution.

My concern here is spam. With hindsight both Pingback and Trackbacks (which Pingback was a response to) essentially became APIs fit spammers to add junk to your site. Can webmention avoid the sane fate?
Home Renovation Ideas?
Looking for some IOT ideas as I'm going to replace my main floor with hardwood or something. Baseboards as well. Looking to see if anyone has some cool ideas to implement.
As an example, see this image of the UTM zones and look at the zones labelled in red. https://upload.wikimedia.org/wikipedia/commons/b/b7/Universa...
Just ran the numbers for my 10 year old Honda and my 15,000 km per year.

Accounting for depreciation, interest, insurance, actual service bills and petrol, I ended up with A$0.25 per km and A$4150 per annum, so ATO-sanctioned business travel compensation always rightfully seemed to be a handout to me.

A new BMW can easily cost 6x as much, hence "average body temperature".
I’ve seen it on a number of blogs. Below a blog post, it shows who linked to it. Anyone who finishes reading the post can look at these responses, read them, follow them to their source. Does that qualify as “using this”?
Yes, I know. And I've had that argument many times over the years. But I think that's separate from the topic at hand. The short story is that I don't agree with using the copyright system against itself.
just drop spotify entirely
British Library releases 18,000 maps and views for free
Sure but ignoring it is precisely how you let it happen again, and I’m not down with having that on my conscience.
HCL and HCl would be very different things to a chemist, though, if an element L would actually exist.
This is one extreme case caricaturized by the article, which is more nuanced.
I used to know a professor who switched from the hardware department to the software department. His reason? With hardware I can reduce runtime by 10 or 100. With software I can reduce runtime by log(x).
Imagination Announces B-Series GPU IP: Scaling Up with Multi-GPU
The post was about writing a wrapper for wlroots, a Wayland library designed to simplify writing Wayland compositors upon which Sway is made, not Wayland itself. There is a nice reimplementation/wrap of Wayland C libraries, and it's wayland-rs.
Sadly I cannot say the same about Rust in what concerns my work domains, as explained at "Have you stopped using Rust? And if yes, why?" discussion thread on Reddit.

C++ helped me avoid C, because I could drop down to the C subset when obliged to do so, and still take advantage of C++'s improved type safety, just validating at the end that a C compiler would also be happy with the code, and thanks to its Bell Labs heritage it has always been a first class language across all major UNIX/POSIX platforms.
Depends on the latency which is the achilles heel of 9p and plan 9 in general. With 9p, for every T message there's an R message that is waited on before the next T is sent. So if there's 100ms of latency you have to wait 100ms between EVERY 9p message. Pain and suffering. The labs people never focused on performance but actually building a clean comprehensive system with the small team they had. It was a pragmatic approach for sure and compromises were made.

Though when using local ethernet, heavy graphics isn't that bad. I can play doom over local ethernet using drawterm to a cpu server which is actually running the doom processes. Of course blowing up the game screen makes it suffer as doom doesn't use dev draw.

Another thing to realize is that plan 9 graphics are done via dev draw which is a sort of 2d graphics engine that you load text and bitmaps into then issue commands to draw and move them around on screen. So a local dev draw on the terminal only receives draw commands for the loaded resources so there is some caching and heavy lifting done at the terminal end. It's not like vnc or rdp where you are viewing a remote frame buffer.
The thing that's a tiebreaker for me is grid-gap (and recently, its shorthand gap). Uncountable hours have been wasted making two elements separate from each other for a few pixels. Still today, the techniques used by Bootstrap are still used, altough a bit less hacky with calc(), but still we're relying a lot on negative margins.

With gap, making a gutter is trivial. And while gap _can_ be used with flexbox, the thing is that it's not supported by Safari[1], and who knows when it will be implemented.

1: https://caniuse.com/flexbox-gap
Iron and nickel are too abundant on Earth, so their transport from elsewhere cannot be profitable. They and other abundant elements can be mined only for building structures on those asteroids or in space.

The metals that are much more abundant on asteroids than on Earth will be dissolved in the Fe-Ni-Co metal in concentrations varying between 2 ppm for the most abundant (ruthenium) down to 0.05 ppm for the least abundant (rhenium).

While these very low concentrations are still thousands of times larger than the average concentrations on Earth, mining them on asteroids would still require processing thousands of tons of Fe-Ni-Co metal for a few kilograms of precious metals.

On asteroids that have never been melted, the processing could be easier, because most of the precious metals might be present in very small refractory grains dispersed between the grains of Fe-Ni-Co metal and silicate minerals and maybe a cheaper separation method could be found than for the case when they are in solution.

However, the same huge quantities of material need to be processed.

Right now, it is quite certain that this cannot be profitable.

Some time, in a more distant future, we can imagine a technology much more advanced than what we have now, which would enable sending some robots able to perform completely automatically the tasks of building from local materials some huge installations for energy collection, for mining and for extracting the desired elements, so that asteroid mining would require the transport in both directions, between Earth and the mined asteroid, of only very small quantities of materials and equipment.

Even if this is much beyond our current capabilities, it might become a necessity if we would exhaust the exploitable reserves for some of the least abundant elements, dispersing them in junk from which their extraction could become too costly.

On the other hand, there are numerous research projects now trying to replace the use of less abundant elements with the use of more abundant elements, in a lot of applications.

In most cases, it is likely that such substitution attempts are likely to succeed much earlier than the time when we would be able to mine those elements from outside the Earth.
Take an honest look at your government and your country in 2020, and then let’s talk again.
A wonderful archaic technology that is also an useful thing-to-know in post-apocalyptic settings.
Show HN: GPT-3 for vision
It's wonderful to be part of the community that put together the competition and stayed dedicated to finish the trove of cool titles!

Impressive JS OS in 13KB: https://github.com/KilledByAPixel/OS13k

Gotta plug https://www.dwitter.net - JS codegolfing in under 140 characters! Quite a few JS13k participants are active on Dwitter as well.

Feel free to join us in discord: https://discord.gg/emHe6cP
Are you certain the grapes are cloned using the embryos? Or are they propagated from cuttings?
im sure they exist but I've never heard of anyone using anything like this in Python. I've seen some closed-source database drivers for Python which is because they are implemented as native C code. but nobody uses them and there are vastly better open source choices that everyone uses. Commercial libraries are not viable in the Python ecosystem where an open source alternative that is decently maintained exists, there's nothing to be gained by trying to steal an MIT library and selling it as some kind of encrypted package, nobody would ever use it.
Millwall represent.
All the cockney rhyming slang I know I learned from Del on Only Fools and Horses.
Sweden is not a socialist country by any reasonable standard. The workers generally don't own the means of production. It is a capitalist country with a fairly strong safety net.
Machine learning taking off was very good for NVIDIA... and it shows in their revenue today.
Why does GPT-3 work for ad copies?
This is covered in the article:

>This naive style implementation could work, however it would cause a lot of branching code. Each call to wlroots will require a check to see if the handle has been dropped, even though it almost certainly has not been dropped (it can only be dropped between event callbacks, wlroots/Wayland is callback based). This means there will be unnecessary paths (that are hopefully marked cold) that either panic or return an error.
No, they succumbed to the certainty that companies in general are allergic to AGPL, which might be a result of FUD, but the FUD wasn’t what they succumbed to.
I view the serverless, specifically aws lambda, as nice way to hook into the aws system and add some code to handle certain events. Basically, to customize the behavior of "the cloud" where aws falls short (for whatever reason).

But developing with "serverless" as base stack? Nope.
Tailwind saved me from a coding ice age
Computer Science for the... loss?

I did not study computer science in any substantial way, and I hardly consider myself a computer scientist, but I do have a nose for algorithms despite not really thinking about it in a structured way. I think lot of people get wrapped up in the notation without realizing they can approach the problem in a completely different way. Case in point, a professor at a University in the US created a parts-of-speech tagger and released the source in the early 2000's. I wanted to leverage this tagger to create a topic oriented search engine, but it was WAY too slow. It took about 10 seconds to tag a document (back in 2003 on decent hardware), and since I needed to tag hundreds of millions of documents, and despite having about 15 servers at my disposal, this was not going to work. So I dug into that algorithm and realized it was trying to test all of it's conditions all of the time to figure out which rule would apply. I redesigned it to index the rules and only apply them if it was possible for that rule to have some effect. Or something like that, the details are now fuzzy. The speedup was roughly 1000x, and made the tagger usable at scale.

Plot twist: I took a computer science class (as a Mech E major) taught by that same professor years earlier and failed it. That class was Data Structures.
I used to work with a bit of a "geezer". He would use what I termed 2nd order rhyming slang.

"He got it right in the Aris!"

Aris => Aristotle => Bottle => Bottle & glass => Ass
A universal basic income stabilized Kenyans in bad times
Firefighters have been battling since Sunday to contain blaze on Mt. Kilimanjaro
This actually got the HN front page treatment last week already.
And it's so. So. Expensive.
Yeah these things aren't designed to cool things down, they're designed to take something that's already chilled, but in an inconvenient location (such as in your kitchen, past a sleeping infant), and keep it cool in a more convenient location (your home office).

Anyway if you want to check your math, I did a quick experiment. My fridge cooled a 1.5 liter bottle of room temperature (25.6 C) tap water to 18.4 C in one hour, and 11.9 C in 2.
You should look at the link.

It walks you through a) systems design of various companies you've heard of; b) how to design common things like a URL shortener or a rate limiter; c) more general topics like you mentioned.

There are also several example chapters available as a free preview, including the module on Instagram.
KDE 5 Plasma is amazing. Subjectively, I feel the following about it: after over 2 decades of being extremely buggy and extremely ugly, KDE has became a culmination of desktop PC GUI design, the best I've experienced so far (tiling WMs can be better in certain tasks and settings but not universally).

Manjaro with recent KDE provides me what I call "a lot like Mac but way better" experience (surely, there are aspects in which Mac or any other system is better, I just don't know which particular).

And it has made a great replacement once Ubuntu lost its Unity (right at the moment it became polished enough).

The only disappointing part are the plasmoids - I could make a lot of use of some desktop widgets but it's pain to find useful plasmoids and make them work, making your own plasmoids seems complicated.

In fact I'd be comfortable with a generic terminal plasmoid (with a read-only mode option) and a generic browser (just display a specific URL, refresh periodically, basic HTML support is enough) plasmoid but it seems too much hassle to build them. I just wonder why these are not available OOTB.

More (and easy) hackability could also make KDE even cooler.

UPDATE (some more things I'd like to be fixed just came to my mind as I had a cup of tea):

KDE still has not reached the Unity level of the Mac-like global menu (D-BUS menu) support: some apps which worked with Unity global menu perfectly (and also work on Mac) still won't work with the global menu in KDE. I had to fall-back to the "Windows way" of having menus in every window to maintain uniform experience among different apps - too many apps left the global menu bar empty. This isn't a particularly serious problem though. Unity's facility of searching through menu items was also insanely cool and should be ported (as we have the D-BUS menu anyway).

I want to completely disable clipboard management so it wouldn't remember clipboard history (which is a security issue) and wouldn't clear the clipboard as soon as I close the window (extremely inconvenient - I often want to open a window just to copy something, close it and paste that somewhere else). But I could never find how.

I don't want tray messages to pop-up as soon as I start copying files. I'm not even sure I want them when the process finishes (perhaps there is a less annoying way to know it's done).

I'd like an option for Yakuake to actually replace Konsole so whenever I click "open terminal here" (preferably - in any app) it would open a new tab in Yakuake.

That's all the improvements to make KDE effectively perfect IMHO.
This is a novel computer vision framework with two unique capabilities:

1- it can learn very complex visual events (beyond object detection.)

2- it needs only a few samples to learn an event of interest.

This allows users to train models for any event of their interest easily.
We have been primarily focused on event detection for consumer surveillance cameras but are also exploring use cases in other verticals and believe this technology can benefit any labor-intensive monitoring task by providing a versatile and resilient platform for automation. We would appreciate any feedback and if you have any thoughts on any specific consumer, commercial or industrial applications, we would love to hear about them.
Still experiencing KDE Plasma lockups in Debian Bulleye (11).

It’s time for me to hook up a dumb terminal to its serial port and leave it there.
Experience with their tech stack is a good start :)

I used kubernetes for my home server in college- it's a terrible idea and added unnecessary complexity for my use case, but my experience there got me a job where it solves more problems than it causes.
How is the spin-up time for such a container?
Oda – Live Performances in Your Home
This I understand, the risk of third-parties monitoring. The attacks are pretty obvious. My confusion is over what the business model of a commercial CDN is if not to track users across multiple sites? How do they pay for bandwidth?
Most code is bad code. And if it is not algorithmically bad, there are many other errors lurking in dark corners.

I am a HPC cluster admin. Many years ago, we had a (for us back then) rather large project. Several million hours of CPU time. During a support case, I happened to stumble across the source code for the project. And I was pretty surprised. It was a few hundred lines of Pascal, compiled with fpc. I knew about the language being used and was told other compilers dont make a lot of difference "because the code only uses 32-bit values". Hmm, suspicious, but you can't dictate how people solve their problems. At least not easily. But the small LOC count, and a upcoming weekend without a lot to do got me thinking. So I sat down and more or less mechanically translated the code to C++. Making use of templates to move a value from runtime to compile time. And bang, I got a speedup of 5x. So a few hours of time spent by someone NOT involved in the project at all helped to save around 5 mio. hours CPU time (around 1.5x my yearly salary).

Of course, this is a pretty extreme example and not really representative for the scientific computing community. Still, with my experience watching people run big jobs I am estimating that we waste around 50% of our computing time (world wide) on insufficiently thought-out implementations and lack of knowledge about the actual architecture the code is running on.
Sometimes, I am happy if a user knows the difference between OpenMP and OpenMPI :-)
I’m very much able to make the distinction, but there are opinions so vile they can’t be tolerated. That’s just a fact.

The line is also pretty clear, at least as far as the German law is concerned, so the danger (see slippery slope argument) is well worth the risk. The slippery slope argument is more applicable the other way round: if you tolerate this, it normalizes or rationalizes the Holocaust, and that’s the first step towards another genocide.
Haha sientists said lockdown was huge mistake you nasty bigoted shill. Death to fake news.BLM rioted in 211 cities and attacked 48 of the 50 largest cities in the US. Thats righteous but conservatives wanting Constitutional rights are bad? Thank you for helping me decide who to vote for.
For me: it means access to museums, performing arts, and just about any food I could ever want to try.
It looks like they are doing one license, AGPL, without CLAs. They provide a hosted service.

Others can also provide hosted services, They can't get a competitive advantage with proprietary "value-adds." Usually, the authors have significant reputation and branding advantage, so unless they f- up, competitors are bottom-barrel low-cost providers.

AGPL without CLA is whom I tend to gravitate to.
> sadly the percentage of the US budget going there decreases by small percentages overall letting politicians on both sides claim they have reduced spending. Even halving the US defense budget won't solve the US deficit issues.

I think more US citizens should understand this. Even if the ENTIRE military budget were eliminated, the budget wouldn't put the US in the black. In fact, eliminating EVERYTHING except benefits programs still wouldn't balance the budget.

Millennial shouldn't forget that social security issues start in 2037 with a reduction to 76% of their current payout and it rapidly declines from there [0]. The only social program likely to work is the one you personally setup around yourself and save for right now.

[0] https://www.ssa.gov/policy/docs/ssb/v70n3/v70n3p111.html
You'd be surprised how often "flip through the telephone directory" thing comes out in the real projects.

Sometimes it is one of those "we did a quick hack and then forgot about it as data sizes grew", sometimes one just forgot about the complexity, and occasionally there are people who don't understand the problem at all.
How is AGPL noncommercial? You can definitely still sell the service as long as you publish the source.
The definition of plagiarism isn't connected to laws, so yes, it is. Intentionally taking someone else's work and passing it off as your own is bad juju through and through.

And even if I kept my code under copyright with an attribution license, not all forms of plagiarism would necessarily violate the copyright. For example, ideas and facts generally can't be copyrighted, but one could imagine cases where they can be plagiarized.

So even if I did use a license that requires attribution, that only works insomuch as plagiarism is a violation of copyright. And as we all know, there is a ton of grey area there. But regardless of the grey area, the plagiarism itself is still unethical.

Some interesting bits are here: https://www.plagiarism.org/blog/2017/10/27/is-plagiarism-ill...
Show HN: 30 Days of Startup Frameworks