skysight-inc/HackerNews huggingface dataset:
You can actually. If you use mandoc instead of mandb, it automatically generates and passes tag files to less. Then you can just type ":t e" to jump to the docs for the -e option, for example.
techiebooks.io domain for sale
Does anyone want to buy my domain name?

techiebooks.io

please email me

callagg3@gmail.com
...unless all the factories are already overseas.
The shadowgraph technique
this + stuck js + single threading..

chrome's day-one multiprocess support was really the big shift since it allowed js bloat to not kill your session, which in turn allowed more js bloat to exist, which in turn made ff slower..
How to measure the "religiosity" of people?

While I haven't looked at the statistics, I can easily imagine that's the result of religious communities/institutions having better infrastructure/peer structure in place to motivate donations, at least vs "unorganized unreligious" people which rarely organize on a similar scale.

Pretty much all religious institutions are dependent on regular donations coming in, they are organizations build to motivate people to donate and keep those donations coming.

In that regard, it shouldn't really be that surprising that they end up being overrepresented when they use these "powers" to collect donations for a non-religious cause. Could just as well be interpreted as the temporary redirection of a revenue stream that'd otherwise just go to said religious institutions, in the form of the regular donations of their members.

Depending on the methodology of the statistics this could actually be checked for: Do "more religious" people actually donate "more" during times of non-religious crisis? Or do they merely have a bigger overall "donation budget", which they can use for these times, due to their religious donation obligation?
A Harsh truth but quite enlightening. Thanks.
There's a little room for difference, but if something stays at 95% of miner support then everyone else is almost certainly going to be dragged along for the ride.
At the risk of unavoidable snark, I’d rather not have the entire country live by what California and New York want. We have states where the EU has countries - there’s still a massive cultural disconnect that would render that system unfair to everyone not living in a metro area.
Its worth noting I've made a conscious choice to gplize my tool stack, so despite tmuxs lower learning curve, I still think screen is the way to go.
I've said, several times in this thread, that there's a difference between dependent drinking and harmful drinking.

OP is clearly drinking at levels that are harmful, even if OP isn't dependent. OP is drinking well over the recommended 14 units per week, and OP thinks it's causing harm.

It is a mistake to think that only dependent drinking is harmful.

Harm is caused even if the person isn't dependent on drinking.
People often use the term "bug" in a more broad sense to mean "the system is behaving in an unexpected or undesirable manner". The "spec" may have not even covered the issue in question -- no one thought of that edge case.

Either way, for Coq programs, it sounds to me like specifying the preconditions is part of the implementation, so the term "bug" seems especially apt
Also mentions another similar game "Friday Night at the ER" which might have wider appeal:

https://en.wikipedia.org/wiki/Friday_Night_at_the_ER
Perhaps people don't differentiate between 1-7 and 0-7 and assume that 3.5 is always going to be the midpoint?
This is the same thing, still totally unclear what you want explained to you.
Hey, sorry for my late reply :)
Thanks for review and suggestions. I get data from api endpoints of airline pages, but unfortunately they are not official public APIs. Ryanair api already exists but they haven't activated my developer account yet.
To points:

1) will do, good idea :)

2) selecting city instead of airport directly is possible improvement, but little more complicated for implementation

3) I'm not sure if you can see prices in EUR if you are booking a flight from Budapest for example... but will search for it and will try to implement it,I know that prices in HUF, SEK, CZK can be confusing as well as language.

I'm still trying to optimize the core routing part to make loading times as short as possible, and I do all alone in my free time, so UI stuff is not getting enough attention I guess :)
Reversal of cognitive decline: A novel therapeutic program
I hear this every time Etsy comes up, and I’ll admit the attitude confuses me.

1) without etsy, you really would be stuck with Michaels quality crafts. I’m pretty sure I can’t buy a solid oak spice rack from michaels of any decent quality. Or a retro pipe box, or a certain type of mens jewelry... you get the picture.

2. Nobody else is trying to corner the market Etsy originally carved out for itself. Amazon, Jet, Ebay, and Alibaba all are terrible for showing craftwork rather than a mass produced consumer piece with significant stock. If amazon had an etsy clone that improved on it at all, I would totally split my patronage, but there’s realistically no competitor online.

3. You can actually buy locally and keep your money mostly local. Places like amazon make this extremely difficult to figure out and prioritize.

4. Many etsy shop owners use etsy as a shop front, not as a sales driver. Assuming the main point of etsy is to buy a great product directly from the buyer will probably lead to shitty experiences. This is much more like a flea market, complete with regret purchases. It is not a convenient online shop for avoiding regret.

