skysight-inc/HackerNews huggingface dataset:
I have been working on a moon-shot project for more than a decade that seeks to model distributed systems as if they were digital logic circuits. One of the natural areas of interest is of course FSM's - in particular declarative specifications of FSM's. I continue to believe (although it's a wildly unpopular notion among some of my machine learning friends) that this obsession with the mechanics of declaring design intent with models and then synthesizing runtime code will fundamentally transform software engineering over time. But, declarative FSM's aren't enough to make it practical IMHO.

I wrote a short essay about this work in which I argue that the software engineering community needs to embrace the design methodologies and rigour of hardware designers: https://medium.com/@alpinelakes/on-monday-i-learned-i-got-ac...

See also: http://blog.encapsule.org/early-encapsule-project-history/20... (old code but same ideas as what I'm building now in Node.js/HTML5 @Encapsule).

Several things I believe are actually essential to make use of any of these ideas at scale:

- There needs to be an ad-hoc extensible standard for notating serialized data with markers, tags, semantics, metadata (whatever you care to call it). It is not practical to do unsupervised feature extraction on internal message streams. And, it's _insanity_ to write/test/maintain custom validation/normalization logic.

- Given the above, FSM declarations must be encoded with labels (as above) so that generic code can easily affect interop.

- Small FSM's are reasonably easy to comprehend. But, very few systems can be modeled with simple FSM's. Rather, real systems can be modeled as complex directed graphs where edges represent the flow of observable state from one FSM to another (vertices represent individual FSM).

- Given that real systems can be modeled using non-trivial graph models of FSM (as above), building reusable components by splicing and dicing the graph up is logically possible. But, this is not something that mortals can do by hand. Considerable tooling is required to make it practical to design systems like this.

If you're interested in these topics, and want to help, look me up @Encapsule.
What recourse does one have when a device is seized? These things aren't cheap and I'd feel a bit better knowing that my sole option wasn't "save up for a new one."
And such news services used to exist, and nobody paid for them once it became free on the Internet. I saw it happen as I grew up--my dad worked in a newsroom as a journalist.
In some jurisdictions, yes. In others, no.

I've tried to make such arguments on behalf of terminated employees in federal district courts in the Fifth Circuit, but have not been successful to date.

But some courts have held that a demand to arbitrate or be fired, and then firing the employee for refusing to sign, is unlawful retaliation when there is a pending claim. See, e.g., Goldsmith v. Bagby Elevator Co., 513 F.3d 1261, 1267-1268 (11th Cir. Ala. 2008):

The main issue in this appeal is whether Bagby Elevator Company was entitled to a judgment as a matter of law against Greg Goldsmith's claim of retaliation when it is undisputed that Goldsmith's employment was terminated based on his refusal to sign a dispute resolution agreement that applied to his charge of racial discrimination pending with the Equal Employment Opportunity Commission. Bagby Elevator appeals a jury verdict that awarded compensatory and punitive damages to Goldsmith based on his complaint of both racial discrimination and retaliation. See 42 U.S.C. § 1981; 42 U.S.C. §§ 2000e-2000e-17. In Weeks v. Harden Manufacturing [1268] Corp., 291 F.3d 1307 (11th Cir. 2002), we ruled that a refusal to sign an arbitration agreement was not a protected activity that could support a claim of retaliation, but we did not address an employee's refusal to sign an agreement that applied to a pending charge of discrimination. Goldsmith was willing to execute an amended dispute resolution agreement that would not have applied to his pending charge, but Bagby Elevator insisted that Goldsmith sign an agreement that applied to the pending charge and fired him immediately after he refused to do so. We conclude that Bagby Elevator was not entitled to a judgment as a matter of law against Goldsmith's claim of retaliation because there was sufficient evidence of a causal relation between the filing of his pending charge and later termination. As a result, we need not decide any issue about the verdict regarding Goldsmith's alternative claim that he was terminated based on his race.
Maybe they are homeless instead of living at home.
I would recommend playing The Dreamhold[1] if you're new to interactive fiction. It was designed to be an intro to IF games.

[1]http://ifdb.tads.org/viewgame?id=3myqnrs64nbtwdaz
We were paying about $650 per month and a $4,000 annual deductible.

Obamacare forced our insurer to cancel our plan.

First lie: "If you like your plan you can keep it".

The new plan was $1,450 per month and a $9,000 annual deductible.

Second lie: "A family will save $2,500 per year".

Even at that, we lost many of the doctors.

Third lie: "If you like your doctor, you can keep your doctor".

There's more in the details (co-pays, etc.). The above would be enough to throw any business person in jail for fraud. Yet we somehow tolerate and rationalize our elected officials behaving this way.

I don't particularly like Trump but if anyone is wondering why he got elected, well, start by understanding the true depths of Obamacare and go from there.
Obvious solution: only accept reviews from customers who actually purchased the product.
People who stop living with their parents are quite likely to move to California (and New York).
That is where the idea for this skill originated but can be used for adding to docs normally
Glad it was helpful! I'm not totally sure where you can get a card similar to the T-Mobile or Google Fi cards outside of the US. I know there are a few "international" sim cards on the market, but I haven't tried any of them myself.

A lot of my Slack integrations these days are powered by Zapier, but for regular dev work + client management, I use simple integrations like Trello, Github, etc. The life-changing part comes from being able to communicate and get updates from the multiple teams I work with in a given day, across multiple companies and groups, in one app that also works on all of my devices.

In my Slack team, I've also set up some private channels where I pipe in things like twitter alerts, flight alerts, etc. so that helps too!
Agreed. If it matters this much to you, better move now.

I'm not even sure that the open source RISC-V initiative might prevent this, as theoretically the NSA could gain access to the manufacturing plant and insert their own core.

The only way to catch that at that point would be to X-ray the chip and look for their mod, or something. Anyway, assume the NSA has access to your shit, focus on preventing the random from grabbing your bank account access and stealing your money.
Bitcoins have no value. Nothing is more an indication of quantitative easing and bubbles and so forth than Bitcoin. A $12 billion market cap, as worthless as the $12 billion valuation of some unicorns.

Warren Buffett and Charlie Munger have both been around 85 years and know when something has value and when it doesn't. "Rat poison" is what Munger calls Bitcoin and Buffett also notes their worthlessness.

Why does a Bitcoin have value? There is no answer to this question. They're as worthless as Ponzi's postal reply coupons. One day, like Flooz and Beenz and other worthless "electronic currencies" before it, Bitcoin will come crashing down into worthlessness.

It's surrounded by scammers - Mt. Gox, Butterfly Labs was raided, on and on. That should tell you something.
Yeah, that's actually supposed to be fun. You have to map it in both directions, like going East will take you to a room, but from that room, you might have to go East to get back to the first room. I do remember feeling a real sense of satisfaction figuring out the thief and the trophy case though.

But yeah, there are much better free Inform/parser games out there that are set in the Zork universe. Even for Infocom, I found Enchanter and Sorcerer much better. (Never finished Spellbreaker.)
Quit thinking in terms of literal two-dimensional graph paper, get a blank sheet and a pencil, and just draw arrows representing paths from point to point (even if they cross in non-Euclidean ways).

I played its variants, _Adventure_ and _Dungeon_, for many many hours when a teen. Pity all my maps, Zorkmids, and rolls of printed transcripts have vanished. Most memorable was an evening having the whole family involved figuring out how to defeat the Cyclops (who was programmed with a surprisingly extensive repertoire of boredom & eating you).
> It's a manufacturing industry where we have relatively advanced machinery to build the houses themselves; you'd think that the cost of housing would have dropped the way, say, cars or silicon has.

I'm not sure why you think that.

Unlike manufacturing cars or silicon, housing has very poor economies of scale. Building 10 houses isn't a whole lot cheaper than building 5.

It's also a lot harder to make more efficient. Housing isn't manufactured in large factories where you can optimize every step of the process—instead, it's done by lots and lots of local firms. This leads to vast differences in the level of efficiency.

There's also the problem that there is still a social stigma against "generic" housing. Having the same phone as everyone else isn't looked down upon, but mass-produced homes carry a definite negative connotation. People look down on cookie-cutter condos or manufactured homes.

> But then, the price of raw unimproved land basically tracks inflation, indicating a competitive market.

Where on earth are you getting that from? Raw land in the middle of nowhere might track inflation, but land near any jobs center certainly doesn't. That's also the explanation of where most of the profits go: to owners of appreciating land in desirable areas, which is a mix of professional speculators/investors and existing homeowners.

Source: Spent Thanksgiving hearing about the frustrations my architect relatives have dealing with different contractors around the country.
Explicitly limiting your consumers to a specific version of another library is a breaking change. You have introduced a very specific dependency and are requiring the consumer to honour it.

By semvar rules you should be updating the major version?
We standardised HTML parsing, is URL parsing really much trickier?

Maybe we need HTML6, with an opt-in doctype and every parser fully defined.
Just world fallacy, perhaps. ;) "The karma will get them eventually!!"
Azure also uses this in their new CLI [0]. The biggest advantage of JMESPath over jq is that JMESPath is a spec, and thus can be implemented in several languages [1].

