skysight-inc/HackerNews huggingface dataset:
Here's the Signal version of the riseup.net article:

> Purchase a modern android or iOS device and install Signal. Your communications are now secure.

Given the security provided by signal, why do I need to understand the message authentication schemes, private key management, keyservers, versions, etc.

> The simplicity and strength of PGP is hard to beat. Riseup.net has an entire section mostly about OpenPGP:

Given that, in practice, basically no one's use of PGP provides security or privacy beyond what I get when using Gmail or Outlook, I beg to disagree.

How in god's name can you claim that a 6 page article describing the ~20-30 steps to correctly set up a keyring (oh and then keep up your opsec for the life of your communication because pgp doesn't provide forward secrecy and the protocol makes it possible to transfer plaintexts unencrypted) is simpler than "Install signal, and send messages"?
Announcing a Dead-Simple Command-Line Tool for Text Recognition
I find it unnecessarily difficult to do text recognition on images and documents.

Either it's too cumbersome to set up or too hard to work with the output. Or worse, the text recognition itself fails. (I'm looking at you, tesseract.)

The only service I've found useful is Google Cloud Vision. I do admit the on-boarding process is somewhat cumbersome, but considering how phenomenal the accuracy is and how usable the output is, Google Cloud Vision is worth it.

I want to make text recognition 1) less cumbersome to set up and 2) even easier to work with the output, all while maintaining the phenomenal accuracy of Google's solution.

The culmination of my work is a command-line tool which, I believe, achieves those goals. Simply download the executable and specify the files you want to recognize text in. You get the results as JSON:

$ ./sight receipt_1.pdf invoice.png -o results.json --prompt-api-key

The tool [1] is open source and ships alongside a Go client for the API, which I expose for developers. The API simply expects POST requests of base64-encoded files and returns recognized text as JSON.

Since this is a service, my startup [2] does charge for it: $0.50 per 1,000 pages --- one third the price of Google Cloud Vision and Amazon Textract (both charge $1.50 per 1,000 pages). But every new account gets 1,000 pages for free, to convince you of the quality, speed, and ease of use!

1. https://github.com/siftrics/sight

2. https://siftrics.com/
>I've bought ~10 Ikea mattresses, avoided the cheapest ones of each type, and been pretty happy.

You've bought ten mattresses from them?! In how many years, and for how many people?

I don't think my parents bought ten mattresses in the 20-odd years they had their four kids living at home - and I still sleep on one of them.

Personally I don't trust anything from Ikea anymore. Their quality is such garbage for all their products from furniture to glassware to lamps, I can't give them a dime of my money knowing whatever I buy won't be around next year. Multiply whatever you were going to spend by 1.5 and go to a decent home store, or just go to Target instead.
The Boston plan was to move a lot of younger students to earlier start times. People seem to just shrug this part off for some reason. People talk about the benefit of later start times for teenagers, but the negative impact that earlier start times would have on younger students gets ignored.
Can somebody explain why electricity rates would go negative? That blows my mind.

Edit: also why don’t they just mine some coins?
> I'll just continue to block all Javascript. This allows truly ethical websites to run static ads, and blocks a ton of tracking.

This is definitely a potential approach for 'Pro' users. E.g. those people who understand and can workaround any issues that may arise when JavaScript is not available on a website.

For non-Pro users however, Community Whitelists may be a good alternative. It allows advertising on the small number of websites which do it responsibly while also blocking the potential for tracking across the broader web.

As there is a threshold that a site needs to meet to be on the Community Whitelists, it means that only a small number of sites would be whitelisted and cross-site tracking is still blocked.
Larry Tesler: „Personal History of Modeless Text Editing and Cut/Copy-Paste“
Also: The Rise of "Worse is Better" http://dreamsongs.com/RiseOfWorseIsBetter.html