Am I asking you to excuse etsy’s issues? Hell no. But you’re also not addressing massive parts about how the site functions for both its sellers and consumers.
As someone who has to screen way too many "Scala Developer"s, just being able write idiomatic Scala to solve FizzBuzz level problems already puts you head and shoulders above the competition. It's frustrating how often candidates write more or less Java and try to pass it off as Scala.

Scala devs are already quite difficult to find, and we're more than willing to dedicate months of training to get someone up to speed on Scala. I suspect other shops might be the same, so any demonstration of decrease in training time is a huge plus.
Thanks, I win the prize :). The corporations you list have little to do with supercomputing. I recommend the book "The Supermen" about Seymour Cray, National Labs, etc and that will give you the necessary context to understand. Bottom line, it didn't used to be this way and supercomputing degenerates to lowest common denominator without starting from square one every now and then.
> This document was on the W3C Recommendation track but specification work has stopped. The specification reached an impasse: all interested implementors have used the same SQL backend (Sqlite), but we need multiple independent implementations to proceed along a standardisation path. [1]

The w3c requires a standard to have 2 or more independent implementations of a spec. Why should Mozilla or Microsoft be responsible for writing an independent implementation of SQLite just so webSQL can be a standard.

[1] https://www.w3.org/TR/webdatabase/
What you're doing sounds so cool, will do!
Here is a paper that shows Coq proofs of two famous theorems by Shannon: the source compression rate of H(X) and the channel capacity of I(X,Y). https://staff.aist.go.jp/reynald.affeldt/documents/affeldt-i...

I wonder if simplified versions of these proofs couldn't be used with students. Right now it seems like too much details, but maybe there can be a common "stdlib" of standard math arguments that we assume to be true, and then focus on the specific machinery for each proof?
Differential Dynamic Algorithm
I am not stating he is somebody Obama would have chosen to lead the FCC, but Obama saw fit to appoint him. A democratic majority senate saw fit to approve him.

I do not necessarily agree with Pai, but actually take the time to read what he says instead of snippets taken out of context and it's hardly nonsensical or untruthful. In going through this process of trying to actually discover his views, I found several interviews [1][2][3] that I found informative. His major view is that you regulate as necessary. Let people compete openly and freely with as few rules as possible. When bad behavior emerges deal with it as necessary. He is focused primarily on competition and simplifying what is required for ISPs to get in and operate. Adding hundreds of pages of rules and regulations does not really fit into the picture here.

I don't necessarily agree with him, but he certainly has a perfectly cogent argument. And I think disagreeing on the right path forward is perfectly fine. A number of small ISPs have written to Pai expressing support of his plans to dismantle the rules. Others have written him expressing disagreement with those plans. This is all a far cry from calling somebody a nonsensical shill, a liar, and so on. And in the vitriol on both sides, I find most have very little understanding of what it is they're even getting so riled up about.

--

Out of curiosity, if you would humor me. Why do you think Google Fiber failed to achieve significant sign ups in the region it setup in? In the ~6 years of operation to 2016 it managed an estimated 0.07million television subscribers, 0.45 million broadband subscribers. They've since rolled back further plans for expansion and engaged in lay offs in downsizing. Imagine the doomsday scenarios come true and suddenly ISPs are demanding $10 for social media, $10 for gaming, ... . What effect, if any, do you think this would have on the outcome?

[1] - https://www.npr.org/sections/alltechconsidered/2017/05/05/52...

[2] - https://www.cnet.com/news/fcc-chair-dishes-on-plan-to-rewrit...

[3] - https://www.recode.net/2017/5/5/15560150/transcript-fcc-chai...
Best thing I ever did for tmux was change the command key prefix to "C-\". With caps lock mapped to control, this makes tmux commands available with almost no hand motion, just a slight reaching out with the pinkies. It also restores access to C-b for "back one character" in emacs and all programs using emacs key bindings, which is hardwired into my fingers at this point. (You're blocking emacs' function "toggle-input-method" - "Enable or disable multilingual text input method for the current buffer". For some users that would probably be an issue, but hasn't been for me.)

Another useful thing is to "bind-key C-\ last-window". That makes C-\ C-\ jump back to the last window you visited, which facilitates creating short-lived windows for specific tasks.

Final small tweak I like is "set -g base-index 1" so that C-\ 1 is the first window, 2 is the next, etc. instead of having the first window way over on 0.

