skysight-inc/HackerNews huggingface dataset:
Prelude> add <$> readLn <*> readLn
3
40
43

This is in GHCi so it also doesn't "compile". It does "type check", but "prove" is not a good synonym for "type check" just like it's not a good synonym for "parse".

> one of these workflows is orders of magnitude more work than the other.

"Order of magnitude" generally means "factor of ten". Are you really claiming that the Haskell code is at least one hundred times more work than what you wrote?

I have a question about "read-string". What sorts of objects can it return? Base numeric types I guess, plus atoms, and recursively, lists of the above. Anything else?
They call it a protocol but this is very much a startup/ICO, having raised nearly $5m in seed. Not that there is anything wrong with this, it seems like a very cool project. But it does seem to be very intentionally presenting itself as something that is closer to a not-for-profit a la Tor.
Yes. I would discuss larger career transistion first (where am I in this company in 2 years? What projects can I work on that are great for the company and interesting to me?). Get that down, preferably in writing. Make sure you mention that you'd like to do more and more development work, even if that means transitioning away from your current role (while training a replacement of course!).

Then, if you have that discussion and it does turn out they are ok with you moving into more development, then tall about comp changes.

If they aren't (if the message is "we need you to stay in this role" either explicitly or implicitly) then you should start looking at what else is available.
I wonder if the ultimate answer is for them to be completely imperceptible and indifferentiatable from regular glasses - the glasshole thing is big.
I was asking what's weird about the variable naming convention which the OP made a remark about.

You will actually find that Nim typically avoids operators. For example, boolean expressions use `and`, `or` instead of `&&`, `||`. I personally like that a lot.

