skysight-inc/HackerNews huggingface dataset:
So you're hoping that Prolog is not dead and you were hoping that someone would provide evidence that it isn't, but you thought you'd get more mileage out of a provocative formulation of your request than simply stating your request? I don't know if that works that well...

Here's my view. Prolog is not "dead" as long as there's a community around its various implementations that uses them - for whatever reason. Of course you'll see more work in academia rather than industry, but that's industry. There's a few languages that dominate industry and a great many that, well, don't. At least for Prolog there is academic interest, so it's not just hobby projects. Research in Logic Programming (and Inductive Logic Programming, which I study) is still active with conferences and journals, so academic interest is not dead.

Regarding community, I only have an impression of one Prolog community, the one around Swi-Prolog, because that's the one I use. The community seems healthy, with active participants that are not just the maintainers, although you do tend to see the same people posting often. It's a small community, but "small" does not mean "dead".

Regarding commercial use (what everyone seems to wonder about) Jan Wielemaker, the maintainer (and originator) of the project recently started a company, Swi-Prolog Solutions b.v. to support the development of Swi in a commercial rather than academic environment. He explains it here:

https://swi-prolog.discourse.group/t/swi-prolog-solutions-b-...

This is a recent development but commercial entities have supported the development of Swi-prolog before. For example, see library(aggregate) that, according to its documentation, was sponsored by a commercial company:

The development of this library was sponsored by SecuritEase, http://www.securitease.com

https://www.swi-prolog.org/pldoc/man?section=aggregate

Presumably, Securitease uses Swi-Prolog in its operations. Apparently, the same goes for Kyndi, a company that offers NLP services:

Kyndi’s secret sauce is a decades-old programming language called Prolog that was designed with probabilistic and logical computational reasoning in mind. Using very little training data — in some cases as few as 10 to 30 documents of 10 to 50 pages each — Kyndi can automate fact, inference, and concept generation in virtually any vertical. It’s speedy to boot (the company claims it can read upwards of a thousand documents in seven hours) and helps to mitigate bias that might otherwise arise from conventional deep learning approaches.

https://venturebeat.com/2019/07/10/kyndi-raises-20-million-f...

