skysight-inc/HackerNews huggingface dataset:
>But in order to carry out the final inductive step, you have to invoke something outside of nature that causes nature to exist. And the problem is that we don't even know whether reason can be applied to things outside of nature.

In terms of proof, we also don't know whether reason can be applied to things within nature -- it's still depending on axioms. But we still believe it to be true and to be applicable everywhere inside nature regardless of specific context, and I see no reason (pun intended) not to extend this belief even outside nature.
I have to do it all the time cause I want to develop on a VM that matches the target platform for my project. Usually involves figuring out how to debug things. My solution is to install VS Code on remote system and use X forwarding depending on project. I also use PyCharm Pro so in such case I use Vagrant and it does its thing but it syncs awfully as OP mentions so debugging can become extremely painful idk why JetBrains has not fixed said issue customers have complained (remote SSH / Vagrant support is part of their paid tier).
In Technology We Trust
I predict this will end badly for him
I definitely use tramp a lot to remote edit files in Emacs. I suspect it depends heavily on the type of application your develop and your workflow, but it might also be that if you never really had the possibility to do that easily you might never really realize what you're missing since you're used to do things differently. It's a bit like X forwarding in that respect.

To give you an example of what you can do I often use tramp locally to edit files as root: instead of having to fire a different instance of an editor as root to edit a config file I can just do it "remotely" from my main Emacs instance, with all my config and without worrying about messing something up by having the entire editor running privileged.

I work in embedded development so I also often use it to browse and edit files on the live target system (beats using a crappy dumbed down vi from busybox). And of course as you mention for general sysadmin tasks it's also great, I'm a developer but that doesn't mean that I don't have some sysadmin to do from time to time.
One of the main reasons I use Emacs whenever I do use Emacs. Though now I just do VS Code and X forwarding.
Show HN: Conrad – a writer-focuse swipe file
Also:

"I disapprove of what you say, but I will defend to the death your right to say it" - Evelyn Beatrice Hall
Not sure if you need to work at a company before you can submit the data, but it also seems like this scans the website and GitHub repos you give it to identify the stacks.

This seems like a bad source. Specially if anyone can submit a company they don’t work for and only use the url scan feature.
> How does that differ from a standard legal agreement?

> Your immutable record is documents filed with the government

For people who don't necessarily trust the current and future government (to be both just and no inept at keeping accurate records), you've answered your own question.

> on public record.

One of the sales points of blackchain based contracts is that getting your details onto public record, and someone else verifying those details on the records, is easier. And in theory the record is not as easy to corrupt/disrupt/hide/block.

Caveat: I'm not more than an intrigued bystander on the whole blockchain thing ATM, so the details as I understand them may be quite wrong.
Censorship and hate-speech are opposed when you have a single big venue that hosts all communication, since the venue can't logically filter and not-filter at the same time.

However, when you have multiple, smaller venues, it's less of a problem. If one venue filters the communication that occurs within it, people who don't like that can take their communication elsewhere. If another venue hosts hate-speech, people who don't like that can take their communication elsewhere. It's not a zero-sum game.
Thanks for the link to beaker - this is really interesting.

I was curious what the difference with IPFS (that I had heard of) and Dat (that I had not heard of) - they have a FAQ entry on this on their page: https://docs.datproject.org/faq#dat-vs
Mostly speed, a more minimal configuration syntax, more modern crypto.

OpenVPN works fine, is quite portable and runs in user space. It's quite a lot slower, but is well-tested and can be managed with a Certificate Authority in organisation where that's desired.
Pretty crazy to believe that the whole Brexit process could be agreed in 2 years even if there wasn't much difference in opinion on both sides. Certainly will put off any other EU country from thinking of triggering article 50.
He's talking about views. Hate speech is chanting "Kill all Jews". A view I would despise would be a well thought out argument why all Jews should be killed, expressed in a way that allows response.
The science behind non-Newtonian noodles (2014)
Critique, yes. By being civil, reasonable and matter of fact.