Having to write `public` before every procedure would, on the other hand, be a massive PITA :)
This is the real driver behind these sites. For a $6-7 delivery fee, they provide online ordering with an easy-to-read menu, a solid payment processor (I don't have to read my CC# off over a phone), and order-tracking that lets me schedule around the exact minute the food is going to arrive.

Most restaurants are largely unwilling or unable to provide a well-executed delivery service. I'm more than happy to pay an additional gratuity for the logistical system these delivery-services add.
iGlass will probably be created by Apple or a hardware startup led by some people like Steve Jobs and Woz. No software company has made a hugely successful hardware product.
Uber eats charges ~35% to restaurants in australia.
Have you worked in a fast food kitchen? Or any restaurant kitchen? It's windowless and greasy and often surrounded by a parking lot close to a busy road.

I also had classes as a child in buildings called 'portables' which look pretty similar to these things, except with windows and a normal classroom interior.
I moved there because it was lovely, and was consistent with something I have long felt strongly about. My late grandparents were lifelong Georgists, and never mentioned the Ardens to me. (I'm a late-bloomer -- I shared their perception of the problems, but kept thinking there had to be another way to solve them; when I failed to find it, I looked more closely at what Henry George had to say, and found it very persuasive.) For a recent article, look at Michael Kinsley's, in the September Vanity Fair. But people from across many spectra embrace George's analysis and George's remedy; it is a third way, coming out of the traditions of classical economics, not the neo-classical economics that is widely taught today.

George's most famous book was entitled "Progress and Poverty" ... it was dedicated, "to those who, seeing the vice and misery that spring from the unequal distribution of wealth and privilege, feel the possibility of a higher social state and would strive for its attainment." Its subtitle is a mouthful:"an inquiry into the cause of industrial depressions and of increase of want with increase of wealth ... The Remedy."

The book is quite analytical, a logical analysis. If you want to see where it is going, jump to the final "book" before you read the rest.

Or you might start with a collection of essays entitled "Social Problems." They still read well today, and, among other things, show why a Constitution written in the 18th century simply can't be frozen in time, and needs to be reconsidered in light of 21st century realities. Some of my favorite quotes are from "Social Problems."

Both books are online and at Amazon or schalkenbach.org; there is also a fine modern abridgment of P&P, and audio is available at hgchicago.org.
Almost all companies hire “non-top talent” now, but usually without admitting it to themselves. Any company with geographic limitations, and any company not willing to pay absolutely top dollar plus equity, is probably not hiring the absolute best. Probably rightly, they’re seeking the best value - that is, maximal results for the work environment and compensation they can offer.

So:

1. Don’t stress over not being the best.

2. Focus on demonstrating (through actions much more than words) the things that you’d like a prospective employer to realize. If that’s a willingness to learn, spend a month or two of weekends learning 3 or 4 new technologies and demonstrating that knowledge with a blog post or small app that solves a problem you found.

At that point, your explanation to prospective employers is (a) you were interested in things so you learned the basics about them, and (b) some examples of you synthesizing that knowledge (maybe even attached to your resume).

Best case, following your interests means that you’re applying to companies using the technologies/concepts/libraries you tinkered with.
Spectacles may have failed, but on the contrary, I think they made a whole different set of mistakes than Glass:

1. They specifically focused on the fashion-conscious aspect initially (e.g. the Karl Lagerfeld shoot), and purposefully tried to keep the specs away from the nerdy tech press. In the early stages this was actual really successful, and at the very least they got "fashion buzz" when Spectacles came out.
2. They highlighted that Spectacles have a big light go on when recording, which helped blunt some of the "creepiness factor". In fact, I think they did a largely good job of positioning Spectacles as "fun way to take video with friends" as opposed to Glass's "cyborg assistant" approach.
I'm from a super tiny town in socal with ~35k people, i can't imagine living any place smaller than that.
My point is being that they could be compelled to hand over all future messages to your account, because if they are doing spam detection then they will have it in a readable unencrypted state.
front-end microservices? but what or who do they serve? they don't serve data, so they are not services, they are clients.
The project lead asks Kahneman for candid advice at around 36 minutes. So, Kahneman told the audience the truth about competing for the attention of business decision makers-- that they'll have to over-promise the benefits of a behavior lab partnership-- and David Laibson immediately calls him out on it.

Maybe Kahneman should have replied with, "look, I don't know how else to tell you this-- you're not really going to make a huge difference with this work so if you want to get anywhere you'll have to exaggerate the benefits"
If a poor person earns $100 and spends it, they're paying ~$9 in sales tax in my hypothetical world of 10% sales tax. The rich guy who earns $100 and invests it, spends $4500 and ~$409 (about 9%) of it goes to sales taxes. Sure, he gets 45x the value of purchased goods, but he also pays 45x in taxes.

Did you lose track of the topic of conversation? It looks like you're just detailing the ways that it's better to be rich than poor.

I was responding to ChrisSD's specific point many comments ago that: "Taxing spending tends to be regressive." To the contrary, it looks like it's neither regressive nor progressive. (I don't know the word for that. "Neutral", maybe?)
Exceeding minimum specifications doesn't necessarily improve quality. I argue that extras typically make things worse.

I think you're seeking "fit for use" = quality, instead. This is closer to the parent comment.
yep, china is trash.
I guess people are just married to their customized Vim, Emacs, Visual Studio etc. setups which they are using for many years. These Smalltalk-related IDEs are too different and break a lot of old habits.
With JVM you get a couple nice features: a good garbage collector, a JIT compiler[1], platform independence, access to a lot of libraries through Java interop.

The requirement for a JVM to be installed on a system isn't that dramatic in my opinion, it may change for others' use cases though (e.g. if you are shipping code to embedded systems etc., it's not a good option probably). Also, if you are OK with heavy app sizes, you can ship with OpenJDK although I acknowledge that it is as bad taste as shipping with electron.

[1]: JIT compilers can help with performance even for pretty static languages (e.g. Java is not so much dynamic than C++) because you have runtime statistics for that specific run and you can speculate using that. Although, with smarter branch predictors etc. in CPUs, some of the benefits of the JITs are slowly disappearing.
Not defending the employee, who has clearly made a mistake, but to fire someone who may potentially be productive for a mistake they didn't directly make is a bit harsh. I would never fire someone for a faux pas - that's the sort of action that makes all your employees fearful, anxious and eventually, unproductive.
A generative vision model that breaks text-based CAPTCHAs [pdf]
When they save and invest, what do you think happens to that investment eventually? It's converted back into cash and spent, donated, or bequeathed. The fact that there's an intermediate step of investment is irrelevant to the fact that lifetime ingress of value equals lifetime egress of value.
weirdos.
While there has been somewhat of a shift over time, it's also worth observing that the reason there can be a number of links to news stories in this thread is that they're often "man bites dog." Outside of maybe some trend stories, CNN doesn't generally do stories on routine everyday occurrences.
A Simple Guide to Architectural Rendering
These are Reed-specific acronyms that anyone relevant at Reed would understand. I found almost all of them through a search like "PMP site:reed.edu", such as https://duckduckgo.com/?q=PMP+site%3Areed.edu .

AOD = "Alcohol and Other Drugs" violation. They probably want to know if there is a racial bias in who gets cited.

SES = "Socioeconomic Status"; poor people in general have a harder time getting through college.

CSO = "Community Safety Officer", aka, campus police

HCC = Reed Health and Counseling Center

PMP = Peer Mentor Program

CRES = Comparative Race and Ethnic Studies program; think "comparative religion" course but for race and ethnic studies.

CAT = "Each year, one quarter of the faculty is considered for reappointment, tenure, promotion, or an increase in salary. This evaluation is conducted by the faculty Committee on Advancement and Tenure (CAT), which makes recommendations to the president." (This was the hardest to find. It took a couple of minutes.)
I think the definition implicitly described in that book is "Quality is the ability to satisfy the innately messy human value function". Which I think is a pretty okay definition. Though it's a better definition for beauty.
This Research Shows That Most People Spray Perfumes Before Having a Shower
I'm a huge fan of reveal.js. Everytime I've used it, people ask what I used to make the slides.
Prop 13 should be allowed only for the primary residence, not for secondary residence or rental properties.
We do have fail to ban type logic in place. The attacker used a botnet; requests came in from many different IP addresses.
The sbt module I'm using for creating JARs (sbt-assembly) has this feature and I really like how seamless it makes creating executable JARs. I used it in a couple cases to create artifacts/executables for research projects that can be easily run and without many dependencies, usually just a recent enough JVM.
That all sounds so much better than a year or two ago. No, really!

Granted, it's during the Party Congress, and not yet winter (when smog usually peaks)... but PM2.5 under 300 isn't that bad. Over 3-400 is notable (like it was during the Beijing Marathon in 2014). Breaking 999 is also amazing, but used to happen in Hebei regularly.

Sadly, we'll have to wait a few months to see if it's actually better this year.

https://qz.com/283665/beijing-broke-its-own-air-quality-rule...

http://mashable.com/2016/12/20/china-air-pollution-red-alert...
My view on the freedom of expression is well known, so I'll try to avoid being verbose.

Does the institution receive funding from the government?

If so, can it legally prohibit lawful speech?

SCOTUS has pretty much decided that it can not. In time, this will be a more settled matter. America is still young, comparatively speaking. We will be okay so long as we remember it's a constant effort and not a final state.
Actually you're helping to classify their datasets for ML purposes, so in a sense you're tilling their farm for them (while also helping ensure the site you're on has less spam than it would otherwise).
> I often wish I worked in a language where I could start dynamic and end statically... I can imagine writing the core of an algorithm and then gradually tightening the conditions as it comes into focus. More than a tool, this would be a practice: progressive type elaboration.

Bingo. I love this idea. I haven't tried it yet myself, but I think mypy [1] from Dropbox makes this a reality today in the Python world.

[1]: http://mypy-lang.org/
Lucidchart has a slides/presentation mode, along with mind maps, a wysiwig editor, tutorials, and an infinite canvas.

(Disclaimer, I used to work there, and helped build the presentation mode.)
> If Fb suddenly cuts a major source of revenue for a whole industry without any discussion, if that is Fb's power, then this is really unhealthy for our market economy and our ideas of democracy

But that's what journalists are demanding. The NYTimes, Guardian, WaPo, WSJ and all the established news organizations have been pressuring FB, TWTR and google to censor other viewpoints.

The selfish hypocrisy of the media is what I just can't stand. The biggest proponent of censorship on the internet and social media are these supposing "free speech" loving journalists. They don't care about free speech or democracy. They just want money.
A functional prototype is not finished software, but it is for many people considered to be a product.

Functional prototypes in many cases do not even implement their functional requirements properly, let alone the non-functional ones like security.

Security in any form is not a priority for many startups. Especially the ones that aim to be acquired before their hot potato blows up.
The demand that "CRES is to be taught by people of color" is also illegal.
For some good examples how to teach technical and mechanic concepts concerning maintenance check Out PS, The Preventive Maintenance Monthly. It's a series of US Army technical bulletins published since June 1951 as a monthly magazine with comic book-style art to illustrate proper preventive maintenance methods.

Comic Legend Will Eisner’s Work Influences Military Training
http://www.military.com/video/off-duty/humor/comic-legend-wi...

Also check out the PS archives. It's one of Will Eisner's hidden gems.

http://dig.library.vcu.edu/cdm/landingpage/collection/psm
I am simultaneously glad that I did not have to live through such times where computing power was so scarce, and sad to have missed such an exciting time. It is always fun to read these stories, though.
What’s the point of multithreading if your app is going to spend 99% of its time waiting for data to arrive over a socket?

For most web applications it’s a terrible architecture if you need any kind of performance. The real advantage is that there is a huge amount of investment made in supporting this type of app servers, so you can build on something like Rails.
(8) not fake news 4
Sorrow and Survival – Indian Acid Victims Assert Dignity
A+ troll would rage again.
Snapchat Lens Effect in Python with Dlib and OpenCV
It seems silly to say that delivery food must be prepared in the back of a restaurant, on prime real estate, in the midst of sit-down diners.

People talked about the possibility of uber-for-food or "food-sharing", where the lady next door cooks a bunch of food and then all the neighbors get some.. I think this delivery-only kitchen model will be the reality of uber for food - hyper-local low cost kitchens which may be boxes in car parks, or may be operating out of cafes that don't normally open for dinner, or even out of suburban garages (with signoff from local health authorities).

Every suburb has a fairly standard, reasonable quality thai, chinese, pizza, indian and burger places. Lower price delivery incentivized users to go local, but if ratings are not great for the local option then they will get a more distant option for a slightly increased delivery price, pushing the local option to maintain quality.

Retail/hospitality real estate doesn't seem to have great prospects at this point. When you no longer need street frontage but rather just a back alley spot to sell food, and when amazon has dominated all street facing retail, it will be interested to see what happens to urban retail hubs.
About the minimum password length: I did change it to 10 the day of the attack. The CEO wants us to change it to 8. We've seen a small dip in conversions (like 1%), and the longer password requirement could be why, he thinks.
They took a gamble and it did not work out for them, their product was not the next 'spinner' grade craze. But if you don't try you don't get.

It is only a matter of time before cameras in sunglasses becomes a common thing with people using them in place of action cameras, dashcams and regular cameras. The UX needs to be 'wink' to take a picture so these things can operate hands free with voice control - 'cheese' etc.

Somehow these wonder sunglasses of the near future weigh no more than normal sunglasses, charge magically in their special case and stream 4K HDR+ 3D stereo over bluetooth 24/7 storing all content on a nano-SD card. But we are not there yet and Snap took a punt at pitching a fun variant of the ideal product with low-res functionality seeing if people would go for it. They didn't. People didn't go crazy for them like they did with 'spinners', an equally 'useless' product. But cameras in sunglasses are happening. People have got over lenses in public. There is one in every car bumper.
In that situation you could simply represent `null` as a keyword :NULL, `false` as NIL and `[]` as a vector (or some other non-list datastructure).
> Furthermore, it's funny hearing this hypocrisy coming from journalists, since they are the ones who are throwing away their "journalistic integrity" to make money. It's impossible to come across a mainstream publication with unbiased point of view nowadays.

Not only that. These same journalists are the ones demanding censorship of opposing views on FB and the rest of social media.

All these selfish greedy journalists want is their own "fake news" making money on social media and other people's "fake news" banned.

Frankly, I wish google, fb, twtr, etc would all band together and just ban all news from their platform for a week. Maybe that will quiet these useless journalists.
I regret the day I was born. :'(
I was a Snap power user. Got spectacles very early. Hated the upload UX.

Bluetooth issues galore. Completely stopped using them. As standalone sunglasses, they are inferior to a good $10 pair from amazon - heavier, worse lens quality, and limited viewable area.
Hello! My name is Jay Freeman (saurik), and I was both deeply involved in the design of Orchid's protocol as well as in charge of the initial implementation of the networking and routing logic, and am happy to try to answer any questions people might have about what we are working on!

(edit:) g_simonsson, who now has an account on Hacker News and has joined this thread, is Gustav Simonsson, another developer working on this project in charge of our smart contracts and payment logic. He was one of the core developers who worked on Ethereum, specifically focussing on blockchain security.
“Yeah, you say the 4-month-long Northeast summers are bad, but have you considered it would be a lot worse if you were living ankle-deep in a swamp?

“Yeah, you say the 6-month-long Northeast winters are bad, but have you considered that it would be a lot worse if you were living under a blizzard in far-northern prairie?

“Also, there are 2 nice months every year!”
Normally people are hired with a "provanställning" for the first three/six months, basically an at-will contract where you can fire the person for basically any reason (it's very pro-employer). In my experience you can tell if the person is going to be fired because of low performance in that time span. So "companies don't hire because it's hard to fire" doesn't really ring true for Sweden.

People (in tech) don't hang around the same company for too long either, even when someone who doesn't know anything gets a cozy job some company is going pay them better for another cozy job.
I was talking to a parent friend of mine a while back, and we both agreed (he owns a pair) that Snapchat Spectacles could be an amazing accessory for parents.

Kids are easily distracted, so if you point a phone at them it'll completely throw them off whatever cute activity it was they were just doing - probably because they now want to play with your phone. No such problem with Spectacles - and not only that, it means you can keep two hands free (not a small issue when one arm might already have a child in it).

The problem is that Spectacles are so tied into Snapchat that it makes sharing the output very difficult. Grandma and Grandpa are not going to use Snapchat, and I'm not sure Snapchat wants them to. You can, eventually, import into Snapchat then export single videos back out again, but they lose the cool display method for circular videos and look awful. I think they could shift some of these glasses with a little rebranding and a spin-off app just for importing videos into whatever destination you want. They'll never do that, though. Maybe if they finally declare it dead they'll open up the sync API, but I'm not holding my breath.

(this is a repost of an old comment I wrote a few days ago in case anyone is suffering from deja-vu)
> But if you have even a loose criteria for why you pick static typing for a value versus doing the value's verification dynamically, what is that criteria?

The same as with the choice of anything: what feature to work on this week, whether to automate a process or keep it manual, whether to use JSON or BSON or Protocol Buffers ...

It's a judgement call and it's not really possible to give a good answer in a Hacker News comment.
> and what wasn't mentioned was that the mic was hypersensitive to distortion from the slightest breeze,

And you can't really stick a micromuff on your glasses.

http://www.micromuff.com/
Can it do boxes and arrows stuff?
You think China is not on its path to global evil? E.g. Silk Road, Taiwan, 9-Dash line, String of Pearls strategy etc.
A good place to see those talks is BlinkOn:

https://www.youtube.com/user/blinkontalks
I love crystal yet it puzzles me how the heroic developers can make rapid progress when each compilation of the compiler takes half a minute.
This is a funded startup.

How do they intend to make money?