skysight-inc/HackerNews huggingface dataset:
There are a number of subject/verb agreement issues ("All the process ... take place") and such but mostly it's an issue of odd clause construction and word choice, with some run-on sentences.

For example: "Never delay your client to wait for an NDA." A more idiomatic version would be "Never make your client wait for an NDA" or perhaps "Never let waiting on an NDA delay your clients."
The actual act of taking the information and processing it into your own words, and then also the act of actually writing those words down, has been shown to improve memory retention and understanding of that information over what you would get from simply reading the same information in a textbook.
He wasn't referring to the distance away from the screen, but rather the size of the screen -- if you quadruple the area of the screen from 24 inches to 48 inches and also quadruple the number of pixels then there are the same number of pixels per unit area, which means if you get a larger screen and it is too large, just use a subset of it and you can emulate any smaller-sized screen without having larger pixels.
I'm a smart guy with a good degree. I still wouldn't represent myself in a court, or diagnose my own medical ailments, or file my own accounts. Why would I think I could pick stocks better than a professional?
Using text labels to associate the color chips could work too.

Even color blind people know Ocean = Blue if given simple terms like you have. :)
I would say this is more like twitch/periscope in a box than youtube in a box, most of these products are based around live streaming which has traditionally been a trickier problem to solve.

Depending on the pricing it could become feasible for twitch and periscope users to have their own site with their own stream and ads inserted, while still streaming to facebook live/periscope/twitch etc. I wonder if these products support parallel streaming to facebook live out of the box?
"is turning out"? It's been a long time...
There's been studies that found the rich don't leave a place due to taxes.

I.E. California has one of the biggest economies in the world...

http://minnesota.publicradio.org/features/2011/02/documents/...
Have there been any updates on low power RAM though?
Tether was hacked by the same person who hacked Bitstamp
‘Look at your wrists. There – at any time – lies freedom.’ — Seneca

That is the only freedom in the absolute sense you’re peddling

A bit much maybe, but stoicism has been correlated to happiness.

My point being is you’re tethered to how your culture works.

Is it free to be told work in our factory or go hungry?

Don’t be so full of yourself. You had to wrangle and barter to get the “machine which you own”. You have no ability to materialize it from thin air

Fighting over access by competing for that job. Fighting to keep the power on in competition with other users needs

It was the same as you describe with the bread

Except in a UBI system the assumptions change from “make enough bread for the moneyed” to “make enough for all”

You seem to realize your current reality is the raw fight for life, but are projecting it on things you’ve never experienced
You're right. I've never even heard of ParameterStore before.
Good point. It's just that things keep getting worse and worse.

And we are enablers of this BS (I sure am.)
The fundamental characteristic of money laundering is that after money is laundered it is in fact clean money and it is not possible for another entity to reach out and get it because the entity that a claim on the dirty money. That's why those with dirty money are willing to pay 20-40% for it.

That's for example, why uncut diamonds are so popular - diamond sourcing business is largely a cash business operating in the grey area - dealers act as mixers of currency sell uncut diamonds for $X. The buyer takes the diamond to a jeweler, gets a finished product, sells it to a different jawler for $Y where $Y is 20-40% lower than $X and that $Y is nearly impossible to link to the initial $X.

Carders cannot do this because no one in businesses like this takes credit cards as the transactions simply gets reversed by the issuing bank at which point whoever was the first hop of the transaction gets money crawled back from him/her.
Wow! Yes, this seems much better. The key opportunity of being all together in a room is interactivity. Large lectures mostly waste that: the time gap between having a question and getting it answered can be large. (E.g., having to wait until discussion section puts a gap of hours to days between the Q and the A.)

But when I'm trying to apply the material, I'm not in passive listening mode. There, hopefully my feedback loop with the material is in the seconds-to-minutes range. If I'm stuck, being able to get a question answered can keep me in the zone of fast learning.
He isn’t African, the ICC won’t bother and everyone involved knows it.
Hipster way to say "stealing" ;)
Can't they use something better than SlideShare? I can't even display it fullscreen on mobile. Even a stupid old PDF would be far better than promoting this commercial crap.
Isn't everything subjective? If there is an objective way, then we wouldn't be having this conversation. I based on my own experience and my family's experience. My dad can sell his insurance which worth at least half a million after 20 years of investment.
It had already been cut via sequestration under Obama (although ironically the Republicans were more to blame for this in my opinion). Couldn't cut much more than that without doing something to improve efficiency. Looks like that isn't going to last under the current administration though, I would be surprised if we end up with a much larger military budget.
I'd also be interested in effect on resource consumption.

GDP isn't everything. I can't say it better than Kennedy: https://www.youtube.com/watch?v=77IdKFqXbUY
Do you have a website or email I can contact you at?
The status quo is actually hating on Trump and attempting to shove politics down every last crevice of the universe.

