skysight-inc/HackerNews huggingface dataset:
This example works in SBCL, where types (possible disjoint sets of values) are treated as assertions. By default I always set "safety" and "debug" to 3 (the max), which helps.

;; Giving names to abstract things a little
(deftype zero () `(eql 0))
(deftype non-zero () `(and number (not zero)))

;; Declaration
(declaim (ftype (function (number non-zero) number) divide))

;; Definition
(defun divide (n d) (/ n d))

;; Test
(lambda (u v)
;; introduce a type constraint here.
(declare (type zero v))
(divide u v)) ;; (nb: underlined in orange)

This message is also printed:

note: deleting unreachable code
warning:
Derived type of V is
(VALUES (INTEGER 0 0) &OPTIONAL),
conflicting with its asserted type
(OR (AND NUMBER (NOT INTEGER)) (INTEGER * -1) (INTEGER 1)).
See also:
SBCL Manual, Handling of Types [:node]

The warning happens when two types are and-ed (intersection), and the resulting set is empty. You still allow code where there is potentially "bad" value flowing from one place to another, because ultimately you know the runtime will detect it. In other words, the goal is to reject false negatives (unwarranted warnings), which contrasts with statically typed languages where you only accept code that is guaranteed to satisfy static typing rules (it makes sense there because the compiler is your last chance of catching those type errors, since the runtime does generally not perform type checks).

(edit: actually use non-zero instead of (not zero))
NHS spending has decreased, and it's likely to keep decreasing. That's what sustainability and transformation plans are - cuts to provision of service.

In recent years we've seen a reduction of 1 in 16 acute beds, and 1 in 5 MH beds. This would be ok if we'd seen an increase in funding for community services or for care services, but they've been cut too.
Yup. The invisible hand is ruthless in that regard.
Information on iOS 10.3 (Continuously Updating)
The Kremlin Wants You to Read That Hacking Report
"I would like to see History taught in reverse as they never seemed to reach modern day history"

This! It is hard to understand the world if you don't know what has led up to it. I'd even expand it. I think "older" history should be taught with thought about present-day context as well. Questions such as: Do you think there are modern-day consequences to the war of 1812? What do you think this book says about the political atmosphere at the time it was written? What world events do you think might have inspired this book?

Mostly, I got this view from my spouse. When he went to school, history and literature were combined into one subject. And I very much like the cross-subject learning like this.
These exist, Vizio do them. The vast majority of the market however wouldn't know how to use a "dumb" TV.
That's a good point.

