skysight-inc/HackerNews huggingface dataset:
This would work if clause/2 always failed if there is no matching clause. Indeed, in some systems, that was the case. But now, clause/2 may and will throw an error for example on:

?- clause(true, B).
ERROR: No permission to access private_procedure `true/0'

See also the Prolog ISO standard:

clause(+head, ?callable_term)

8.8.1.3 Errors

...
c) The predicate indicator Pred of Head is that of a
private procedure
- permission_error(access, private_procedure, Pred).
...

In this interpreter, the third clause of prove/2 is also applicable if the others are applicable, because L1 subsumes both true and terms of the form (X,Y). For this reason, we get for example:

?- prove((true,true), _), false.
ERROR: No permission to access private_procedure `true/0'

whereas we expect this to succeed, because (true,true) does. Hence, to make this interpreter actually work, more must be added, and to make it meta-circular (i.e., able to interpret its own code), these features must then also be handled.

In the representation I used, these issues do not arise because I am using a so-called clean representation. With such a representation, I can tell for certain what the individual goals are, as the individual goals are symbolically distinguished from conjunctions of goals.
When a management with a reputation for brilliance tackles a business with a reputation for bad economics, it is the reputation of the business that remains intact. - Warren Buffett

The business that the company is in matters much more than any individual CEO or their background.
WRF is a state-of-the-art atmospheric modeling system designed for both meteorological research and numerical weather prediction. It offers a host of options for atmospheric processes and can run on a variety of computing platforms. WRF excels in a broad range of applications across scales ranging from tens of meters to thousands of kilometers, including the following.

– Meteorological studies

– Real-time NWP

– Idealized simulations

– Data assimilation

– Earth system model coupling

– Model training and educational support
> write non duplicated code ... Like how many string implementations are there across c code bases.

In one of projects I needed foo::string that can share data with foo::variant without copying the data each time. So foo::string was implemented as a COW string - smart pointer for foo::string_data. std::string simply does not work in such requirements.

So I am not sure I understand how cargo will help in this case. Either Cargo source repository will contain implementations of any possible permutation of requirements of strings or people will just use standard std::string.

The only feature that I need in C/C++ is unified ability to include libraries in code:

#define PNG_APNG_REQUIRED
#include source "libs/png/png-amalgamated.c"

I am perfectly fine with downloading png.tar.gz manually and putting it in place where I need it.

In any case decision to include library to a product requires quite a lot of reasonings and architectural investigations.

For typical web front-end projects NPM or Cargo probably make sense. But for, say, NodeJs or Cargo itself they should not use any such automatic downloader.
> the document viewer ... lags every time I scroll and it's too annoying. Also

Even if you scroll down like 5px or if you scrolled multiple pages at once?

How long was the lag?

> overlays for selecting progress are messing with highlighting and re-reading. It could be showed instead simply as rectangle with borders, without this blue background, if that's possible and if not there should be other way to manage progress.

Yes.. I'm planning on evolving this a bit. I didn't realize that people would be so annoyed by this and it isn't part of my normal usage.

I read forward and the pagemarks lag behind my reading and highlights.

I think I can implement a feature to poke through the pagemark to be able to annotate through it.
The notion that media change society has been most compellingly been explored in Elizabeth Eisenstein's The Printing Press as an Agent of Change (1979), itself strongly inspired by Marshall McLuhan's The Gutenberg Galaxy.

https://www.worldcat.org/title/printing-press-as-an-agent-of...

The impact really cannot be overstated, though it's often more subtle (though deeper) than portrayed.
Star Wars in one giant infographic
Barnum Effect
I dunno, if you read, say, "Merchants of Attention" or some other history of marketing, you'd not find any mention of Aristotle, but a whole bunch of snake oil salesmen and cousins of Freud. Maybe "programmers" know something you don't.
> Signal To Noise Ratio

I find the Noise to Signal ratio on HN to be incredibly high.