My other tweaks are probably more idiosyncratic to my workflow.
This is why the expectation of infinite growth is not a good thing. Lack of scalability was Etsy’s unique value proposition and competitive advantage. They gave it up in order to grow and as a result have become indistinguishable from many chain art supply stores.
I agree with all of this for products. To a first approximation, you want to bump your head into reality as often as possible.

But I would say software architecture matters more for infrastructure like storage systems, operating systems, and programming languages than it does for products. I think a lot of the literature on software architecture is about those domains.

Those things are harder to do iteratively. And language choice matters more in those domains.

Programming is a huge field now, and a lot of choices are domain-specific. Including how much you should care about architecture and programming languages.
One of the ways we bond with others, is by exposing our vulnerabilities to build trust. I think the author's right, in that showing a bit of the painful part of life helps make friends. And really, aren't real friends the ones that also stick with you when things aren't going great?

I definitely agree with your last paragraph, though.
Get a dock
Install the facebook app on lineageOS, open up privacy guardian, and see for yourself exactly how often it uses your microphone. It's definitely not listening to everything you say.
I'm not sure what's judgemental about saying I hope most people like being alive. I'm also not sure what I did to ostracize the author.

I also didn't say they had depression, just that they seemed depressed (aka. unhappy).
Yeah you're right the curve was entirely driven by the world wars and cold war. It's not just purse strings, but collective purpose, need, and oversight that drove the curve.
But I don’t want to have to wait until Seattle gets nuked before we do something about our problems.
Common Lisp has value types, it is not all about lists.

Likewise Java has primitive types, arrays and eventually will get value types, because they already feel the pressure in FinTech of not having them.
I use a fair number of add-ons but there are now compatible versions for just about everything. Exceptions are things like Video Download Helper that's moved some functionality into the external format converter program it already had, but since I was rarely actually using it anyway it's not impacted me yet.
This is pretty much impossible to debunk because:

A) Given Facebooks policy of A/B testing, it almost certainly isn't listening all the time.

and more importantly,

B) Now that everyone is talking about it, Facebook would have been stupid NOT to turn it off at least for now.
Or cast a net.
I had the opposite feeling. I wrote my PhD thesis in 1998-2000 and the editor of choice at the time was Word.
It was a pain to deal with the formatting, spacing, page breaking and other -ings.

I then tried LaTeX and all problems vanished. Since I could not influence the output (at least without a lot of work) I simply gave up and started to "code my text". It was way faster than admiring my artful working all the time, I just complied the text from time to time and I was done.

This is how I see Markdown today.
Still wondering why they are being taught in programming courses.

Although they are so many things that are taught, that should never be used in the real world.
I believe that facebook in no way can accomplish this at scale without getting caught.

Even so, i recon that your approach to test them is flawed, instead you should either of the following:

1. Reverse engineer the applications that has access to actually capture audio from the microphone to start with, i.e. the Messenger app on android.

2. Create a kernel module/microphone driver, which records when and which applications actually access the microphone. If the facebook apps are actually found accessing the microphone outside of a user initiated scope, one could bring the experiment to the next level and record the same audio recoding and save it for later review.

I recon 1. has already been done by several researchers, especially in relation to bug bounty programs etc. but that doesnt really mean that you should try to do it again for your own research.
"U.S. prosecutors have charged eight current and former Volkswagen executives in connection with the diesel emissions cheating probe. Liang is one of the lowest-ranking executives charged so far."

Other executives are charged too.
Without hard evidence (speech processing code, or evidence of the recordings over the wire), it’s reasonable to take the official account at face value. Frankly that account is far creepier. They’ve built AI so smart that it knows what you’re talking about.

Think about it for a minute. Fb and others have so much data on people and have trained algos so well, even they don’t understand how they work so well. It’s not difficult to imagine this is the case; a computer, especially one with extensive data on the lifes, behaviors and thoughts of billions of people, is far smarter and better at predicting behavior than any human could.

Scary is that it’s just the beginning. I fall squarely into the alarmist camp on the AI issue. Not now, but in the long run. One can see how this scenario with the fb ad microphone spying paranoia thats actually 1 million IQ AI flexing its muscle is but the beginning of a slippery slope.
“Relational Databases”
Why not just describe what you wanted to convey via the labels. If you're working on a specific idea, then "people who agree that..." will be more specific and useful than generic labels.
I think the opposite is true: if 95% of the community wants to use something, miners will be dragged along as mining anything else would be unprofitable.
Does anyone have insight as to why they recommend only using Chrome, including using Tor with Chrome and not the Tor browser (fork of Firefox)? Is this just to keep things consistent or are there privacy/security concerns over using Firefox?
> When U.S. President Donald Trump’s critics have demanded to know what his supporters got in exchange for voting for the genital-grabber-in-chief, thus far those supporters have had only one concrete achievement they could really point to: the appointment of Neil Gorsuch to the Supreme Court.