I think however, that ridiculing often achieves the opposite effect, making you the enemy in the eyes of those susceptible to the hate speech.
For a counterexample, in the center of Amsterdam many cafes / restaurants are card only.
Any sickness. Stuff we overcame through vaccines, but makes a comeback caused by delusions, leaves poor people dead or crippled.
A bunch of replies to your comment, but none have (clearly) pointed out that this isn't actually an example of "wiggle room" in action.

The mistake was corrected because both parties agreed to change the contract. If they hadn't agreed and the issue had been brought to court, the $400 million number almost certainly would have been enforced. In cases where contract text is ambiguous, unclear, or just self-evidently illogical, the legal system does grant some wiggle room for a judge to try to tease out the intent. But a mere disagreement between the text and some email(s), AFAIK, wouldn't meet that standard.

On the other hand, even on the blockchain it's not hard to make a contract amendable with unanimous consent.
FYI, the Google Photos link requests a login.
> But how do you know which CLI program to use?

You run:
apropos "keyword"

It shows all installed programs that have "keyword" in their manual page.

It shows gui programs as well, but sadly they often don't have a good manual.
Lahaina Noon
Facebook provides some shortcuts for people who rely on their keyboards to navigate. Different browsers have different shortcuts. You can like, comment or share something on Facebook by using these shortcut keys.
•J and K - Scroll between News Feed stories
•enter/return - See more of the selected story
•P - Post a new status
•L - Like or unlike the selected story
•C - Comment on the selected story
•S - Share the selected story
•O - Open an attachment from the selected story
•/ - Search
•Q - Search chat contacts
•? - Open a list of these keyboard shortcuts while in News Feed
There are also some shortcuts to navigate to different parts of Facebook, such as your timeline, notifications or settings.
Focus enough to guide your dissertation by https://dissertationpanda.com/
That's the problem with corporations getting bigger; because executives make huge deals all the time, they forget the true value of money (from the perspective of the majority of the population) and they become inefficient in how they spend it... To the point that they can just round off $25 million.
Also, when you get yourself into trouble with a CLI, you can usually look back through the session history and figure out what went wrong. GUIs often have an undo stack, but there's no real log what you've done.
I agree with everything you said. I just have a somewhat different experience with Firefox on Windows 10:

>Firefox is eating 750 MB just keeping this single tab open while I type this.