I think in fact The Guardian and most other "journalistic" outlets are a tad bit jealous of Taylor Swift, as she is one of the very few public people/entities these days who seems to be able to garner attention, and importantly rake it shit tons of money, without resorting to daily Trump outrage spam and culture war nonsense.

I guarantee you rags like The Guardian are shaking in their boots at the eventual prospect of Trump being out of office. They might want to take a lesson from Ms. Swift and learn to create actual quality content to prepare for that coming day of reckoning.
I feel a lot of people disagree with us. Unexpected, but too bad. We live in our subjective fantasy.
The basic problem with AlphaGo Zero is that the state of a Go game is fully deterministic, fully Markovian, and fully amenable to quick simulation. The player makes a move, and the simulator computes the next game-state in milliseconds from only the current game-state. This is what lets the AlphaGo Zero agent train so quickly on self-play.

If you start requiring high-dimensional empirical data where the generating dynamics aren't Markovian (or aren't neatly predictable with a Markovian simulator, even if God considers them fully determined), you start having to do stuff like full-blown physics simulations while also specifying agent goals in terms of those physical states. Then you've got the machine learning part and the simulation part taking up comparable amounts of compute power, and self-supervised training becomes much more difficult.
If everyone's being paid $1000 per month more, you'd expect all jobs to pay less, and the profits from companies used to pay for it.
This seems awesome. I can’t get it to play from my phone but the concept is really really useful. I used to want to make something like this for audio-based exams for people with dyslexia, for example. In Ireland people with reading difficulties have a person sit with them and read the questions in a whole other room. It’s expensive compared to just having a group with headphones working through on computers.
> I would expect any practical formalism to have escape hatches, just as I expect any practical type system to allow casting - and I find it absurd to see either as a downside for the language.

Sure, but not every formalism needs the escape hatch to do IO. I don't see it as a downside. FP is beautifully adapted to sequential programs, perhaps more so than other formalisms. It's not the best fit for interactive/concurrent. Also, an unappealing property to one may not be a problem at all to another. You may not be bothered by this, but I am, and that's OK. I like Java, and I assume you like it less, and that's OK, too.

> If another program overwrites fac.txt then the semantics you gave in your ghost variables and assertions example would be simple, natural, and wrong

If another program overwrites fac.txt, I cannot assume `readFile` to return anything other than a string, if that. I.e., I have nondeterminism about the next state. That's fine, because the next-state relation need not be a function, but you're right that in that case the semantics would be different from the other programs.

> Really they're equivalent for the purposes of some kinds of analysis under certain constraints and they're not equivalent for other purposes.

No. A specific denotational semantics is either equivalent for those programs or not. I can either guarantee that the next state is deterministic, or I can't. However, you are right that using this kind of semantics can create a situation where one program is a refinement of another. For example, one program can say that the current and next values of the variable x are even integers. Another can say that they're always 2 or 4. This makes program 2 an instance of program 1. Just as in FP you have the notion of a cartesian-closed category (sort of) on types, where every program is an object in that category, in this other kind of formalism you have a lattice that relates all programs. It's just a different theory.

> The functional formalism handles this essentially as well as possible

Not really, because IO is essentially nondeterministic, and functions don't model nondeterminism well (but relations do!). That's exactly why you need to stuff IO, or anything else that doesn't quite fit the concept of a function, in a monad (which can express all forms of nondeterminism). It's a neat trick, but, like you say, it's sort of an escape hatch. That doesn't mean that all formalisms need to do this for IO, concurrency or other forms of nondeterminism. Functions aren't a great fit for nondeterminism, but other mathematical objects really have no problem with it.
I would be interested in the "Why" another form project. I haven't found the exact form solution I want, so it would be nice to know the motivations for this project vs the other offerings so I can easier see they align with my concerns.
Show HN: Messages by the community, forever etched on the Blockchain
We are using https://github.com/janeczku/haproxy-acme-validation-plugin to provide ACME support directly in HAProxy without an extra backend. Example:

frontend example.com
bind 192.168.1.100:80

# Redirect ACME domain validations
acl url_acme_http01 path_beg /.well-known/acme-challenge/
http-request use-service lua.acme-http01 if METH_GET url_acme_http01

# Redirect all plain HTTP traffic to HTTPS
redirect scheme https code 301 if !{ ssl_fc }
The ability to stick your hand up and ask a question is orders of magnitude more valuable than a rewind button.
Before and after: How Dogpatch and Mission Bay have been transformed in a decade
Ah, gotcha. I misinterpreted there.
I feel like this game missed a naming opportunity to call it something like “Ektoglorpp” :-)

Brilliant concept.
Don't forget economic productivity.
React JavaScript for Design Prototyping
There's also no such thing as "schizotypical" personality disorder. It's schizotypal.
> Time Tracking