[Note: the article doesn't mention which Prolog Kyndi uses. I got the information that it's Swi-Prolog from this comment on the Swi-Prolog Discourse channel: https://swi-prolog.discourse.group/t/what-happens-if-dr-wiel...]

These examples also suggest that commercial uses exist. They may be few and far between but again, for a small language that's what can be expected.

So, to paraphrase Granny Weatherwax, I think we can say that Prolog "ATEN'T DEAD". Not yet.
It is ALWAYS sexy when they let you know when you might not want to use their product.
WebAssembly like all bytecode formats, doesn't care about the source language.
I agree.

There's so much bullshit in mainstream energy analysis; there's too much incentive. Energy is central to civilization - what we use, where and how we get it, how we use it, how much of it there is and when we can use it - change any of those variables, change the shape of the entire civilization.

Yet the conversation around energy technologies is entirely dominated by dollar cost. This obfuscates so much, and lends a false equivalence to pricing/market/financial mechanisms - it implies that if something can be sold cheaply (low price) then it can be produced/extracted cheaply (low cost).

We are quite capable of, and actively involved in, stealing from our futures (high cost) in order to achieve low prices in the present. The economic externalities of our energy usage don't go away - by definition, that which is finite and we use now to do this, cannot be used later to do that.

That energy we'll one day need to feed ourselves, and heat our homes, and supply our medicines and materials? We're using it, right now, to make a shitload of disposable, toxic, plastic shit. Junk nobody needs that we'll convince them they want anyway.

And why are we doing this mad, insane, thing? Because we're convinced it doesn't matter, we're convinced the price of energy will always be low. We're convinced we're not the ones paying the costs.

Apologies for going full doomer on y'all.
https://pics.onsizzle.com/oh-i-made-myself-sad-me-irl-242092...
His friends wouldn't obviously strike their own videos on the clip channel. Or the service would've provided his friends with the clips and they could upload them to their own channels.
I always wonder what happens to you psychologically when you see something like this. As one of the astronauts I mean.

Surely, once you've returned, nothing will be as it used to.
How to Transfer Money from Apple Pay to Cash App
Cash App is one of the most common and popular online money transfer platforms that helps you send and receive money from family and friends. Due to its simplicity and ease of use, users always love to send money to another person with the help of Cash App. It is popular for fast and prompt services. So, all your money transaction gets processed within seconds. It is also a secure and fast way to make financial transactions. It is a peer-to-peer (p2p) payment service by Square, Inc., which enables transactions between two ends just by sending an email by using a Cash app through their smartphone.
Cash app customer service
In my experience women are surprisingly influenced by what clothes a guy wears. I've had a couple of women say to me that they are puzzled themselves as to why they are attracted to guys who dress well/cool in ways that don't really make logical sense.
These are both elegant and sexy IMHO. Thank you for these fine contributions.
There isn't an issue with making apps and an os - there is an issue with being the only one allowed to do special things, which is what got MS in trouble back in the the day.
What's the story with MacPorts these days? When I used MacOS I preferred it over alternatives such as brew and was under the impression it was used and had contributors from Apple as well.
Mind sharing the level 3 location?
I couldn’t get the tiles to show up at all when they were compressed by tippecanoe. I’m not sure what the problems is, to be honest.
>In fact, think about it for a minute: why are homeless shelters and drug clinics notorious hotspots of insecurity?

https://duckduckgo.com/?q=what%27s+it+like+to+live+in+a+home...

https://invisiblepeople.tv/what-is-it-like-to-stay-in-a-home...

>Wendi’s Experience

>This is what Wendi from Houston, TX had to say about her shelter experience:

>“The largest homeless shelter in Houston is the Salvation Army, or “Sally House” as it is commonly called. It has been shut down three times in the last two years due to bedbug infestation, abruptly forcing folks who were trying to get their lives together to abandon most of their belongings and head back to the streets. But this is just the tip of the iceberg.

>Staying at Sally House means having a 5pm curfew, and being awakened at 4:30am to be ready for 5am church, in order to get a breakfast of cold cereal and sent on your way for the day. These hours are totally unrealistic for getting a job in the real world; thus the system forces you to stay in these conditions.

>On top of all of this, you aren’t allowed to have any of your belongings. They are placed in a closet for ‘safekeeping,’ which is usually anything but safe. But more on that later. Instead of your sleeping bag or bedroll, you are given a thin hospital quality blanket, no pillow – and either a cot (if you are lucky) or a thin foam mat on the floor (like a yoga mat). This is where you will sleep, 6 inches from a stranger, after attending the 6pm church service in order to get a sack lunch for dinner.
Showers and laundry are allowed once per week.

>Rarely does a ‘client’ get assigned shower and laundry on the same day, so both pretty much defeat the purpose. You either have to bathe and put dirty clothes back on, or do laundry and put your clean outfit on a dirty body. You can be kicked out if you are caught taking a sponge bath or rinsing out your undergarments in the restroom sink.

>Please don’t think I am just picking on Sally House. These are the rules at every shelter in Houston. Times may vary a bit, but the main points are the same. Star of Hope is commonly referred to as Star of Dope because most of their staff is ‘former’ addicts who are not only still using but actively dealing. Restoration Hope Ministries forces its clients to panhandle all day and then confiscates the money. The list goes on and on. This is why many of us choose not to go to shelters.

>When personal property is put in a closet, unless you are the first one there in the morning you risk things being stolen (if the staff hasn’t done so already). When the stranger bunked next to you (and the staff) are high as a kite on every substance known to man, you risk being assaulted, raped, or killed. Sleep doesn’t come easy when you have to live with these facts.

>I sleep better on a sidewalk with my homeless ‘family’ around me than I ever could in a shelter.”
When reading this I miss a HN feature "upvote as a falsehood to be aware of".
except when it is actually a nullable Boolean and there is a big difference between the 3 states
Let me be more concise: convert some of the dying big-box stores into open-office WeWork/Regus-style workspaces for white-collar desk workers.
If that can be proven, that should be considered a clear monopoly violation.
Oooh, so beautiful! Thank you.
Bee and wasp foragers give each other directions to food sources every day - not usually by pheromonic recruitment, although a few species including V. mandarinia do use that method, but by communicating. As far as we know, they don't have symbolic language or anything like the same level of abstraction we do, which is reasonable when our brains outsize theirs by eight orders of magnitude, but that doesn't stop them telling each other what they need to know. And that's just hymenopterans; we should also talk about corvids, who are well known to pass knowledge across populations and generations, and also to possess tool use and theory of mind.

The definition of "unnatural" toward which you're extensionally groping here is "things only humans, and no other animals, do". I suspect you are going to find it a considerably narrower category than you presently appear to imagine. I also don't think it is going to lead you anywhere useful; many anarchoprimitivists have trodden this ground before you, and if nothing else it may be worth familiarizing yourself with some of their work lest you find yourself in one of the same pitfalls they so often do.
Does it need to expend the energy to winch it up? Would it not be simpler to have a set of these weights, and a ramp system to deliver them to the top, and use vehicles to unload at the base and drive them back to the top to be hooked up again in sequence? Surely there would be less energy loss moving it up a ramp than fighting gravity in a vertical shaft to winch it directly upwards.
College as a Marriage Market
> Why do they even use a feature like automerge

I think so too. On the other hand that goes in line with all the CI/CD/CX craze - which involves commonly accepted complexity in its own way.

> without approval

Probably that also shows that the project might need more contributors. To me it's a core component of every macOS install but actually a voluntary project which is an unusual combination.
AltDrag – Easily drag windows when pressing the alt key
So like Wayfair?
The two systems are not otherwise identical, so I don't see that "you could buy an Android" as a reasonable alternative (I own one).

I also don't see the issue in that you can install apps from another store, since it is fairly easy to put up a warning "Apple has not approved any of the apps you can buy from this store".
Well, if they didn’t made the trade off between security (manual pull request review) and easy of maintenance (automatic pull request merge), this would have happened.

If instead of parsing git diffs with ruby they used libgit (or something equivalent in how much battle tested it is), this wouldn’t have happened.

If Apple provided a more capable package manager, this wouldn’t have happened.

If the millions of customers of homebrew (as am I) gave them even a fraction of the monetary resources they need to build such a massive project, this wouldn’t have happened.

As you say, there is no single responsible party for the vulnerability. But it is an interesting case too ponder about. If instead of responsibly disclosed, a malicious party decided to use it, this could’ve been very ugly. I hope it gets noticed by the community and better measures are taken.
A sexy, sexy site and an incredible advertisement for itself!
>This is how 95% of the one billion chickens raised in the UK each year are grown: chicken is the country’s most popular meat and these massive sheds are why it’s so cheap.

They are certainly not "cheap" by international standards. Affordable would be a better term.
My impression is that WebAssembly was so named because the developers wanted a cool name that indicated it was low level and in a sense akin to an assembly language, not because it was actually the same thing as assembly.

But, inadvertently, such influential projects gradually warp the definition of the word 'assembly' or 'assembler' away from what it traditionally was: the most close to the metal and minimal abstraction from hardware.

Perhaps that's OK? But it does cause some arguments
It's called the "overview effect": https://en.m.wikipedia.org/wiki/Overview_effect
No worries I can see how the original could have been more clear!
Iteratees (nowadays pipes, conduit etc.) are based on functionality that was already there in 1992. They didn't add anything to Haskell. They're just libraries. Lazy IO has indeed always been bad but it wasn't the only part of Haskell's IO story.
I'm amazed the Egyptians settled for such a low ball deal considering the cost of the incident egyptnyc@gmail.com. 19 Million, while actual cost ~ 50 Billion when considering all delays to all vessels and full cargo of the Evergiven
Yeah I would have preferred harsher refereeing and the risk of a dull match (though I suspect we would have seen a whole bunch of Spanish goals) than sitting through that unedifying spectacle. It was just depressing and the Dutch play was often out and out dangerous
Should just paint the development and construction of new nuclear plant as a vital part of "Great Power Competition". Congress will pour money and resources in no time.
No, gravitational potential energy is linearly proportional to the height over which you raise the weight.

http://hyperphysics.phy-astr.gsu.edu/hbase/gpot.html
If you need to maintain a proper audit trail for every state change, you need a separate table for that.

Any trick you play with a fixed number of scalar columns will only let you access the timestamp of the last change of the same type. This won't be particularly useful when there's an edit war among moderators who unpublish and republish the same thing over and over.
Yeah, glad this was fixed

> If I had to do it over again I would definitely never make a time value "falsy".
> It is kind of messed up that a Chiropractor and a Dentist call themselves Doctors without batting an eye

For a Dentist, DDS (Doctor of Dental Surgery) and DMD (Doctor of Medicine in Dentistry), which I understand to be the same degrees, at least implies a medical background.
Somehow a small city I used to live in managed to do it. The mall declined to the point that all that was left were the anchor stores and a few other internal stores when they decided to demolish it.

They left the major anchor stores (Target, Von Maur, Hobby Lobby), turned most of the center of the mall into parking lots, and put up a few multi-store strips around it, and it went from empty to having thriving businesses that have mostly all remained the past 16 years.

This guy has more details and took some pictures of the mall just before they closed it:

http://www.labelscar.com/illinois/college-hills-mall
Of course it depends which luxury spending. A buy a Van Gogh, not a megayacht campaign might help.
The only savings grace with these gravity systems is that they could last 100 years. Gravity is a very poor of storing energy. Height is limited by practicality. Reusing old mine shafts is just a code word for unaffordable. You need to increase the amount of mass that you move around, therefore your system should be infinitely scalable. By limiting yourself to mineshafts you have reduced the scalability option and the entire project becomes a scam.
When get programmers and their descendants royalties for their work up to 70 years after their death?
Not being able to move windows with Alt and resize windows with Alt+Right Click was one of the hardest things to get used to when switching from Linux to a Mac. I'm happy to see someone bringing it to other platforms. I hope it becomes a standard on all PCs eventually.
The operative word is “truck”.
Well, nonetheless, it's the lowest level you can code at, isn't it?
Laundering Torturers' Reputations with Copyfraud
Worth noting this is a new series — secret life of components, not machines— from this year. Sadly without Rex who died a couple of years ago.
My brother in law has an eSomething for his building business.

The most hilarious is that this van still has the fuel-tank hatch. Complete with springs, locks, rubber etc. Just that there's no hole to put fuel in, when you open it.

Probably one of the most literal interpretations of 'I want my Foo to be electric. Give me an eFoo'.

I presume this tank-hatch is there because changing the factory lines that deliver the plate work, is too costly.
OTOH, sometimes the budget needed to fix the ergonomic issue (if it can be fixed) is massive.
Especially for those with already limited space. It may become a useless spending when companies back to WFO after pandemi over or changing company that don't support WFH.
I use a process called “blogumentation”.

Whenever I come across a solution that I’d like to document for myself and others I create a blog post with the tag “blogumentation”:

https://bjoernkw.com/tag/blogumentation/
Hm, you also need to consider that 5 trucks can have a much higher combined output than the 1 truck 5 times as high.

The storage might scale this way but not the output when demand is high.
> assembly language must have an unambiguous bidirectional mapping between the target binary code and the assembly language.

This isn’t true for many CPU assembly languages, though. For example, the x86 instruction `add eax, ecx` can be assembled to either `01 c8` or `03 c1`.

> you can still unambiguously recover some sort of assembly which can be used to generate an identical binary output

If your binary contains `01 c8`, information is lost when that’s disassembled to `add eax, ecx` and there’s no guarantee that a newly assembled binary won’t contain `03 c1` in its place.
Well, it's also just bad engineering tbh. What they're trying to do here is take a workflow intended for humans to make arbitrary code changes and other humans to review those changes, then restrict it to be a workflow for machines to update two keys in a database. Why not just introduce a real API for people to submit new versions instead of hacking one together from tools never meant for this use case?

Honestly I use brew and love it but the decision to make everything git and ruby is super hacky. And fundamental architectural decisions like that aren't something you can fix with donations.
Sisters with Transistors
It doesn't need to be monetizable. It's wholesale theft, not fair use, and like those terrible shitty "exposure" pages where they steal art, post it on instagram covered in watermarks for likes and views and the generic message "if you want this taken down email us!! 100 emoji 100 emoji"
Show HN: Based On A Story - a browser extension to create and share stories
The problem with batteries is that there are a bunch of grid storage chemistries using abundant elements that can scale to 1 GWh but there is almost no demand for grid storage only chemistries so lithium wins by default because it piggybacks of other developments.
Oooh, garden office pod sounds intriguing. Do you have a good example of what sort of office pod you'd like to have?
> This is also the reason why serial IDs are way better than UUIDs for internal IDs.

There are three core problems with that:

a) Serial IDs are a nightmare for database merges, clustering or anything like that
b) Serial IDs won't scale
c) Serial IDs require management, whilst UUIDs can be produced anywhere (in DB, in frontend etc)