I hate opinion articles like this one.
In regards to B) there would still be a paper trail, in terms of old app versions etc. for ever available.
> BTW, TLA+-style declarative proofs are not always better than Coq-style imperative proofs. They are certainly easier to read (the proof language was designed to be easily readable by humans), but they're sometimes harder to write, because it's largely an iterative trial-and-error process: you first try to prove the entire proposition automatically. If it fails, you look at the error message, try to see the difficulty, and then break the proof down into smaller steps, and so on.

I'd say it still appears to be better than fully-impertive "manual" process. (though I have used neither Coq nor TLA+).

- In Coq, you have to construct the whole proof yourself. Coq system merely verifies what you constructed.

- In TLA+, you need to do 1 or more iterations, but you have the full-weight of the computation behind you, sharing your cognitive load. Your only cognitive load is to think about the critical parts of the proof, if any, and the system will do the rest.

I wonder if the TLA+ system also uses a "database of propositions" behind the scenes to help with faster inference, e.g., something equivalent to Russell and Whitehead's Principia Mathematica (but in a coded form), or like metamath.
Would they even take a chance on this with anyone knowing it’ll eventually be discovered or reverse engineered? Why not take their account at face value? (We’ve built AI that is so smart that it can predict your conversations).
I've been using it for lots of things lately. The last thing was to process ebs volumes that get left behind when leostream deletes instances from it's pools. (we need fresh machines all the time, so that's why we delete these instead of re-using) We have it delete the machine from the pool, and the ami is set to not delete the volume. I use a cloudwatch event to detect this, spin up a new ec2 instance, attach the available volume, process some logs from it and then delete the new ec2 instance along with the volume.
The burden of proof falls on the people making claims that facebook is listening. Absent that, it seems extremely unlikely that facebook is recording audio and no one has posted in outrage about it - streaming audio would be quite conspicuous.

Even more troubling than audio recording in this case is that facebook has so much information about you that they don’t need it. The idea that facebook knows the approximate content of your conversations/thoughts to the point that it seems like they’re listening should be deeply troubling.

If facebook knows the content of your conversation, seemingly before or at the same time that you have it, what does that mean for free will? Agency? (Obviously free will is bs, but most people I’ve talked to refuse to acknowledge that - is this a wake-up call?)

What other predictions can they make? With the level of information given to facebook (browsing history, precise location, when you’re asleep and when you’re awake, and possibly much more, like your cell account info and the TV you watch) they can build a very complete picture of your life, and may even know things about yourself that you don’t know.

Of course, when facebook is actively listening to you (e.g. for facebook messenger) all bets are off. They already read your conversations anyway, so it’s not a far jump.
These people would almost certainly die in the disaster scenario described. You are going to need to know more of the survival basics, like, how do you eat?
Asset bubble != asset inflation.

Bubble implies it has to pop, inflation is just raise in prices overall.

To this moment its unclear if we have a bubble or not.
I personally find the alternative far creepier: that Facebook can figure you out and predict your behaviors even if it doesn’t actively listen.
So payday loans 2.0?
I believe chrome does an outstandingly good job at sandboxing.
Wouldn't a bot be pretty good at capitalization? Seems more plausible that it was written by a German. Afterall, in German, nouns are capitalized.
Firefox is less secure than Chrome, and the Tor browser is much more dangerous than Firefox.

A secondary reason we recommend Chrome is that the FIDO security keys work with that browser, while I believe they don't work yet in Firefox.
The people who believe it’s listening would never accept even the most ironclad “proof” that it’s not. This is a hallmark of conspiracy theorists.

So why bother?
>Specialists with carefully chosen phones can achieve security that is asymptotically as good as a recent iPhone.

Who cares? Security conditional on expertise, extraordinary caution, and time investment is WORTHLESS.

Security is more about guiding (or forcing) human beings to the right behavior than it is about making technical mechanisms available for the willing and able. Your security model should assume that the user is stupid, grossly negligent, and in the case they are the employee or other agent of an organization, somewhat hostile to the interests of the organization.