featuring the MIT vs New Jersey approaches.
I'm somewhat shocked that they do they not load those subsidies onto the electricity charge on consumers as a tax and mean those that use more, pay more. That's what they do in the UK, though alas they loaded it onto the standing charge that is a flat rate per day for having a supply.
Idealy it should be like personal TAX, you have a certain amount you get without being taxed, then after that you pay X amount until you use another threshold and then the tax upon the unit rate of energy is taxed more. That would be the ideal fair way of doing energy. Certainly would be a socially more acceptable way. Of course you can allocate people a higher initial rate they can use without paying tax upon the charge for things like disabilities, health needs etc. Again, be no simple solution, but working on something that sees it paid for fairly always works out best for all as above all, people love fairness. At least, that is how I'd like things done.

But do remember, Germany recently went thru an anti nuclear phase and that forced many coal reactors to carry on longer, so they did need to compensate and a push on solar and wind power was a logical move. How that was subsidies and paid for was and is perhaps an avenue they need to address.

All that said, much respect to the people of Germany for responsibly using energy. That has probably done way more than anything to help.
It's called "Projective Geometric Algebra and Dual Quaternions", and it's on Tuesday, March 17 at 1:20 pm.

https://schedule.gdconf.com/session/math-in-game-development...
>(Unless that's just to deviously throw us off their trail.)

This seems fairly probable.

But, yes, those are all valid points. The Mueller report does not contain the actual hard evidence of the attribution. It contains the full names of the people who registered the account and a lot of the things they did, but it doesn't state the proof of this. I suspect if we all had Top Secret clearances we would probably all be satisfied with the evidence they have, but that's blind speculation of course. A large percentage of it may be Dutch intelligence's findings, which have been widely reported on, but of course you still have to take Dutch intelligence's word for it that they really did compromise GRU computers and observe them.

There is some real evidence (especially released by private security firms) of GRU and SVR hacking the DNC et al., and Guccifer 2.0 is the only one who ever claimed to have the documents discovered during the hack. There's probably a lot of other circumstantial evidence, too. If I get around to writing a long post about all of this, I'll cover everything I can find.
The World Bank's “Papergate”: Development Aid Corruption
Because the German government is paying for renewables, via a tax on electricity, even when there is no additional demand.

They can't turn off power plants, because the renewables are ephemeral.
I'm not accusing them of lying, I'm just saying that CrowdStrike claims are not uninterested third-party claims. On this matter they are not much more trustworthy than their contractors; and they need to present evidence to make their case to the public.
Alexander the Great was the greatest general in ancient history (Hannibal is up there though), and also Greek. Greeks wielded power just like the Romans, there were a few hundred years of Greek hegemony in the eastern Mediterranean after Alexander died.

What the heck do you have against the Roman people? Making value judgements about long dead ancient cultures is really strange, they saw the world much different than us.
Show HN: ProductDump – Community to let other people take over your old projects
Warren Harding
I haven't seen it mentioned yet so don't forget about the dat project: https://github.com/datproject/dat
I'm pretty sure that's 100% a glibc/musl thing.
Seriously? :-(
That is a reasonable question in its own right, but it is not clear to me how the answer to the question would differ if the freedom of the press were based on the principle of corporations having (some of) the rights of individuals, rather than it being expressly, if vaguely, stated in the 1st. amendment.

Ultimately, I think you will find that a great deal of law (and, much more broadly, ethics) comes down to 'I know it when I see it' (or, perhaps, 'we (the people) agree that we know it when we see it'.) This can be a difficult thing for people with a somewhat rigidly rational approach to life to accept.
Control Room – A macOS App to Control the Xcode Simulator
Bizarre that you were downvoted, when your point is spot on.

Yes, heating with a big electric radiator is wasteful. Heating with a heat pump, on the other hand, is fantastically efficient.
The Crop Software Behind Your Daily Cup of Coffee
Revoking 230 would disrupt big sites, but would likely further cement their monopoly. Liability for user generated content means that sites that feature user generated content need to spend a lot of resources on moderation, because the consequences of a false negative are large.

People who talk about section 230 breaking up large companies seem to be harboring the assumption that section 230 will only apply to large companies. This is not the case. It will be a massive blow to any site that features user generated content. A blow that only large sites have the resources to withstand.
This may be slightly OT, but my layperson perspective is for a pre-eminent STEM university, that MIT always seems to lag behind its rivals in deep learning and the latest ml advances were spearheaded at Stanford/Silicon Valley outfits, the Montreal/Toronto academic communities, Caltech and to some extent in the UK. Whereas its background should have made it one of the leaders in the field. Am I overlooking something, or just gross misinformed? Did MIT culturally stay married for a while to the Minsky school of deterministic AI vs. the Big Data statistical approach?
Stop signs are only a suggestion for bikes? I thought that was only true in a few states?
Roku devices also track you, you are not much (at all?) better off.

https://blog.acolyer.org/2020/02/10/watching-you-watch/
Libreri and Sweeney are trying their damnedest to make that true.
I don't care how "groundbreaking" the graphics pipeline. I watched couple of episodes and I had to force myself to keep watching to, I don't know, give it a chance?

I wonder when The Industry figures out the story is more important than the graphics. You don't buy books for beautiful cover and typesetting... at least not most you and not most of the time.
> One reason people were looking for ways to lose money was that, in the U.S., there's a hard income cutoff for a health insurance subsidy at $48,560 for individuals (higher for larger households; $100,400 for a family of four). There are a number of factors that can cause the details to vary (age, location, household size, type of plan), but across all circumstances, it wouldn't have been uncommon for an individual going from one side of the cut-off to the other to have their health insurance cost increase by roughly $7200/yr. That means if an individual buying ACA insurance was going to earn $55k, they'd be better off reducing their income by $6440 and getting under the $48,560 subsidy ceiling than they are earning $55k.

This is an incredibly dumb way to structure things.
My partner is a vegetarian and a good cook so we don't serve meat at home. Consequentially I eat less meat now; I eat less meat also because the meat quality isn't very good unless you go to a very good restaurant and that is not 100% guaranteed either. I've got a friend who ran a restaurant business and was shocked to learn the price of the chicken was suspiciously low. After doing some digging I realized what most meat we eat, how it is produced, what animals are fed and all the antibiotics they're fed are quite bad for us. I frankly lost my appetite for meat. I started eating more fish instead, not a very good decision either but nonetheless better imho. I still eat meat but not too often, not sure if I'll ever become a fulltime vegetarian.

Second, I stopped drinking alcohol excessively and completely stopped eating sugary drinks or sugary things in general. Rarely whenever I eat something sugary, because I'm no longer used to it, it makes me very nauseous.
What I really wish for is a simple way of running docker containers (like AWS Fargate, or at least ECS), because I want to run docker containers across multiple droplets, but I don't want the full complexity of Kubernetes. Also something akin to auto-scaling groups. If DO had those, I'd use it a whole lot more than I do (currently I only spend use approx. $140/month on DO).
The other choice is that your QA teams knows this DSL tho. Which is the point: eventually most DSLs converge on the complexity of programming languages and you’re left asking: why not just use a well known programming language in the first place?

We’ve beat the Ansible example to death but it’s a really good one. It started as something simple and then with every edge case came the need for increasingly complex logic until it resembled a programming language just with super funky syntax.
My brother is just five minutes downtown so we have coffee often. Since I make the best coffee we usually hang out here.
They're probably not best at any of portability, isolation, or security (they probably lose to full VMs on all counts). But they're good enough and way more convenient / easier to use.
Said another way, none of us need to buy mattresses often enough that we are mattress-buying-experts, so we're chumps easily taken advantage of.

This could apply to cars (and it does a bit) but the higher price and social factor makes people understand them more. Mattresses are just cheap enough (with just enough "bargains") that it's easier to just get it over with.

For your last point I'm from Australia so our brands are different but we have plenty of the online foam mattresses. I got one because mattress stores felt a lot like a car sales lot last time - clingy, pressure tactics from someone with a massive information advantage. The online companies all had full refund policies so there's limited risk apart from time.
Is there a link available that's not behind a cookie wall?
It's a pretty fun way to code. There's the #tweetcart hashtag which has been used for PICO-8 programmers to showcase their tweet-sized code and the results as a GIF recorded from PICO.
Useful Daily Habits
Funny coincidence that I am working on an iOS app and was looking for something similar just couple days ago. I ended up building something but your swift solution seems much better than what I have so I will switch to yours. Thank you!
The term "electric" does mean something different when it comes to heating. Not a heat pump, but large resistors with low resistance.
I would advise changing your email passwords and since you are now a target, try to get some kind of 2fa
Reading this thread it appears high school in the US starts a lot earlier than in the UK.

Even the article states: "We show that a delay in the high school start times from 7:50 to 8:45 a.m. had several measurable benefits for students".

In my experience at least, high school in the UK doesn't start earlier than 9am and usually starts at 9:30am. End of day is about 3:30/4:00pm.

What's the reasoning for starting to early in the US?
Well, it's interesting.

If you wanted to buy a BMW with 250hp in 1996 that would run 0-60 in about 5.5s and seat four adults, you were going to be buying an M3 for about $40,000.

If you want to do the same thing in 2020, you're going to buy a 330i for almost the exact same money only with a bunch more safety tech, 50% better fuel economy, more luggage space, more passenger space ...
(author here)

There are indeed several interesting lines of work on automated approaches to complexity analysis, using various techniques. To name a few, these include the very cool work of Jan Hoffmann and others on RAML (http://raml.co), relying on a a type-based analysis, or the work of Dan Licata, Norman Danner and others on "recurrence extraction", which is closer to what you mention (a program is turned into a recurrence equation which can be in turn analyzed further to deduce its complexity).

The strengths of the approach (based on a program logic and formal proofs) that we demonstrate in the work linked here, is basically that it scales up to very complicated programs and/or very subtle complexity analysis.

Automated approaches are intrinsically limited in the class of programs they can handle (often, they either handle purely functional programs, or first-order integer-manipulating C-like programs), and in the class of complexity bounds that they can infer without human assistance (most of the time, only polynomial bounds, no log/polylog/...).

We do require a (very qualified!) human to carry out the formal proof, but in return we get a system that can handle higher-order code with mutable data structures, and subtle complexity analysis that do depend on the functional correctness of the overall algorithm. This is something that an automated tool cannot hope to achieve in a press-button fashion.

In case some people would like to know more about the various approaches to (formal) time-complexity analysis, I should mention that the related work section of my PhD thesis contains such an overview :-) (http://gallium.inria.fr/~agueneau/phd/manuscript.pdf)
Washing clothes with publicly collected urine was done as recently as the 1800s in many parts of colonial pre-federation Australia.
> Electric heating via heat pump is ridiculously efficient

Strictly speaking that's "electrically assisted" heating. What most people refer to as electric heating is the conversion of electricity directly into heat, eg. by a resistive element.
EXtern OS – A Node.js Based Linux Distribution
You made a positive claim that the two had nothing to do with one another. The kind of evidence that could prove that might include logs of conversations between Twitter execs and reps of Saudi investors.

I agree that nothing has come to light demonstrating that their was behind-the-scenes influence in aid of this. But absence of evidence is not evidence of absence.
I'm not sure if its universal, but in my district the biggest reason - or at least the most often stated challenge to changing the times for high school - is that we have limited buses that service the high school first, then middle and then elementary.
Less "the way they see fit" and more "only remove criminal activity".
You have too much energy and you need to get rid off it.
AMD Ryzen
Note - this seems to be about 20 years old. The nearest stars list is different now plus so many discovered planets.
I also got a firm IKEA foam mattress (MATRAND) a couple months ago and I was sleeping better from the first night, and a couple more nights and the knots in my shoulders were gone.

Also, at least in NYC it’s flat rate $50 for home delivery. I ordered on a Wednesday night and was delivered to me that Friday afternoon :) very happy with my cheap ikea mattress.
I mean, you're not wrong that corruption is a bigger problem in many countries than it is in the USA (which I guess you see similar to how I've heard many Chinese see the CCP). But saying all "second or third world countries" (whatever would even fit that definition) is quite a generalisation. Even within your definition of first world countries where there isn't (much/any) corruption, why should an Austrian be loyal to Sweden and pass any background checks?
The market value to me, to be honest, was learning to be a better cook.
Alas, I suspect I'm not FP-ish enough for that role, but I appreciate you pointing it out. Good luck with your efforts!
I hate the current method used to calculate the CPI.

I am boring I prefer to use oz of gold. Yes, gold is very volatile but the US dollar is very volatile.

Gold 1985 USD 327 per oz, therefore, the car is $17,900/ 327 = 54.74 AU oz

Gold 2018 = $1320 per oz

Car $26,300 , therefore, car = $26,900/1320 = AU 20.37 oz

The car is dropped by 2/3 in terms of gold.
Yes, probably it would not be making enough money to sustain operation.

But I still think that we (as a world) should start capture carbon actively during this decade. Last summer in Europe was hottest yet and with such hot winter we are for even hotter summer this year. Keeping energy prices up would be just added benefit.
IRS would do well catching tax evasion by running some statistic models to find suspicious discontinuities.
1) Implement a carbon tax (price on carbon)