[0]: https://github.com/Azure/azure-cli
[1]: http://jmespath.org/libraries.html
I've been wearing the same $6 frames from Zenni for the last five years.
In what way is Canada homogeneous? I've never heard anyone say that before. I would think it was much less homogeneous than much of the western world, especially the US. I know Toronto is usually called the most diverse city in the world.
Why do you have access to Python, but not jq?
If you're interesrer in creating modules in golang, check https://github.com/wenerme/go-rm

e.g. https://github.com/redismodule
SEEKING WORK - Atlanta, Georgia (Remote)

Web Design - Web Presence Development

I work to help small businesses establish an online presence. I provide Web Design, Branding, Digital Marketing, and Maintenance services to help road-map and bring clients sustained future success on the web.

I can work with you on the phone, via email, or over Skype.

Website: InfiniteStylesDesign.com
Email: InfiniteStyles.Create@gmail.com
Phone: 678-429-5786
A MACHINE LEARNS TO PREDICT THE STABILITY OF TIGHTLY PACKED PLANETARY SYSTEMS
Great news! You should buy the New York Times. You can even do so monthly!

Their original article on this subject is at http://www.nytimes.com/1994/08/19/business/big-jury-award-fo....

Note how it doesn't lie to you. It's the "just the facts" approach people worship.