The best thing to do is avoid home networking equipment entirely. The Ubiquiti EdgeRouter products are cheap and good, as is building your own router and sticking Linux/*BSD/derivative distros on it.
This probably isn't something that appeals to the Hacker News community in general, but the first thing that comes to mind is large scale art projects, of the sort that take weeks/months to prepare (such as the big Burning Man installations).
A grueling process being forced upon you by circumstances / management that requires an unhealthy amount of hours, stress, etc to achieve to a (potentially unreasonable) objective by a certain time.

Likely outcome to meet the criteria is burn-out / resignation / death of personnel, especially if repeated.

In the original context, it is of course: https://en.wikipedia.org/wiki/Bataan_Death_March
It seems to me that if a group of people did come across some new land and decide to vote on what to do with it, they'd immediately vote to subdivide it amongst themselves. Leave some bits as public land for roads and parks and other stuff, and subdivide the rest equally so that families can build their own houses and grow their own crops or whatever with confidence.

Of course within a few generations of inheritances and sales that equitable distribution of land will no longer look like that at all.
Is the name pronounced "scaffold"?

Also, is this a special type of post to allow links in top level story description? Regular Ask/Show posts don't get http:// links auto formatted into links.
Out of curiosity, did you end up watching 3D IMAX? There is a single IMAX cinema in my city (so I cannot do a comparison), and Rogue One was awful in it. Blurry, dark, slightly out of focus. I wonder whether this is a flaw in all 3D IMAX showings, or maybe this particular cinema had some technical problem?

My experience was that 3D IMAX is way worse than regular 3D (which I'd also rather not watch).
Please do consider reading the entirety of Ian M Banks's Culture Series. It is some fantastic Scifi that literally explores humanity in a post resource scarcity world.
If they've never worked anywhere with poor processes then they're incredibly lucky. Even places with good processes can end up in a situation where these sorts of things are necessary.

> A lot of hard deadlines are made up.

Yes, but not all of them are. A lot of my clients face legislative deadlines that don't take developer comfort or work-life balance into account. We need to help them ship X by January Y. It's rare that overtime happens but it has happened and there's little you can do to get around it when a bill is signed into law mandating you do something in 30 days or the state becomes a litigation target.
I wrote http://manishearth.github.io/blog/2015/05/27/wrapper-types-i... which explains the primitives that can be composed together to do things like this.
Though this is true to some extent. In the end the richest areas are not those that open themselves up to development via foreign investment. It's those that create a ton of protectionism and develop the resources themselves. Countries like China and South Korea. Probably why local Hawaiians are extremely poor while the rich gobble up the land. Foreign investment can take you a step up. To move beyond that you need local development. Local developers would need to develop the land with local workers, and sell out small parcels for a lot of money. Think 1,000 million dollar houses on the same plot Zuckerberg bought for 100 million.
رابط مباشر الان مباراة المغرب وساحل العاج بث مباشر اليوم – يوتيوب HD
Hey! We're preparing to start hiring so very possibly! You can reach out to me @michael on our slack (slack.scaphold.io) and I'll keep you in the loop!
It probably helped that Håkon Lie, who proposed/invented CSS, worked at Opera.
I have never bothered to use the 3d part of my tv and I have yet to enjoy a 3d movie at the theaters. I'm kinda surprised this fad has lasted this long.
Any plans to support direct debit?
I don't do the monthly outlook, because it never was useful to me at all. I'm not much of a calendar event planner type person. Any event I had to remember a long way off I just put in my calendar app to remind me a few days beforehand.

One thing I do love is I keep lists on books I want to read in the future. I also keep lists of things like software, tools, and libs that look possibly important in the future that I may use, but not right now.

Edit: I've used bullet journaling for over 3, or 4 years now.
It's much easier to write robust code in Java - with it's Optional type, and checked exceptions - than in C#.

You probably would never write this, and your colleagues would never write this. That reasoning is good to apply in many situations. I in fact do this all the time; it’s a huge part of my research agenda. But you have to be careful where you apply it. Soundness is a security guarantee, not a usability concern. What matters is if someone can write this, because then that someone can get around the security measures that people have placed their confidence in and do whatever they would like to do. In the case of soundness, it’s the malicious programmer you should be worried, not just you and your friends.

I really hate this attitude. Programming languages should be designed to be safe and strict by default, but with easy outs. I utterly reject the notion that we should design languages first and foremost to protect us from people can't program that well or aren't careful when they write code.

Do we always have to appeal to the lowest common denominator? Empower the developers that care rather than trying to turn this into an unskilled profession.
Must've been pretty cool to be born already knowing advanced mathematics dude.
I would think that a good answer showcases your knowledge. E.g. if you knew a lot about relational databases, this is a time to apply the knowledge.

It's also good if you show the ability to see trade-offs where they exist. E.g. the trade-offs for a relational database vs. something else might be familiarity / time to implement, vs. ease solving some type of situational performance problem.
The goal is to make the machine learning and ai more accessible and less intimidating. It's going to impact our lives in so many ways that its important to help it seem more familiar to more people.

What are some other ways we can work towards that mission in the future?
I never said all.

True, I was exaggerating to get my point across. There should be guidelines against pervasive online mass surveillance irrespectively of whether foreigners or US citizens are concerned. Otherwise you simply have double moral standards.

Correct me if I'm wrong but I thought the CIA was prohibited from operating on US soil?

I believe that's correct. However, CIA is allowed to spy on Americans abroad. Anyway, I was talking about the NSA who are allowed to spy on US citizens with proper court order.

I agree, but the bar is much lower for a US intelligence agency to spy on a Pakistani courier than it is to spy on a CPA from Bloomington, IL.

Sure, but this is an example of targeted surveillance. Nobody in his right mind is or should be against that. There are plenty of ways for US authorities to spy on US citizens by targeted surveillance.

The problem is that the US has double-moral standards insofar as mass surveillance is concerned. The problem is not primarily that NSA might have spied on their own citizens too much. The problem is that they (and without any doubt non-US intelligence agencies, too) massively collect data on too many people and too indiscriminately. If you want to be egoistic, you can also easily see that this is a problem for US citizens, as it's common practice to just ask another intelligence agency for data if you're not allowed. No big point in restricting NSA when they can ask French or German intelligence for data on a US citizen, right?

But the real problem is that US politicians and many US citizens talk about foreigners as if they had zero rights and they and their lives were completely irrelevant, when they think no foreigner listens. To give another example, I've recently watched some senate hearings in which senators literally discussed which regime the US should install in Syria after Assad, and not a single time did they even mention the Syrian people or their will. They also talked about disaster relief aid as a 'soft power to influence foreign governments'. In a public hearing that anybody in the world can watch. How stupid is that?

This kind of talking does not occur in other countries I know, certainly not in Europe.

In violation of the community guidelines: "If you flag something, please don't also comment that you did."[0]

I did not flag anything and did not violate any posting guideline. I wasn't even snarky. My original post was flagged, even though it is 100% truthful and relevant, because the above article, again, only talks about US citizens as "victims" of needless surveillance and data gathering. Apparently whoever flagged it has problems with the truth and prefers instead to reiterate their own political opinion. But it's not as bad here as it is on Slashdot yet.
a more compelling graph would have been jobs/rig. The drop in jobs sure looks like it approximately matches rig demand with a 3-6 month lag.

I am sure robots will replace a lot of these jobs, but I don't see this article providing much evidence that it is happening substantially.
Me and my brother both own a horse. I have no immediate need for the horse, so I let my brother use it, but still maintain my stake in its ownership. My brother sells you the horse for $100, without asking me. You offer to buy me out for $50... And when I decline, threaten a lawsuit (On the grounds that you will put the horse to better economic use then I would have.)

This is a problem between you and my brother, not you and me. This is also a story as old as colonialism.

If you think this is all fine and dandy, and lives up to the greatest virtue of capitalism, please replace the horse in the analogy with shareholders having partial ownership of a company, and being forced to give up their stake, just because Zuckerburg paid off the biggest shareholder.

Nobody's putting a gun to his head, forcing him to buy 700 acres of land in Hawaii. If he can't come to an agreement with all the owners of the land, he should go back to California, instead of suing minority owners. That's generally how business works.
How I quadrupled my creative productivity in 2016
That doesn't surprise me much. A disproportionate percentage of new grads moving to Cambridge or Boston to live probably have a job there. Someone working out at 495 would maybe prefer to live in the city but they'd just as soon not have an hour commute each way every day.

Furthermore, recent students are used to dealing with not having cars in many cases--even if it can be inconvenient at times. In addition, Zipcar and Uber/Lyft/etc. absolutely make a difference at the margins if you don't need a car on a day-to-day basis.
> Also I'd argue that London hasn't fixed crime

Or pollution. The city is a cesspit. I can't wait to get out.
And you may not discover the type erasure problems until runtime. I once found an "impossible" bug in production that came of someone accidentally swapping two values passed to a database function. We had separate DocumentId and UserId types for the values -- how could the bad line of code even compile?! Oh, type erasure; they were both Longs "underneath". (This weakness also mandates more basic testing for Scala code than you might expect for a language whose flagship company was called Typesafe.)

Yes, the Scala docs do explain that type aliases are not really distinct types, so this sort of bug could have been expected in advance. I came to Scala with no prior Java experience so I got to discover the ways the JVM leaks through on the job. I thought that I could reuse my previous knowledge about types in program design in obvious ways and just get the obviously (to me, anyway) desired behavior. Mea culpa!
Yes, this. A death march, to me, is a project that is doomed to fail, but you have to keep working on it anyway.
I would actually recommend against it. I saw it in 2D IMAX, and there was enough shaky-cam that the giant screen just felt disorienting and a bit nauseating. I don't think Rogue One is well-suited to that kind of environment.
Because the tragedy of the commons isn't a trope already. Communally owned things always end up being run super efficiently. There are no negative externalities, that's why Central Asia under the soviets was so pristine and unpoluted.

Not to mention how well run recently liberated farms do under community mgmt once the evil (well trained in agriculture with skin in the game but inherently evil) landowners are chased out or strung up. so much better. and never, I repeat never, has transfering property rights to the people lead to the starvation of millions.
In my book, The Product Manager's Desk Reference (2e), the Introductory Chapter is titled: The Accidental Profession. Everyone comes to PM from other disciplines... can't get a degree in it.

Plus, the definition of Product Management varies... which it shouldn't. Product Management is the business management of products. Product managers own those businesses across their life cycles. They are responsible for harnessing market insights, formulating strategy, determining where to invest, overseeing development, ensuring products are introduced/released on time, and tracking financial and business contributions.

They need to earn credibility so they can influence others, think strategically, and have sufficient business and financial acumen.

In a nutshell, it's a CEO/GM "MINDSET" that helps product managers be great product managers.
These may be (and in fact they are) excellent books, but they do not necessarily answer the needs of a designer (rather, an engineer), nor they may be suitable for people why are just learning elementary geometry and trigonometry.

Also, there are topics in mathematics that may be more relevant to a software engineer or a designer, such as algebra (in general, and linear algebra in particular).
Putin’s Propaganda Machine: Nothing Is True and Everything Is Possible (2015)
It wasn't just London that voted remain [0]. I hope MP's will vote based on the indication that their constitutes voiced.

[0] https://vis4.net/blog/wp-content/uploads/2016/06/brexit-map-...
Why do something you hate or gives you headaches just to enjoy the company of your friends? Why not do something none of you actively hate?
Adopting a rhino (5-year-old brother loves them) is not what I'd thought I'd be doing today.
I think collecting the scraps of the ruined civilization will probably be a great pastime.
I don't know about others. But for me it's a kind of lack of organization combined with poor technical implementation of UX. As I do things, whether they are reading, researching, task completion, etc. tabs start accumulating and the lack of any kind of management functionality in Chrome makes it rather difficult to clear out the dormant tabs without manually going through every single one.

Firefox tried using ... I forget what they called it and renamed it to ... some kind of grouping of tabs. But I think there would be an opportunity for some smart grouping by, e.g., time, i.e., tabs opened within certain periods of time are somehow visually grouped, or type, i.e., using some google foo to classify the URL to differentiate between things like food, news, dev/coding, scientific related tabs.

I'm just saying, it is annoying and boring as hell looking at dozens of tabs that are all gray because they are so contracted. There needs to be a better UI solution.
Those were hazardous jobs. I imagine the adventure would get old after a year.
Nothing is stopping you from getting away from the world and farming/hunting in the mountains, but it would not be economically viable (or fun after a point, I imagine).

The real cost isn't in the work itself imo, but in the contract those people had with society, which now needs to be renegotiated, and the workers are at a substantial disadvantage this time.
This place is pretty cool, based in Boston: indigoag.com
Millennials were born 1982-2004. The youngest Millennials are still in junior high.

Generations are always ~20 years or so. Gen X was 1961-1981, Boomers were 1943-1960, Silents were 1925-1942, GIs were 1901-1924, etc.
Inside the Private Chatrooms Used to Manipulate French Voters
Yes the name is pronounced "scaffold" with the "ph" for GraphQL. When we first started the project we liked the image of scaffolding going up around a building. In our case the buildings were your apps and we wanted to create the foundation upon which you build them.
I'm about a month in to Bullet Journaling and I'm really liking it for a number of reasons.

First, it's a piece of paper that's always there. No waiting for apps to load, no Internet lag time; it's always there.

Secondly, I can organize as I choose. I like note taking apps for desktop/mobile, but the hardest thing for me is being able to organize and write notes as I chose, not as the program dictates. If I decide I don' like a certain way of organization, nothing's stopping me from changing it.

Thirdly, I've seen a huge increase in completion of tasks, since they actually get written down somewhere! I used to use reminders on my phone, but unless I set a notification (a reminder for the reminder?), it got neglected and never finished. Also, I could never get myself into the habit of checking my reminders list every day. I'm sure that reminders or other to-do list apps work very well for other people, but for me personally, I never found the to-do list apps to work very well.

As for migration, I think it's actually been really useful for my workflow. I'm the type of person who doesn't like to see outstanding tasks, so my goal for every day is to not migrate tasks. Also, migration keeps all those tasks fresh in your mind, which I've found to be very helpful.

All that said, I'll have to see what I think about it in a few months and whether my perspective on it has changed.
It is difficult to build in NYC from a zoning and building regulation perspective, but not nearly as difficult as SF. That people conflate the two is a mystery.
My general line of questioning is as follows:

1) Explain to me a system you built/architected. How it worked, what it did, etc. I'm looking for a deep understanding around the requirements of the business, and how that played into technical choices.

2) Talk me through some bugs you encountered or mistakes you made, and how you course corrected. I try to make a candidate comfortable prior to asking this and usually tell a quick and horrifying war story from my own career. Here I want to understand how a candidate processes information and adapts the plan accordingly. Like mike tyson said, everyone's got a plan until they get hit.

3) If you had to build the system again today, what would you do differently? I'm looking for an awareness of how technology has evolved since they designed the system in question, as well as what didn't work well over time from an operational perspective (e.g. we didn't burn off time series data over time so table index rebuilds started to take forever, etc). I want to make sure the candidate supported the system they designed over time, and felt the pain/benefit of their decisions. I usually specifically ask the candidate at the beginning to pick a system they built and supported for an extended period of time.

I also ask about areas of technical expertise, and areas where the candidate feels less strong technically. For the former, I make sure they have the kind of expertise they claim, and for the latter, I want to see how they communicate with team members that are expert in those areas (and how they gain familiarity with new technologies).
"Launch HN"? That's new.
PM at a startup.

I guess I could be considered a "junior PM" as I have less than a year of official PM experience. I started off as employee #2 in our US office. My main role was marketing but I worked closely with our designers and engineers throughout the years (giving design feedback, writing copy, etc.). I also led the effort of redesigning of our website, and worked directly with a designer and an engineer throughout that process. So our CEO and VP of Product knew what I was capable of. When the PM opportunity came up internally, I made the switch.
> it's mind-bending how much I can accomplish alone

which proves that Lisp and the "bipolar Lisp programmer" are not necessarily related together. I think BBM's prefer Lisp because it is really convenient to develop without having to be dependent on others.

C++ may be considered a "social" language, however I discovered that it is not the language itself which encourages social development but some coders make so silly mistakes that they actually need the help of others to fix them. For instance, some devs open files without closing them, etc. I wonder if those people would actually write cleaner code with Lisp because such silly mistakes are not so easy in Lisp due to is structured programming (with-open-file ...). Also buffer overflows and the like are much harder to accomplish in Lisp than in C++.

Some devs, in particular Edi Weitz and the quicklisp authors are evidence that Lisp preference and social interest are not mutually exclusive.

http://weitz.de/lisp.html