skysight-inc/HackerNews huggingface dataset:
The Handmaid's Tale - Margaret Atwood

The 4-Hour Body - Tim Ferriss - Lot's of anecdotes from Ferriss' own experiments.

S. - by J.J. Abrams - Layers upon layers. Unlike anything I've read before and a true Abrams experience. Check it out if you haven't heard of it!

Code: The Hidden Language of Computer Hardware and Software -
Charles Petzold - Fascinating PopSci book on the origins of Computers and Code. Each chapter seems to build on the knowledge you've built from previous chapters. Interesting read for the programmer/computer engineer and VERY approachable.
"What are you comparing it to? Where is a comparable executable semantics project in Coq or Isabelle?"

In the others, they tend to do formal semantics of interpreters or compilers then extract them to ML or something. This group uses an executable, rewriting engine to do an executable semantics of a lot of languages which seems to require less people. Perhaps they're doing less on the verification side but what I've seen make me think more should try such methods.

Most work I see posted in formal methods isn't done with rewriting tools like Maude. The ones I see use it get some interesting results for effort put in such as the SCOOP verification. So, I took the time to highlight that they use a different approach with quite a bit of tooling to use that people might want to look into trying. My 2nd reply, jcranmer, had exactly the kind of positive experience I was thinking readers might get out of a follow-up.

"But the field of "formal methods" is enormous, and you seem to be saying that apples are better than oranges."

You wouldn't notice it's enormous with the number of people that use a relatively-small set of tools. Convergence is usually good since ecosystems get built that can make new work easier. Coq and Isabelle/HOL are good examples where people keep plugging in prior work to new work. There's also quite a few more that don't get as much attention. Hence, me highlighting two (Maude and K) that had a series of practical results out of research using it.
Half life is inversely proportional to radiation intensity. The big issue with fission waste products are the nucleotides radioactive enough to kill and long lived enough to be annoying, not the nasty ones that go away in a few decades or the almost inert ones.
I will buy 1 or more condos in tourist destination areas (e.g. disney etc) and do AirBnB.
Intermediaries can be great businesses, and good for the market. See the existence of wholesalers, brokers, etc. Just because the internet makes it easier to disintermediate a business doesn't mean the market forces that created intermediaries in general aren't valuable. News aggregators, price comparators, and online stores like amazon all aggregated various "productive" businesses and produce value for themselves and their customers in the process. Sometimes, DIY isn't the answer for everything; see https://en.wikipedia.org/wiki/Comparative_advantage
I've never seen an ad for Kayak, however I've found some good car rental rates in the last two years using their mobile app.
Looks nice. Seems to do a good job of making the code easy to read.

I'm assuming you started this before mobx state tree? It looks very similar. After much experimentation, MST is where I've decided to spend my time. Like your library, the code ends up readable.
I'm not being lazy. I am saying there is no evidence showing what the person claims. Do you want me to cite a non-existent paper?
Yes, most definitely le tired of having to deal with Flash.
FWIW I've heard of one of those (Kayak), plus Priceline -
and I only used Priceline a few times in college (they turned me off of using these tools).
Great to see them mentioning https://www.webpagetest.org/ one of my favorite tools for optimizing frontend performance.
I came for the technology but stayed for the drama.
Yep, that's the worst. Reordering static-looking buttons is awful, but promoting options in and out of a secondary menu is completely deranged design.
Second that. I tried so many readers after GR was gone and Feedly for the bill.