Arguably, if they had foreseen what that story would become in mainstream folklore, they would have wanted to add some graphic images etc. But I doubt anybody knew at the time how interested parties would instrumentalize this story.
The standardization is "easy", however we should not forget the browser must support the wrong behavior, because a bunch of applications are expecting that behavior, otherwise the implementation of the "standardised" URL parsing would break the web.
You can construct several plausible hypotheses to explain the data. One is that California's lower percentage may be because many of those surveyed who live in California have parents living in other states.
But see that betrays the hypocrisy in the request. Tight fitting clothing highlights the sexual organ. The absence of clothing does the same thing (and yes in the minds of others). Why you are comfortable with google's insistence of clothing but uncomfortable with the request of others to not wear something that has a similar effect?

So whether I'm interested in your genitalia or not is beside the point. You were trying to draw a false equivalence, I wanted you to understand why it was different for you and not 'half of the office'.
Thanks! I'm working on linking it up an android gateway so anyone who wants to test / try it out only needs a local simcard and the ability to download the gateway software to an android handset. This basically already exists (https://telerivet.com/product/app), it's just a matter of setting everything up.
So, here's the general thought for BTC investing.

If we wanted to give every person on earth some Bitcoin, you would end up with 0.00217700 which is roughly $2 dollars.

If you purchase a full BTC and it becomes huge, you could make your money back easily, but even if you purchase a 1/10th at $70, you would be well off.

I personally set up a weekly buy of like $10 and just move it from an exchange to a wallet I own. You do not need 1000 BTC, 1-2 would be a worthwhile investment if you're up for it.

Source: http://bitcoinsperperson.com/