Check out https://wakatime.com to for automated time tracking.
`!pip install numpy` in a notebook, or "new" > "terminal" and you have a shell...
This is not convincing in the slightest... and a great example of why proponents of basic income need to up their game.
Requiring 50% to be saved is a good move, I might steal that. I think I might also do a "match" to a Roth IRA when they're older and actually earning taxable income.

My mom never tied allowance to chores, we were just expected to do chores. The problem with tying them together is that at some point the kid will just opt out and you have no leverage. I had a bank account but we were never diligent about deposits so saving was harder for me as a young adult.
There's some further analysis of their finances and strategy in this recent piece from The Drum: http://www.thedrum.com/opinion/2017/10/26/how-the-guardian-f...
There's a page about transparent DNS proxies [0] on the same site. They also have a page about how to fix dns leaks when using OpenVPN [1].

One way to ensure that DNS responses have not been tampered with is to use DNSCrypt [2].

Can someone confirm that I understand this correctly : if I don't use DNSCrypt and if my DNS responses are tampered with in a phishing attempt, on a site that uses https, the browser will raise a cert error since the attacker won't have a valid certificate. So phishing attempts by spoofing DNS responses are only effective when the site uses plain http.

[0] https://www.dnsleaktest.com/what-is-transparent-dns-proxy.ht...

[1] https://www.dnsleaktest.com/how-to-fix-a-dns-leak.html

[2] https://dnscrypt.org/
That's entirely unhelpful for the call stack, values stored in registers, loading and storing other sizes, atomics, etc...

Wasm solves that because it's aware of what it's doing. Java et al do not.
Category: python-internals
Your explore page is based on accounts you interact with most. So those posts are a reflection of what you are saving, liking, viewing
Not Germany waging two world wars? Germany in 1910 was dynamic, and due to those wars they lost multiple generations and at least a third of their land.

Germany recovered from that within 40 years. The Iraq war was a disaster, but there's nothing especially trying about recovering from that given time.
Were they ever very innovative? Their initial success was pretty much based on having a bunch of investment capital and using it to kill their competition and grab market share without making profits for many years. Is it really very difficult to become an 'innovative' giant corporation when you've captured a huge part of the market like that?
Could you elaborate? I often considered that setup but never put anything live.
Well, not always or not always like that. For example, I use VPN so I can achieve my true download speed when downloading from Steam, since my ISP limits to download speed in that case.
It is working in my community. http://www.berkeleyside.com/ has run a (very modest) profit for the last two years and continued to expand. Their focus is the greater Berkeley area; a population of about 350,000. It is a more educated and well-off population than national averages. The revenue split is 65-35% between supporters and advertising. They've also recently done a direct public offering of stock allowing for $800K in investment.

Local news, supported locally is possible.
If I have my laptop or phone our during a meeting it's because I've either already had this meeting with whoever if giving out the information and don't need to pay full attention to it or I'm in a meeting that I shouldnt be in because I have nothing to add.

I assume everyone else is the same way and It's a really easy way to tell who does and doesnt need to be in future meetings for me.
Just that it's easy to fall into a spiral. Also, if you can't move and don't eat out, your food and housing costs are mostly immutable.
My understanding is that this was commentary by the head of the IT staff, Karl-Heinz Schneider. I was thinking a slew of staff (plural, not singular) were raising a clarion call about this, but it's just one guy.
> Students writing by hand had to process and condense the spoken material simply to enable their pens to keep up with the lecture. Indeed, the notes of the laptop users more closely resembled transcripts than lecture summaries. The handwritten versions were more succinct but included the salient issues discussed in the lecture.

This seems to be the key point -- when taking notes by hand, you have to think about what you're hearing and writing down. In a way, you're translating the lecturer's language to your own, and that seems to help retain the information better.
SaaS Metrics Generator
Show HN: A stock-picking helper for DIY investors
>I've seen this same line of criticism before of the way in which AI systems have been generally designed for decades and to me it rings true. Things like the Turing award arguably lead researchers astray. Essentially, the crux of the argument is that most people focus on climbing trees to achieve success when the real goal is reaching the moon or they build better springs when the real goal is achieving flight. [1] Both show some short-term improvements on certain heuristics, but they are obviously the wrong approach if you want serious breakthroughs.

Basically, we incentivize researchers to work on the most near-term solvable problems, rather than the most difficult problems where we understand how to check for a solution -- let alone to work on developing the solution-properties we can check, to get past wholesale conceptual confusions.
State and local taxes won't be deductible from federal taxes under the new Trump tax plan.

The story is going to be rather different in that situation, I would bet.
This is an app intended to help people sort through massive amounts of market data to make informed and independent investment decisions.

At this time, it can make stock-pick recommendations for your investment strategy. I'm planning to add a backtesting feature that tests real-world performance of your strategy.