For example, multiple posts per day[0] reminding us that facebook is 'bad' and 'spying on us' (no shit). When whatevercoin was a thing, there were many posts per day about how bit whatevercoins were the {best,worst,crashing,soaring,smart,dumb,future}.

HN started off with some direction, but now it seems to be turning into the fake internet point machine that many reddit sites are: where folks are rewarded for (re)posting whatever the 'hot topic' is of the month, and bolstered by millions of tangential or anectodal comments from people who never made it past the headline.

0. http://funkyimg.com/i/2S1gE.png
> Will Polar, or Evernote, or any other system, be around in 30 years?

Yes.. that's literally why I called it Polar.

It's designed to be a permanent vault for your data. This is why it's Open Source.
> This has been done 40 years ago!

What private company was sending people into space on reusable rockets 40 years ago?
I don't think any imports from Mars could be profitable. Except scientific data, of course. The colony will depend on Earth tech for a long time.

The only case for a self-sustained colony I see is some local political extremism. To prefer to live on Mars by one's own means would take some very strong Earth-incompatible views.
Also worth mentioning is that 200k is much less when considering you'd be able to sell your house/car/everything to do so.
I agree. A lot of times I end up just pushing dependencies to github and pulling from github in the main codebase.
What's the benefit in modernizing the US's grid faster than it is being done already? Nobody wants to pay more for electricity, and while the Chinese government is motivated by the economic stimulus effect the US doesn't share that goal. If they started tearing down and replacing power lines that today are good enough you would have to pay for it.
Still working on that part. I think I'm going to allow association of a DOI then lookup the full metadata and then allow you to copy the metadata in a citation format to the clipboard.

Would that give you 80% of what you want?

I did some analysis and 40-60% of PDFs have the DOIs embedded.
It doesn't seem to be a deeplearning/neural network model like I was half expecting ;)
The problem with that 76% of recidivism is that those people are scum who belong in prison because they simply can't function in society. Unless you can reprogram their brains, that is. But we're a long way until then.
"Musk thinks the ticket price could eventually dip below $100,000, cheap enough that "most people in advanced economies could sell their home on Earth and move to Mars if they want."
Here's a nice article that discusses the historical importance of the letter and the problem Goedel raises:

https://ecommons.cornell.edu/bitstream/handle/1813/6910/89-9...
I would like to make it more efficient for sure.

Part of the problem is actually Anki.

It's kind of janky and then there is the issue of firewalls that some people are running into which isn't fun.

I'm trying to smooth out the UI a bit more but it's an iterative process.
How do independent R&D teams know if something is already solved or not? There are so many papers out there, how can they focus obtaining the new information but try their own solutions as well for a commercial purpose? Maybe its a n00b question and it only means I have 0 R&D xp, but things I am thinking about is always found in a paper with tons of references.

That is why I not decided to choose a similar position, because what I feel I'd do is asking permission from my boss to check "all the necessary information out there" to make sure I am aware of existing technology not to reinvent or miss things. Would take infinite time obviously. :D
A while back on RDS we did our migrations by standing up a super fat instance, fail over, migrate, fail back and shutdown the fat instance. This was a great asset, and AWS made this easy.
I'm pretty sure you can't legislate against narcissism/voyeurism, which are flipsides of the same coin.

The tech just made the magic mirror globally accessible, pocket-sized and always-on, and the business model (ad-sponsored) just made it free. We have 'corporate voyeurs' as a result, but for that kind of thinking Guy Debord was more pointed than the pseudo.com guy IMHO
https://mobile.twitter.com/ideas_ten

And the folks that, that account is following have some interesting ideas
Cartel owner: Can I borrow your laptop?
Everything has evolved to get to that point. I suppose if you start with something modern like npm then it's not obvious how bad the earlier ones are. Compare the good ones with composer, dpkg, rpm, apt or dnf, to name a few examples.
It is an inability to set clear goals. Every time we have a proposal, everyone else jumps in with additional requirements and the project dies.
>The issue is that when Google shows ads to someone in the UK to monetize a search service used by the UK person, Google uses almost no UK resources.