Warning to anyone doing this: Bitcoin can be addictive, you buy your first half, then you want one, then you want two, then you want five and then you get ten... and then you sell your house.
Once upon a time, games used to require much more work. :) I know someone who finished all the Zorks (I/II/III)... I never did, except maybe Zork Zero which I actually enjoyed the most (it had a "pigeon and perch" mechanic thing, where if you tossed the perch somewhere or dropped it, and then picked up the pigeon sometime and/or somewhere later, it would teleport you to wherever the perch was... often in humorous locations)

I have yet to ascend in NetHack, though. I was into https://alt.org/nethack/ for a time...

Ah, just noticed you can play the DOS version of Zork Zero here: http://playdosgamesonline.com/zork-zero-the-revenge-of-megab... Or here: https://archive.org/details/msdos_Zork_Zero_-_The_Revenge_of...
Eh? Many older homes use significantly better materials and construction than new buildings.

I'd place a lot more faith in the quality of a building from a century ago than one from a decade ago.
Phil Lapsley's book "Exploding The Phone" [0] gives a well written overview for anyone interested.

[0] http://explodingthephone.com/ (AudioBook also available)
Well I can't speak for anyone else but I'm convinced.
In my opinion zork is one of the least impressive infocom games out there, its historical importance cannot be ignored as it was really one of the first infocom games produced; and text based games such as zork did a lot to help computers gain traction as an entertainment medium back in the late 70s.

Many better infocom games have been written since zork and there is even a fairly active community of infocom enthusiasts on sites like IFDB (infocom database) http://ifdb.tads.org/ if you really want to try getting into infocom games try looking at the higher rated ones on that site. My first complete playthrough and all time favorite infocom games is called Vespers and I would highly recommend it as a primer to the infocom medium.
I noticed that too — without a legend, who am I supposed to decipher what each color means?
That's under the current ACA. The most likely repeal/replace bill replaces the individual mandate with a far stricter continuous coverage rule.
Woah what, only 3.2 qps? Card transactions do like 3 orders of magnitude more, don't they? (Sustained, idk about peak)
The problem is that MS has such an amazing record of strategic underhandedness, it would take many years of consistently good behavior for me to trust their intentions.

By the way, exactly _which_ of their patents do they claim Linux violates, and exactly what data are they collecting from Windows 10 boxes?
Sorry @taeric, I can't reply to your post directly.

I do think that the intent of the producer is being communicated (unsafe to upgrade, safe to upgrade with new features, safe + automatic improvements).

I'm not disagreeing that "spec" adding more metadata to have better granularity and potentially reducing the amount of manual work is a good thing. But in the absence of it, "semantic versioning" is an improvement over safe and unsafe versions being indistinguishable.
> The pause is completely deterministically in control of your program.

In theory. In practice, the programmer may not be able to reproduce the pause to diagnose and fix it, or it may not bubble up to the top of the priority list. Whereas with a GC, this problem may not occur at all in the first place.

The question is whether such cases (large object graph or linked list) occur often enough in practice to be worth bothering about.
I worry that this would give a false sense of security. Definitely it's better to have something that will highlight problems than to have the problems go unnoticed, but there's no way that something like a Penetrator Monkey could be comprehensive, and less experienced people might fall into the trap of believing that the monkey is as competent as an actual attacker.

Something similar happens with code coverage. It's pretty easy to write tests that provide 100% code coverage yet still miss basic bugs. 100% code coverage gives you little more guarantee than "this code doesn't crash for naive inputs" unless the tests providing the coverage were well written - code coverage gives you no introspection to how good the tests might actually be.

In short, I agree that this would be a cool + useful tool. But it should come with a disclaimer that it's not a substitute for more thorough testing + verification.
I made a list recently: https://news.ycombinator.com/item?id=12941658

The GACS book is indeed great. The “conformal model” defined there is very pleasant to work with. If you want to learn about it without buying a textbook, there’s also this PhD thesis: http://www2.eng.cam.ac.uk/~rjw57/pdf/r_wareham_pdh_thesis.pd...
A new market to disrupt - undergraduate computer science projects as a service.