Any feedback welcome. At this stage, I'd be willing to build in features just for you ;)
Yeah that comparison isn't really relevant. I believe it would be more like:

McDonalds has successfully convinced people that it's not worth cooking food at home anymore.
Yep. Maybe it's the hourly posts to HN about how great an opportunity it is. Maybe it's the constant need of every Bitcoin "investor" to talk about the price (not value).

To me its just another way wealthy people increase their wealth and avoid paying taxes. No different then a bunch of hedge fund bros talking about using offshore accounts and fake charities to avoid paying taxes.
I live on 18k/year in a HCOL area. Don't tell me it can't be done.
> If you're in the top 1% or 0.1% intellectually

How are you measuring this? Are you equating being at an elite institution or have a (currently) rare and valuable skillset with intellect?

And/or are you reducing 'intellect' in this post to only mean logical/mathematical prowess?
There was an experiment in Canada in the 70s, Mincome. It went really well, from everything I can find about it, with increased school attendance and decreased hospital visits.

https://en.wikipedia.org/wiki/Mincome
We compared our OSQP solver to other general-purpose solvers. That's why we chose GUROBI and Mosek. There are also examples of control problems for which it is possible to design very efficient tailored methods. However our point is not to compare our solver to specific methods for certain classes (like libsvm).

In the benchmarks we are comparing examples with randomly generated data because we were interested in ~1400 problems in a range from 100 to 10 million nonzeros. The examples are not just random QPs, but data are generated in a reasonable manner and they have the same structure as problems people would actually solve in practice. In the arXiv paper we described in detail how we generated and checked optimality for the examples.

As mentioned in the README of the repository that you checked out (https://github.com/oxfordcontrol/osqp_benchmarks) we used the conversion scripts from here: https://github.com/YimingYAN/QP-Test-Problems

If you know better ways to convert the Maros problems (or other QP/LP benchmarks) to mat files or other formats compatible with Python, please let me know. I would be happy to try them.
Please link me to any other article from The Guardian complaining about one of the scores of other popular music artists who have also said nothing about Trump.
You realise that one of the reasons for taking the observer was Clive James TV reviews like wise the Late Simon Hoggarts political diary in the Guardian.
Ignoring whether the study's assumptions are accurate, one problem with this sort of rhetoric is that "the US economy" isn't a political constituency. There's just people, and their claims on the economy in terms of personal wealth and income.

It's sort of like when you say "NAFTA grows the US economy but $1 trillion" and the guy who's job was outsourced to Mexico ask "Okay, but how does that help me make rent or buy groceries for my family?"?

Basic Income (and other welfare schemes) are like that too, except for the rich. They're absolutely worse off if the economy grows 10% but their personal wealth and income declines by 20%.

Personally I'm a fan of UBI, but I sell it as (1) welfare is the right thing to do, and (2) UBI is the most efficient way to do it.

I'd probably start with something less than $1,000/month though. I'd offer a package deal to employers and the rich that looks like this: the government will pay healthcare costs and provide $500/month to each adult and $250/month for each child, and in return we abolish the minimum wage.
Same here, it turns me away. If somebody has to tell me what a cool geek girl they are to try and buy credibility, then they are already losing. Maybe I'm just cynical, but my BS detector starts alerting. A real technologist doesn't have to advertise the fact.

I'd rather just read what the author has to say and not even notice who is behind the keyboard.
I avoided taking notes for much of college, except of key things I wanted to come back to on my own. So many people try to capture the whole content of a lecture in notes, but to me that’s more like transcribing than processing. What I found was if I listen like it’s a conversation, I can enjoy the lecture but then also have time to make connections and think about things. My notes did not reflect the lecture content itself, but instead were my own associations, reactione, and things I found interesting. But we are indeed not all alike.
It must have, if they were. It's still made from eggs, they just make a bunch of liquid egg and then make it into these shapes and freeze them & ship to restaurants. The scrambled eggs in the big breakfast weren't frozen, though. They could made with the sort-of-real liquid egg stuff or just fresh eggs, I'm not sure.
This.

Often, the top 50 or so posts will remain relatively static for days, while posts like this never make it far enough up the rankings for to actually see them.
One of the arguments against laptops is that even when people are aware of the fact that they shouldn't take verbatim transcriptions, they still tend to do so when using laptops. Hand-writing notes tends to make it almost impossible to write verbatim transcriptions, which forces active listening and processing the information as it comes in.

It's very much a "YMMV" thing, as it's certainly possible to take great notes and listen well while using a laptop, but for the average person, laptops encourage bad meeting/lecture habits.
Welcome to HN!

Any chance of an OS X release?
It's easier to ignore because you don't have to walk into a physical store and see the effects. Instead you see a nice webpage that can ship things to your house in hours.