Why is that an argument against moving from corporation tax to VAT though? I don't think it would change much in terms of the UK's (in)ability to tax Google.
China has a lot of clean energy capacity in the west, but needs it in the east to get away from coal, where a those transportation needs are as well.
>Then we'll agree to disagree. I think you are wrong on so many points here

Thanks for casting aspersions without even so much as a mention of what the "so many points" are that I am supposedly wrong on.

When I said upthread that you have misunderstandings, I at least mentioned some and hinted at or gave a clue to what the others were.

Also interesting that when kazinator said to you that awk is part of shell, you meekly accepted that he was right, thereby contradicting your earlier claim that my shell solution was not a shell but an awk solution. And in that same comment ( https://news.ycombinator.com/item?id=19279030 ) accepting it, you still seem to be neither here nor there, by your own words, where you say things like you "see why it could, perhaps should, be though (sic) of as being "shell", but "always have trouble thinking of it as such".
Well just like many other languages with sane environment (dependencies, building, etc.) management. I think this is the norm nowadays (D, Clojure, and so on).
How about those dongles with a license key, you can make it USB. Free download of software then you need the dongle to run it.
You can't very much abuse a shoe to cause harm.

Or a fax machine.

Or broccoli.

Or a pencil.

(Yeah, you could stab someone in the eye with the latter, but it's not something inherently violent about a pencil more than 2000 other things you could do it with, and most people would never do anything like that despite having used one).

Other things however, are either precisely made for harm and profit (e.g. a grenade, or "Hot Pockets"), or lend themselves very well to it (e.g. dynamite, internet cookies, etc.).
In the sense they're using it here it's perfectly valid. ES Modules are the modern replacement for the old legacy JS module systems.
ODEM Unveils Global Education Marketplace
> You can complement your leadership by getting an MBA which rounds out the rough edges of business.

If you're already a leader, an MBA can help.

However, I see a lot of MBAs who come skipping out of a B school (even a good one like Wharton or Kellogg), and their approaches to problem solving are so identical!

I have seen my share of CEOs, but it's staggering how similar they are in their approaches. You could, after interviewing a few of them, come up with a flow chart and you'd capture about 90% of their actions. I have seen many a CEO run the company into the ground, but very, very rarely seen a CEO lift a company up and make a difference.

I think Satya Nadella in MSFT has really turned that ship around (please correct me if I'm wrong). But for every Satya, there are a 1000 mediocre ones, just trying one tool after another that was taught them in B school, and when the board gets tired, it throws them out with a golden parachute, only to be replaced by another cookie-cutter who does the same.
Why not fix npmjs.com instead of scattering things around ad infinitum?
If I were those guys up there, I would check the chest cavity, just to be sure..
22 failures / 786 launches
> Polar does offer a Chrome extension, but research about a FF version (the API is THE SAME) is hindered by me not being able to find any reference to the Chrome extension anywhere outside of the app. Idk, to me it just seemed fishy.

Wait. What seems fishy? I don't follow.

I'm planning on revamping this entirely with more of this functionality done within the chrome/FF extension itself where we just capture what's already rendered without any of the above complexity.

It's waiting for Polar 2.0 which is about 1-2 months away.

> Why would I save my web pages as PDF anyway? That's an even more obscure, hard to process format. I tend to like the WARC format.

Big misconception. It's not saved as PDF.. It's saved as a captured HTML format. We might do something like WARC in the future though.
I'm pretty sure I'm not confusing anything. However you want to define "music" and "radio", both are passive consumption. Sure, there might be some types of music that engage your brain more than others but that would still be nothing, compared to, say, reading a book.
Not really, people also pay tax on profit not revenue. Expenses related to business activity can generally be deducted in most places no matter whether you are incorporated or not. It's the basis on which business expenses you claim back from your employer are not taxed and the way unincorporated sole traders and bare partnerships are usually taxed. The rules on what types of expenses are tax deductible are pretty similar. If you incur business expenses which are not repaid by your employer you can usually reclaim tax on them.
AI Will Add $15T to the World Economy by 2030
These are still node modules, and they're still on npm. They just use ESM syntax as well as CommonJS.
We could possibly have in-app flashcards but I want to wait until Polar 2.0 which will support web+mobile+table so that I can do cross device sync easier.

For me having flashcards means having them on my phone.
Obviously authorisation will be a huge overhead compared to sendfile + nginx right? Am I misunderstanding what npm does?
It always amazes me how far-seeing some people were in the early (and pre-) history of computers. The quote above shows such insight/intuition into the future potential of machines, the need for program correctness, the role and nature of machine learning.
Just silence the version header advertisement for the web servers. Make them actually test for vulnerabilities not just check the version
>AI is a tool, and while you can say some tools are easier to abuse than others it has not baring on their ethics since tools have no ethics to begin with.

For one, that argument only holds for tools without conscience (e.g. a hammer or a headphone). AI, though, is precisely the kind of tool that can be capable to have ethics.

Second, even dumb tools without ethics of their own, can be ethically problematic (e.g. a bomb).
I to have written a service that still runs and never touched it’s code since. I think I used COBOL.
I received a bug bounty from Mozilla after leaving, in a browser component I previously worked on. I didn't write the vulnerable code though.

On the other hand, Google refused to pay me a bug bounty for a bug I found in the same component, in part because I used to work on it when I was at Mozilla, even though I didn't write the vulnerable code.
Developing, support, and other costs are not $0. I'm all for portability, but I'm also for compensation to keep it working smoothly..
Only the NPM Corp can fix NPM. Anyone can create a different website to aggregate it's results.
Are you building on the web annotation standard? Or otherwise connected to the prior work here? https://www.w3.org/TR/annotation-model/

It applies to PDF's also. More context: https://web.hypothes.is/blog/annotation-is-now-a-web-standar...
The benefit of going to mars is that it opens up knowledge and know how / experience upon the human race to go further beyond. Spreading our species gives an evolutionary advantage.
You will absolutely want cloud storage when I'm done with this and have the social functionality implemented.

Read the linked article. I talk about this at the bottom.

IMO 80% of the VALUE of this data is that you're collaboratively building your knowledge with others.

My core hypothesis is that building knowledge is social.
That depends on how the effect is being measured - if the price growth is measured from the point where the CEO is appointed publicly - then you are right. But if they start from the moment before the announcement - then there would be no way to arbitrage the effect away. The interesting thing to do would be to measure the effect of the announcement itself.
A natural way to think about forgetting is that our minds simply run out of space. The key idea behind Anderson’s new account of human memory is that the problem might be not one of storage, but of organization.

According to his theory, the mind has essentially infinite capacity for memories, but we have only a finite amount of time in which to search for them.

The key to a good human memory then becomes the same as the key to a good computer cache: predicting which items are most likely to be wanted in the future. That it’s a perfect tuning of the brain to the world, making available precisely the things most likely to be needed.

In putting the emphasis on time, caching shows us that memory involves unavoidable tradeoffs, and a certain zero-sumness. You can’t have every library book at your desk, every product on display at the front of the store, every headline above the fold, every paper at the top of the pile. And in the same way, you can’t have every fact or face or name at the front of your mind.

“Many people hold the bias that human memory is anything but optimal,” wrote Anderson and Schooler. “They point to the many frustrating failures of memory. However, these criticisms fail to appreciate the task before human memory, which is to try to manage a huge stockpile of memories. In any system responsible for managing a vast data base there must be failures of retrieval. It is just too expensive to maintain access to an unbounded number of items.”

From the book: Algorithms to Live By.
Have you ever met these people? How do you know they can’t function in society?
It is a problem, but it's not the same problem. You can try to address the issue of secular trends in the industry by looking at say, performance relative to industry peers. How you define industry peers of course is a bit tricky.

Another option is to look at share price returns from the day before the new CEO was announced. That would incorporate the market pricing in the new CEO. However, I don't think this analysis did that.
One possibility is that he used something written against the nightly Rust compiler. That code would be very unlikely to compile today.
https://youtu.be/ZKSMJ1QRXPU
I believe GP is mostly talking about the standard American propaganda that without Capitalism no great things can be accomplished.
I’ve always had a problem designing diagrams in Visio. (I work in IT so think high level network diagrams, flowcharts describing state/processes, that sort of thing.)

Last year I found the template that makes everything look hand-drawn. It changed the way my brain saw the diagram, going from “this thing must be absolutely pixel perfect” to “this is something I literally sketched on the back of a napkin”.

This allowed my brain to create the thing, without worrying about whether everything was lined up just so. Then, at the end, I can choose to flip the theme back to straight edges, and line everything up if I choose.

Actually, many times I just left it as it was. Others seemed to like the hand-drawn look, which came as a surprise.
Polar Premium will allow you to disable tracking but you should enable it.

you can audit the code but we only track what features you use and so forth.

I can't build Polar without the analytics data as I don't know what's breaking and have no ability to optimize it and improve usability.
>AI isn’t s player it’s as dumb as a rock.

That's a religious view of AI and humans, where humans have special qualities (like soul and consciousness) perhaps evolved "magically" or "god given", that a machine can't have.

There are no serious arguments why an AI can't have perfect human-like consciousness, feelings and everything.

Inversely, there are no serious arguments why humans are special in any way, and their brain mappings can't be replicated by technical AI (eg. artificial neurons) or emulated by software.
Hmm. I thought browsers stopped giving out referrer years ago ... !?
Ya, I agree. However, i'm pretty sure they're doing it from the moment of appointment, not the moment of announcement. They don't call it out specifically in the article, but i'm familiar with the datasets they're using, and I don't believe announcement time is in there. Though it's certainly possible that they have data I haven't seen.
Microsoft Quantum Network
If you want to analyze your data it's crucial that you have as much data as possible, so start right now using applications that are already available and that can export the data they collect via csv, you can always start using a self hosted solution once you find it.
Imbushuo/NintendoSwitchPkg: WIP UEFI EDK2 Implementation for Nintendo Switch
They do indeed want that, but what is it that has changed recently that makes this so much more urgent? People claim that digitisation has changed the equation, but I don't understand why. Google is for the most part a regular US exporter.

It appears to me that the only thing that has changed is that the US has left everyone else in the dust, which causes envy.
Subprime car loans may explain the delinquency rise. That business was expanded hugely in the last 10 years, and was one of Uber major loss areas.
These packages are still on npmjs.com. This is just another way to search the repository. The author can't fix npmjs.com because I'm assuming they don't work for npm Inc.
“Son taux sera modulé en fonction du chiffre d’affaires avec un maximum de 5%.”

https://www.gouvernement.fr/taxe-gafa-que-prevoit-le-futur-p...

It seems they’ve decided to make it 3% now?

Edit: that’s apparently the case:

https://www.lesechos.fr/economie-france/budget-fiscalite/060...
This is faulty reasoning. Google and Facebook weren’t absorbed by the Ad industry. They absorbed large parts of the ad industry. They are the ones who did all of the innovation in microtargeting and harvesting of personal information. Not some amorphous external ‘ad industry’.

Advertising is their primary business, and neither of them have any other significant business. Almost everything they do is designed to drive advertising. They are advertising companies plain and simple.
von Neumann played a major role in the development of the nuclear weapons. Not just the Manhattan project, but also in the development of the hydrogen bomb and ICBMs. It's pretty likely that those are the secrets the government was guarding in 1953.