Wait until you guys check out my hashtable implementation in the cloud.
Expensive is kinda of misnomer.

When you remove the block reward of 25BTC, it's cheaper than most methods of money transfer.

I've transfered as much as $1000 for around 2.3c.
It's tempting to describe bitcoin as "investing", but it's really gambling. I could say I bought $30K in lottery tickets and ended up making a few million off it, but I wouldn't call it investing.

It might sound like semantics, but too many people mistake gambling for investing and end up losing their shirts.
I'm in California. Would 100% live with my parents (as much as I would hate it) if they lived here. There are no jobs where I grew up and went to college, I came here so I could work in my desired industry. I actually tried leaving earlier this year, but could not find a job elsewhere.

Will try again next year. I would be ecstatic to be a home owner and where I'm living I won't be able to until I'm almost 40 (sans quadrupling my salary or marrying rich).
Did you accept? Jury nullification is a real thing.
Honestly, who cares about conspiracies beyond why dont we have checks and balances and why both parties block audits on the process.
It wasn't my decision but I fully support it :) It is great to know going in that the company has it's head on straight and is willing to be up front about it.
Your logic makes no sense. You'd be better off buying $10 of Mega Millions tickets every week.
Bitcoin's value comes from it's acceptance and worldwide capability.

There's nothing that can allow you to move money to every country on the planet with such small fees.

However, you are correct. In order for Bitcoin's price to increase, people must value it and more people must use it.
Gonna be tough to find a source corroborating that there are an infinite number of people.

That said, I agree with the sentiment here. I can understand people brother having seen packing before. There are lots of programmers and engineers out there that simply haven't had a need. Especially ones who haven't dealt with binary formats or tight resource constraints.
I specifically meant in a browser. I'm certainly planning on looking into Qubes for an OS, but this is really more of a problem with data leaking within a browser, I don't think the OS has much say in that.
Thanks!!

I hated the idea that there could be an uncounterable attack... so I kept at it until I could show that there is a countermeasure.
This is wonderful for folks who can understand concepts presented to them visually. If I had access to this as a child, I could have definitely grokked functional programming faster :)

I can only think of one major improvement - add the concept of synchronicity/asynchronousness. Perhaps a visualization to illustrate difference in function completion times or race conditions will help!
How quantum cryptography will make online shopping truly secure
DOT approves contested Norwegian Air flights
could you please provide some email id of recruiter where I could send my resume
The problem is speculation. Since it's an "open currency", the price is set by the market.

If every exchange says $1000, then you won't want to buy my Bitcoin for $1200. Supply and demand can cause issues.

For example, Bitcoin rose about 15% when Donald J Trump was elected since he said he wanted to tax remittances. Guess what? You can't tax something that's not controlled by the US government.
ios pythonista like software for android
Silicon Valley Chiefs Notably Absent from Trump’s Cabinet of Business Advisers
A complex number is a “complex” consisting of a scalar part (“real” or “parallel” number) and a bivector part (“imaginary” or “perpendicular” number) complected together into one single object.

IMO the best way to think of it is as the quotient or ratio between two arbitrary vectors T = v/u in a Euclidean vector space. Or equivalently, as a type of mathematical operator which you can apply (by multiplication on the left) to one vector u to produce another vector v, i.e. Tu = (v/u)u = v. This operator T will scale and rotate any other vector in the plane spanned by your two vectors u and v in the same way.

http://geocalc.clas.asu.edu/pdf/OerstedMedalLecture.pdf http://geocalc.clas.asu.edu/pdf/GrassmannsVision.pdf
This is an insightful comment. Thanks. I wonder how things would change if a second core was sitting idle anyway, like in a mobile app that does everything on the main thread. Would it then make sense to utilise the second core for greater performance? Imagine memory isn't a problem — some phones have plenty of memory, like 6GB on a OnePlus.

Unrelated to all the above, and related to your point about uncollected cycles not being a problem with refcounting, it does impose an overhead, like remember to use weak pointers to delegates in Objective-C. It's not as seamless to the programmer as GC. You can argue that it is (not) worth it, but there's no question it's more work for the programmer.