2) Build a CCS Plant [1]

3) Run CCS plant using renewable energy. Charge your customers (people who need to offset their carbon footprint by buying carbon credits, such as big industry).

4) Profit

[1] http://www.ccsassociation.org/what-is-ccs/
I can almost guarantee you that they are building this to address some specific NSA problem and their entire business strategy hinges on getting a massive DoD contract
Coronavirus takes heavy toll on airlines and shipping firms
Nominal relative to the sums alleged re: emoluments and other intakes of money such as secret service lodging snd not paying city security bills for police at his rallies. Those are in the millions.

You focussed on that and not the central point that your interpretation for dismissal of the court case was incorrect. It has nothing to do with his salary.
Why homes in the Bay Area are unaffordable
The State of Malware according to Malwarebytes [pdf]
I can't press the Like button, nor respawn. Good job nonetheless!!
> A statistical argument based on a reduction of overall fatalities including a number of new kinds of accidents will not be accepted.

I think what would be accepted is if the self-driving car would have capabilities that surpass the best human driver (as opposed to the "average" driver). But we're a long way from that.
This happens when the electricity supply is higher than the demand. It only affects the wholesale rate, not consumer rates (at least in Uk and US)

Normally supply and demand need to be matched to obtain a balance. If the supply is not enough for demand then the frequency drops below 50Hz, if it drops too low bad things happen.
Announcing TypeScript 3.8
Look at the ceiling, you can see it moving.
Ok, I'll keep digging to figure out where the problem might be, thanks!
The issue with heat pumps is you may need far less heat at 15c when their very efficient than at -15c when their not. Couple that with the losses from heat to electricity at power plants and burning natural gas at home is about as efficient on average depending on your area.

So, it really does depend on how cold it gets where you are if it’s better to burn fuel at home or at a powerplant.

PS: Solar hot water heaters are generally the best overall option any place heat pumps are actually efficient.
About encourage domestic consumption: the local power infrastructure does not have enough capacity to distribute all the energy produced by wind turbines (in the north) across the country.
Command-Line Text Recognition
In my country there is no really the concept of the "school bus". Google Maps says I walked exactly 1.0 miles... climbing a mountain, because my school was in the freaking top of a mountain. In some parts climbs were so steep that nowadays there are escalators on the streets.

I did that from 4 to 18 yo. It did never bother me, sometimes I literally did the whole way back running non-stop for fun, it was kind of like a roller coaster. But:

- Weather was generally good

- I obviously didn't walk alone when I was 4 yo.

We don't even know the age of those kids. Maybe they will walk to school alone... when they are older.
My experience here is different. The majority of manual QA I've worked with do not have experience with automation, nor do they know JavaScript.
Are you a new grad or experienced?