There is the KSUID[1] if people want a time-sortable thing that is near-enough to a UUID.

[1] https://github.com/segmentio/ksuid
He gets an F for effective communication from me, but he's technically correct by my reading. They can sublicense (which creates a weird franken-license) but they can't (unilaterally) relicense.

Without a CLA in place Minio can't unilaterally "change the license to the AGPL" (your words). What they can do is add the terms of the AGPL to each existing file, in addition to (but not instead of!) the Apache terms that are already there. The end result is AGPL with a few extra but very permissive clauses tacked on.

Going forward, any newly created files need not carry the Apache terms at all (obviously).

The changesets prior to this event remain licensed under _only_ the Apache license. (Well, actually, they could sublicense those too but there'd be no point because you could just get an unmodified copy from someone else.) Future changesets fall under the combined terms of the Apache and AGPL licenses. To be clear, this isn't dual licensing (ie pick one) but rather "all of the above". You simultaneously have to comply with all the terms from both licenses. Which, notably, means you can't remove the Apache notice or list of contributors (among other things).
Same applies to any bytecode format, when an hardware implementation for it happens to exist.

It was how Xerox PARC workstations worked, the bytecode of Interlisp-D, Mesa, Mesa/Cedar, Smalltalk worked, with microcode interpreter loaded on boot for them.

How Lillith (Modula-2) and Cedar (Oberon) workstations worked, with hardware implementation of their bytecode formats.

How some Java CPUs like Jazelle and JavaOS worked.

How Pascal USCD worked on Constellation OS by Corvus Systems.

How Burroughs B5500 mainframes worked, with ESPOL/NEWP intrinsics, still being shipped by Unisys nowadays on a completely unrelated hardware form.

I certainly can dig out a couple of other examples.
Scryer Prolog looks very nice, with tabling from the start of the implementation (e.g. Swi-Prolog only added tabling in the last year or two I think). Let's hope it develops to the standard its authors want it to.