The key features I need is "read when scrolled" and a clean interface
Here is a Coq formalization of C11: http://robbertkrebbers.nl/research/ch2o/
It only covers a large fragment of C11, but they formalized the operational, axiomatic, and executable semantics and proved that these correspond to each other.
50% of studies can't be reproduced, and 90% are outright false (which makes you wonder about the percent that can be reproduced, but are false) :-)
Even if this did happen I doubt browsers would support it (as already mentioned)
If nostalgia is the problem, it would be far less effort to recompile those games into html5
This ignores all legacy Flash applications, which were designed for the original player (bugs and all). These are the legacy that need to be preserved. Presumably (though I'd love to see counterexamples) most people using Adobe Animate CC (the latest version and rebrand of Flash) these days are targeting HTML5 anyways.
Yeah, I don't like the article much... If you still think DevOps is just the mix of Dev and Ops, you're wrong.
Sourcegraph founder here. The Chrome extension direct link is https://chrome.google.com/webstore/detail/sourcegraph-for-gi.... Thanks for the mention!
One criteria that may soon see a resurgence in popularity is that of morality. [1]

[1] https://www.currentaffairs.org/2017/06/its-basically-just-im...
But hey, string ~20 consecutive 50% improvements together and you're at four orders of magnitude :-)
I put retropie on one, then added a Picade hat to easily connect some real arcade buttons and joystick to play mame games on. I put it inside of an old restored Defender cabinet.

I'm also in the process of building a "magic mirror" which will have some home automation and Google assistant built in.
I use Waze daily to get to work and get back to home. Europe is full with speed traps and total unexpected speed limits. For me Waze is a must have app every time I go somewhere with the car.

I can't say I would ditch my iPhone just because of this (or maybe I would?), but I might get an android phone just to use it with Waze in my car if this really works great...

Apple CarPlay is total useless so far, even to play music from my iPhone in the car, I rather use the built in media app from VW. Apple maps in Europe is a total joke. Many times it tells me I should drive into a one way street or it would try to take me into pedestrian zones...
Do they advertise on TV? If they do, then there's a decent chance my parents (in their 60s) know about them, otherwise it's very unlikely.
- Nonviolent Communication: A Language of Life

- Homo Deus: A Brief History of Tomorrow
how does one climb a hill with no gradient? [serious question]
>I have to admit, that is a reasonable assumption.

I really have to disagree. You get breached, you change your private keys. There shouldn't be a debate about that.
As CG-NAT becomes more common, the "killer app" might be improved experience for gamers.
Long term profits.. Buy apartments. Make sure they are cashflow positive. You might have to start with a duplex.

Using 400k as down payment gives you at least 2mil buying power. There will always be expenses so keep the 100k for that. Build a partnership and the sky's the limit.

Make sure you do the math on expenses and payback period so you'll know your approximate holding period. The problem is that there are many people looking to do the same and bargains are hard to find. It's a lot of work.

Up and coming neighborhoods are probably your best bet. Think gentrification. Great for investors. Sucks for current residents. Always look at the neighborhood and try to project its future.

Stay way from real estate stocks. They are great on the way up -no work, all gains. But on the way down, they'll have to liquidate or go bankrupt leaving you very little protection.

BTW, a big chunk of the real estate billionaires are developers that bought, developed and held for 20-30 years. It's not a business where you need lots of brains but you need lots of patience and sweat equity. FU wealth comes with time and even multiple generations. So the goal is to get to a point where you can meet your expenses and have a nice living ASAP, wait and then go for the ride to wealth. Be ready for multiple ups and downs in real estate. Building relationships helps a lot. There's a reason why the rich have so many parties. It's a way to keep relationships with people you wouldn't otherwise see. Good Luck!
Well, if you can afford a two smaller houses instead of your McMansion, the second house might be able to pay its own mortgage while accumulating in value, in addition to the house you currently live in.
I'd be interested in a compound metric composed of the likelihood ratio and the p-value.

Essentially the more likely your hypothesis, the higher your P value can be, and conversely unlikely hypotheses require stronger evidence.

I don't think this solves the problem but maybe it makes that assumption about the hypothesis likelihood more specific.
The taxes get factored into the price of the land and the house, not rents. If demand for housing falls such that rent does not make owning a house worthwhile, it gets sold (or force-liquidated through foreclosure), and the new owner at a lower cost basis will let it out at market rates.
One risk in buying a huge/expensive house is that you might not use all of it. As a result, you end up paying property taxes and insurance fees for what amounts to underutilized housing space. Then again, if you have the wealth to buy an expensive house, it may not matter as much.
We've been using chrome-remote-interface for test automation in a project that makes heavy use of Lambda for a distributed event processing infrastructure. I'm looking forward to seeing whether we can implement this for running our test automation suite!
Not sure I buy that. The tax and loan guarantee advantages of your primary residence in the US are huge. It's almost certainly more advantageous in most markets[1] to put $N of real estate into a single residence worth $N than it is buy two $N/2 homes and try to rent one. Details matter, talk to an accountant, yada yada.

[1] That is, assuming a decent appreciation of home values. In Detroit, say, this advice wouldn't hold because the homes are worthless investments and you want the rent income instead.
> That said, the magic with having a big options hash in the `@kea({})` call itself is that then you can easily disconnect the logic from your components as your application grows. Here's more information about this: https://kea.js.org/guide/connected

Interesting. I still think these are better modeled (and read) as part of the class declaration. You can do the same thing with mixins:

Transforming that example:

import FeaturesLogic from '../features-logic.js';

@kea
class CounterExampleScene extends FeaturesLogic(Component) {
// no change here
}

Where FeaturesLogic is a JS class mixin: http://justinfagnani.com/2015/12/21/real-mixins-with-javascr...

export const FeaturesLogic = (base) => class extends base {
static actions = ...;
}

> Also, I'm not sure you can do `this.actions` inside a static variable, but I understand the point that you were trying to make.

Not in the current Babel transform, but I thought it may be in the latest unified class fields proposal. I'm digging for it...
Nice! I've been trying to do this but I haven't been able to find a lightning sensor breakout board that doesn't cost an arm and a leg. Can you link me to the one you purchased?
Foxconn to announce new U.S. manufacturing plant
From the site guidelines (https://news.ycombinator.com/newsguidelines.html):

> Please avoid introducing classic flamewar topics unless you have something genuinely new to say about them.

For the record, I'm not the one who downvoted the parent for an honest question.
I have serious doubts they have any room to grow. Seems like their entire business model depends on retaining monopoly pricing power in industries with very few barriers to entry.
The Age of Jihad by Patrick Cockburn.

The brutal, heart-breaking history of the last 20 years of the Middle East. Field journalism at its best.
This is the way to do it. With a nice notebook and a nice pen, writing becomes a pleasure. I has the added benefit of your notes naturally becoming neater.
I know that was the conventional wisdom, from back when backbone links were the bottleneck. But in the modern internet, almost all the congestion is at the edges.

Since most traffic for games is server->client, most of the congestion will happen when several users are competing for the same customer link (DSL or cable modem). This already happens with streaming services, and people just yell at each other to stop downloading updates while I'm watching Netflix.
This sounds like a step in a good direction.

IMHO diff-based code review creates distorted incentives. Moving large pieces of code around feels harder to review, and adding an extra line or two feels easier to review. In the long term, this drives codebases in the wrong direction. (That 900-line method got there through hundreds of innocuous-looking PRs.)

I hope eventually we get tools that make refactorings easy to review. I don't know what that would look like, or how well this can be done in today's languages, but there's room for improvement.
Right now: The Poet by Michael Connelly. Very interesting crime novel.

Before that: Best served cold by Joe Abercrombie. A great fantasy novel, the fourth after the First Law trilogy. I recommend it to fantasy lovers! It is standalone but I recommend reading The First Law first to have more info about characters and the universe of this novel.
the reason I said "be careful" is that I'm a staff scientist who already has done his due diligence, and often, when I ask people to provide refuting studies, they just go on Google Scholar and return with papers whose titles match their pre-existing conclusion. If you try to do that in an academic setting, you'll be laughed out of the room (and nobody will trust what you say any more).

I'm just working to save time by making people who make outrageous claims do the work to produce supporting evidence. I'm really tired of people (especially non-scientists) citing articles they haven't read or aren't qualified to evaluate.
Even if it's not going to be in browsers, I wonder if there's value in open sourcing it so people can create applications that run flash apps.

There's a lot of content out there made with flash, especially games.
Out of curiosity, what fraction of Android OEMs push these security updates promptly (or equivalently what fraction of Android phones receive these kind of updates regularly)?
Dramatic Implications of Humble Gender Pay Gap Reporting
Unfortunately most ruby gems are written with no concept of thread safety. I say this from the perspective of a long time ruby fan, terrified when I hear of critical systems that are running on jruby
for me it is about page loading - pretty much straightforward successful and predictable on HN and slow and/or heavy, jerking current position/scroll around and full of whatever else surprises the page of the source. I want to know what it is about immediately, i.e. basically it is an issue of instant gratification for me :) If information on the HN comments page isn't enough (which is rare), or the source is really vouched/confirmed to be interesting by itself - then i take the bullet.
Not really, for a few moths here I have been bullied by someone already plus a lot of sheep mentality from the crowd...
How are you liking Tools of Titans? Any good take-aways?
Overall, I feel this is a good move by Microsoft. Admittedly from their side, they won't (or cannot) cover all security holes from their system. Asking help from external sources and rewarding them appropriately is also good, allowing them to patch their system. In turn, end users will (hopefully) get an OS that is secure. Win for everyone. Way to go MS!
After the last decade-plus of having car companies try to force you to buy their updated maps, I refuse to buy another car that doesn't include CarPlay support.

I rented a car with CarPlay a couple of months ago and I was surprised at how easy it was to just plug my phone in and get going with it.
"It is actually a fairly amazing tool"

Since I watch formal methods from a distance, I can't really tell how good their approach is versus Microsoft's VCC w/ separation logic, Coq specifications, and so on. I just note they seem to have it easier than most like Coq with their method more flexible than separation logic. How hard do you think it would be for a non-formalist programmer to learn K and start modeling interpreters or compilers in it? Anything you'd recommend to a person trying to learn it in terms of background material?

"One problem with building semantics for Rust is that the language doesn't have a sufficiently formal specification yet."

My solution there was to make the semantics represent the current state of Rust and/or LLVM at any moment. They got the advantage of being the standard implementation. So, the spec needs to do what they do so users don't get inconsistent behavior. Then, the spec work might find errors or validate proposals that can feed back into reference implementations. Finally, as with KCC, the implementation might be useful for looking into compiler errors or subversions.
The question posed here though is explicitly one about problems experienced operating that business though. If you're managing a property, remote or no, you're doing property management.
Very narrow minded. Tens of thousands of games rely on flash, along with many movies and general history of the internet. Open souring it will preserve countless hours of lost work.
I felt the same for a long time. At first glance something like

import Text.Printf

main :: IO ()
main = do
age <- readLn
print (formatAge age)

formatAge :: Int -> String
formatAge age = printf "What, you are %d years old?!?!?! Wow, you are old" age

might look nice and imperative. But then you realize it is just syntactic sugar for `main = readLn >>= printf ...`, which is incredibly confusing when coming from another language. And then you learn that libraries can just invent their own meanings for `>>=` as long as the type signatures match and all bets are off.
The upshot of this is that the code like the one above is easy to test and could be async or parallelized without issue. The downside is that people usually fail several times before finally getting it.

The haskell book[1] is apparently really helpful with this but it also costs 60$ and is over a thousand pages so it's a pretty large investment in both time and money.

[1]: http://haskellbook.com/
Isn't that why Rockefeller went into the railroad industry? He was sick of seeing the transportation layer take all of his profits.
If my favorite part of redux is structuring flows with redux-saga, does mobx-state-tree have a solution for me?

For example, this is nice:

// On login, spin off the auth process. If an error or a logout happens, clean up.
// Be sure to cancel any pending auth request!
// Then get ready for a new login.

function* loginFlow() {
while (true) {
const {user, password} = yield take('LOGIN_REQUEST')
const task = yield fork(authorize, user, password)
const action = yield take(['LOGOUT', 'LOGIN_ERROR'])
if (action.type === 'LOGOUT')
yield cancel(task)
yield call(Api.clearItem, 'token')
}
}

(Genuine question...idk!)
Ruthlessly eat healthy whole foods , limit junk media, daily muscle/tendon/bone strengthening exercise regime on a 'religious' level of importance. Develop a level of body intelligence to combat the dullness learnt from sitting in front of screens for most our developing and adult lives. Learn to feel the inside of your body, the tensions in your head/cranial sacral nerves, inside your tendons, feel the bone marrow at the core of your bones (this last one comes only after decades of practice( if you don't have genetic boost from athletic/physically gifted bloodline) but apparently it's worth it in terms of willful relaxation and awareness of where the days stress has deposited itself). Fast regime in springtime to give liver a chance to rest and clean out system instead of being overloaded with digestive tasks. When everyone worked on the farm years ago, t'was slim pickings come spring, and you didn't get a lot to eat , sugar was a godsend , everyone was poor and you were more 'forced' to eat healthy and pure during springtime. Now it's more of a hard mode hallenree to enter into fasting phase, but usually a HN-reader has the intensity required..' Being socially isolated or lacking a network/community is as bad if not worse than smoking, so, hard as it is in our modern life, seek out a social group to hang out with, esp. important for men as they let these skills diminish as they grow older , letting their wives take up the burden of connecting outwards and setting up social events.
You can drink alcohol but don't let alcohol drink you. Get out into nature more on the weekends, shinrin yoku, trees and plants release stress reducing chemicals for us -- if that's too hard to do -- put a plant in your bedroom.
Why not just use state, which seems like the correct solution to the examples?
Vorkosigan Saga, by Lois McMaster Bujold - some of the books are great, some not so much, and one is like a Harlequin novel in space - not what I was aiming for. Finishing them for completeness, but after 10 or 11 or so, they become boring and mediocre.
Viruses are completely dependent on the rest of life, and so was their origin. They use the same DNA, RNA and proteins as everything else. They certainly didn't arise independently.
There is an all out campaign to remove flash from everything possible. Soon it will be gone from every major browser and phone. That's exactly what this is in response to.

Personally I just want to ensure there's a way for me to go back and look at all the work I did in high school. It's already a pain to figure out how to run my old SWF files, and soon it's going to be nearly impossible.

Maybe I should just snapshot a VM with everything set up correctly?
the FDA is actually very permissive when it comes to food - generally, things are allowed to be in it unless there is strong evidence it's harmful. It's the opposite with drugs.
Bounties for Edge? Isn't it less than 5% in browser market share?

I like the fact they're offering a bounty program, I'm just surprised Edge was included I guess.
Stock Market Wizards by Jack Schwager
It's even more secure after you've lost your second factor.
My bank goes a step farther and requires me to physically show up in their branch office and verify my ID. It has to be the branch near my residence.

It's not a bother since it's a 5 minute walk but I imagine that it would be hard for anyone other than me to actually do this, they'd have to show up there and convince the people there they are actually me (and some of these people now me personally)

I'd say that this would be the optimum in security.
Wireshark is a fantastic tool. If you do any web development also be sure to check out Charles Proxy, it's like Wireshark for HTTP.
Magic the Gathering Online Exchange ;)
I read this as Snakey and it still works :)
Would love to hear how that goes. Please reach out if you have any problems or questions. The easiest way is to ping me on Slack: https://slack.graph.cool
But then since it was from xp and not win7 and you didn't know that, does that mean that your calc.exe is something you downloaded off some random site on the net trusting that it didn't contain malware?
Try payscale.com instead. I've found it to be reasonably accurate.
As someone who owns a couple rental units, the prospect of being a rent-seeking gentrifier or a slumlord
Credit where credit is due; PG never said anything bad about C, quite the opposite. It may be at the bottom of the abstraction pyramid, but it's right up there with Lisp in the power pyramid. They choose different ways to get there, which makes them orthogonal; knowing both means you'll find your way around most languages/problems.