I have 127 tabs open on Firefox Quantum 61.0.1 (64 bit). It uses ~ 1100 MB spread among 7 processes. I have 6 addons enabled (Decentraleyes, Firefox pioneer, I don't care about cookies, Tab counter, Tree style tab and uMatrix).
How Headbox went from MVP to raising £4.7M
In an AMA the future CTO said they would never get into text editor politics by merging the two or taking one away. Both editors will remain.
Thats the one!

I used to actually work in radar on the Isle of Wight, lots of people think of it as simply a place for tourists and old people. However, at least to recently, its the home of a lot of the worlds greatest radar and antenna designers. Sadly its all in decline now.
You know, people from the US say that a lot but in other countries like germany where >75% of purchases are cash and a lot of stores are cash only, this doesn't seem to be a problem at all...
Generally, I'd say that the less strict the compiler/interpreter is, the worse code you'll end up with. In my experience, Python needs a lot of external checks (i.e. linting, static analysis) to help the programmer write code that actually work as intended (and JS probably is worse).

As John Carmack said:
"...if you have a large enough codebase, any class of error that is syntactically legal probably exists there."
1 and 2 are your own extrapolations and have nothing to do with the author's arguments. Please point out where the author makes these arguments in case I missed something.

> Don't websites do a lot more than display text?

Yes, evidently, but the author doesn't disagree with this. In fact, the entire premise of the article is that websites do a bunch of useless stuff that have nothing to do with delivering the content you are browsing them for.

> Does HTML/markup not have a magnitude more value than raw text?

As a universal rule there is of course no answer to this. There is a lot of absolutely worthless text on the web. Given the example, though, would you say that the markup is worth more than the text on a website whose primary attraction is written articles? Do you frequently visit websites just to admire their markup?

> And how exactly is being inefficient with something that is abundant a tautologically bad thing?

My time is limited. RAM is limited, CPU time is limited. My mobile data plan is limited. No one is happy with a page loading for 10 seconds for something which should take 1/10000 of that. That's not to say that this is tautologically a bad thing. The author explains why he thinks its bad and I think that people that value their time and resources should agree. If you think that an article loading for 10 seconds is a bad thing, it's bad that an article takes 10 seconds to load. It only becomes tautological once you apply your value system to it, if ever.
Ask HN: (virtual/physical) credit cards for company team?
A German non-profit company is looking into ways on how to get up to 20+ staff their own company credit cards.

"Revolut" sounds very close to what we want, but they rejected the application because we are a non-profit (Terms of Service 19.1.G). I know Stripe recently announced something similar, and we applied and are on the waiting list.

Ideally, we find a service that offers both virtual and physical cards, postpaid and prepaid. We asked a number of German banks but their fee structures are crazy and they offer very little flexibility in terms of configuration and admin overview.

Any suggestions?
That really depends on what you measure by "frame rate".

In a single-threaded setup, maintaining 60fps is likely impossible. You may think of "just deleting a few lines of code" as trivial. But syntax highlighting alone requires re-parsing, as will automated formatting, type inference, and whatever else we expect today. It's unlikely for this to be done within the 16ms frame budget.

If you're offloading such work to separate threads, you can draw the frame right away and maintain 60fps. But you won't be able to update all the meta-information and frequently see "flashes of unstyled code".
I never heard of tramp, thanks.
Was excited for this and then the, "have you ever" section totally lost me. Am I the only one whom none of these ever?
Beaker in theory is great, and so is the demo. Soon as you try and put anything other than a few small files on it, the whole client crashes. There is an open issue about it [1].

We have a long way to go.

[1] https://github.com/beakerbrowser/beaker/issues/952
> Spanner runs consensus for each key range and does not need all nodes to be available to make progress also my understanding since again it has a leader for each key range writes scale better.

Spanner uses Paxos (consensus) for replication within a key range (shard), but two-phase commit across shards:
https://ai.google/research/pubs/pub39966

Citus relies on PostgreSQL's streaming replication, which gives higher throughput than Paxos, but
Paxos has better availability characteristics. On the other hand, Paxos with leader leases as used by Spanner is similar to streaming replication both in terms of performance characteristics and short downtime during failover.
Or, such places handle social interaction better. Birth rates decline in developed areas. My pet hypothesis is that “developed” countries/areas are only developed through extracting so much from workers that only a selected subset may reproduce.
I think it's fair to say quantum computers don't exist yet, but there is plenty of hardware. Although we're still at the wall-throwing stage and nothing seems to have stuck yet.

Even for the theoretical models, we have plenty of alternative models. The circuit model is the de-facto standard and a good thought framework, but there are real concerns about it maybe not to being the model to translate into actual hardware. (analogously, lambda calculus vs RTL) It will be interesting to see what alternative or new theoretical models pop up once the quantum computer's equivalent of the transistor surfaces.
Stop hating hate speech and start hating censorship. Hate speech is bad only if we let it affect us. Censorship is bad because someone else decides what we need to think and how we need to react.
A surprising amount of companies do not (or pay them a symbolic amount) and think it is completely normal. It's ridiculous, but it happens nonetheless.
something similar to https://zeronet.io/
Beaker is by far the most interesting application based on Dat.

I find it a pity that the datproject.org are so 'programming-focussed' to the neglect of the Dat protocol, standardization, documentation, advocacy and community-building
How does compare with Celery, given the author of both libraries is the same?

Is it an apple and oranges comparison? When would one use this instead of Celery?

Found the following for those curious:
http://faust.readthedocs.io/en/latest/playbooks/vscelery.htm...
I agree with this. I'm certainly not averse to dropping a :-) or emoji equivalent when appropriate. But emoji party hats every time a PR is merged, or READMEs covered with emoji, or worse of all, CLIs that use emoji in them are annoying to me and I don't understand the appeal.
What do you think the original function of shaking hands was as compared to what it is today?

There was this funny study that found that people were more likely to hold their hand next to their nose right after shaking hands. From this they concluded that hand-shaking is a non-intrusive way of smelling a person you just met.
I would very much like us to go to space.
Thomas Ptacek does it better than me: https://news.ycombinator.com/item?id=14599834
A growing proportion of those "gifs" are actually webm now, so it's not that bad...
Would be cool to have a score like how many times did you play and how many did you guess right.
It was probably based on their membership in the Merchant Customer Exchange (MCX), https://en.wikipedia.org/wiki/Merchant_Customer_Exchange
I am wondering how can you achieve this with the current network layout where most of the core elements of the network is owned by big corporations.
Introducing redirect.pizza – Free redirect service with HTTPS support
Bash completion scripts have to be hand written for each command. Ok, at best they can be autogenerated from some tool if the command's development environment has a tool for it. But many of these scripts are handwritten.

So they have to be created by humans and then installed on the system.

Far from auto-introspection into a standard API.
In most GUI apps on the Mac you can do this kind of thing through Help > Search..., though.

Not sure about other platforms, but I sure use that feature a lot in e.g. intellij.
I never use emojis (I'm not even sure how people manage to input them on a keyboard, I assume they're using mobile devices?) but I try to avoid the kneejerk reaction of hating on them, they're mostly harmless. It's very tempting to go on a "back in my days we couldn't even put accents in commit messages" rant but in the end it doesn't really matter.

If it makes writing commit messages more fun and it means that people will make more of an effort to come up with descriptive messages then I say amazing. I can't count the number of open source projects where people write absolutely useless commit messages, even coming from projects I respect. I'll take emojis over "several changes, new stuff" or "some other small fixes" (to quote actual commits from an open source project I've been hacking on lately).

Of course both things are largely unrelated but I just wanted to point out that there's not a very strong "commit etiquette" in the hacker community as of today, it's not like much of value will be lost by letting kids use emojis in them, and maybe a little could be gained.
I can't really see how emojis are "vague", or ambiguous. And even if: ambiguity is a great feature in any form of communication, by allowing us, for example, to express criticism early and subtle, defusing social problems before they blow up.

I also think you're placing to much value on some vague notion of "professionalism" which seems to exclude all emotion and any fun.

"Professionalism" in this sense stymies business success by, for example, prohibiting the effective means of communication people choose for themselves with some nebulous argument to appearances.
Supporting Windows properly is probably not that trivial. I don't know where seabios and tiano are wrt modem Windows support. Nobody ships Windows machines that run coreboot.
Have you looked at Pleo? https://www.pleo.io/
Exactly what I was missing after 15~20 questions (and then I left)

Seemed easy at first (got the first 5 right), but I guess that was mostly luck because I got a lot of the next ones wrong.

Edit: being from France, pokemon here have different names, making the english names less recognizable (I never played the games anyway so that doesn't change much for me)
There's nothing in linux that is baked in on every install except for kernel. On most desktop/server distributions bash-completion is installed by default. On embedded it mostly isn't.
To some extent, but take a find like the Oxyrhynchus Papyri https://en.wikipedia.org/wiki/Oxyrhynchus_Papyri - it is basically a giant trash heap of unorganized papyrus fragments. It was discovered in 1896 and it still being cataloged! Most of it is uninteresting, but some amazing finds like a previously unknown play by Sophocles.

To quote Wikipedia: Since 1898 academics have puzzled together and transcribed over 5000 documents from what were originally hundreds of boxes of papyrus fragments the size of large cornflakes. This is thought to represent only 1 to 2 percent of what is estimated to be at least half a million papyri still remaining to be conserved, transcribed, deciphered and catalogued.

And that is just one find.
A lot of problems would go away if all merchants (voluntarily or by law) explicitly charged their payment costs to the customer. Both for card and cash transactions, because cash handling isn't free either.

The customers using high reward cards would then soon discover that they are just paying for those rewards themselves, and the free market would quickly push everyone to the most efficient payment systems.
Core router issue at NYI - apparently it's not just us, though we're one of their major non-US customer-base customers, so it affects a lot of our users. I spoke to their techs briefly to confirm details, but otherwise am leaving them alone to do their jobs!

It's particularly annoying that it's a partial outage and our main 66.111.4.x range is the most affected (I suspect because it runs through DDoS protection that our more hidden ranges don't) so most our monitoring is running just fine, but customers can't get in. And it would take an hour (thanks "sensible" DNS timeouts) to move the traffic with the knobs we have access to.
> > open source is always better than proprietary

> I don’t think anyone has ever claimed this.

There was this one guy who maintained Emacs for some time.
Might have skipped a couple of steps there, buddy. It was probably more like:

Got married in Taiwan > Was surprised about the cake not being real > Asked some Taiwanese friends if this was normal > Friends say yeah, and not just in Taiwan > Really, what other places do this? > Norm in Asia
That didn't work out so well for Shylock.
Great points in article, I was just expecting more than critique of slack. I think slack might be used as efficient group mind by disciplined team. For example, using one channel to strictly stay on topic and keep focused, and another channel for meta-discussion and/or voting for next thing to focus on. Perhaps a third channel for archiving reached decisions, where discussions are not allowed.

If there are such battle-tested practices of efficiently using slack, perhaps they should be distilled to build a better communication tool around them. There's so much potential in collaboration tools that's untapped because everyone takes IRC or Word as baseline and improve on that.
Outside of your friend group, most of us have been using smileys and emoticons in day-to-day chat for years - the presence of rich emoticons used to set messenger platforms aside from each other - and emojis are simply the latest generation of that. They’re primarily useful for providing some emotional context to some text - and whether displaying emotion is professional or not is really down to personal preference.
I've been at some weddings in Poland, and I never knew. Now I wonder whether we don't do that here, or it was me who was just not paying attention.

I suppose this article exists because other people are surprised too.
Flatwhite Syntax – Minimal light syntax theme
Wow, isn’t there a really low probability of finding your phone number in the first 200m digits of pi? (0.09995% in first 100m) I’m tempted to start throwing a dictionary of phone numbers through this pi lookup to find your number, call you, and verify, I think you could quickly narrow in on your phone number given the information above.
This is an object versus pointer debate.

A card is “really” a collection of contracts. A bunch of cards are collectively referred to as a “card type,” for merchant billing purposes. It’s nice when that aligns with the card’s marketing, but nothing requires it. Each payment network has its own conventions, which have changed over the years, and are constantly interacting with hundreds of layers and parties. Nobody prioritises keeping brand and type name correlated.

Banks regularly change perks and rates, and when they do, they tend to renegotiate payment fees. Remember, there are like 300 fees. So in these renegotiations, some cards may end up one way and some may another. These are classified as whatever and life goes on. The “real” thing to the merchant is the mapping from card to type. The “real” thing to the bank is the fee flow. The “real” thing to the customer are the branding and perks.
In some cases, yes.

Books for example. Some print runs are terrible. So even if the content is great, terrible print quality or construction can lead to bad reviews.

Some books have numbered editions. But if the content is unchanged, should they be different products?
... and listen MC++ all night long
Australia here and I've never seen a fake cake.
How designers and copywriters can better collaborate to deliver better results?