skysight-inc/HackerNews huggingface dataset:
Last time I flew in the US (3 weeks ago) I didn't have to remove my shoes. The security process was actually quite streamlined. The biggest indignity was provided by Alaska Airlines, where one self check kiosk had run out of receipt paper, causing a massive deluge of people to line up at the only human agent available. (Other kiosks claimed you were already checked in and couldn't reprint your boarding pass.) I, and I'm sure many others, alerted the agent to the problem, but she was too busy servicing the growing line of increasingly late passengers to do anything about the root cause. It wasn't even clear if replacing the tape was her responsibility.
Read full story here.

http://telegra.ph/Effectiveengineercom-is-content-marketing-...

other clickable links

previous discussion
https://news.ycombinator.com/item?id=16022916

sales copy
https://www.effectiveengineer.com/book

http://telegra.ph/Effectiveengineercom-is-content-marketing-...

Author's Resume
https://angel.co/edmondlau

Author's Github
https://github.com/edmondlau

Author's Quora profile
https://www.quora.com/profile/Edmond-Lau
My answer to Valve's behavior in recent years was to just stop buying games from them, or on Steam in general, so they don't receive revenue from me.
I think it's largely a product of resources. There are fewer positions and more people who want to become research mathematicians so only those who are extremely well qualified even get to the post. The reason for the lack of resources is that the research mathematician's work isn't usually immediately profitable (hence their pay is often relatively low relative to their software engineering counterpart). By contrast, many companies operate their software development process in a way that allows them to recruit developers with minimal training and even deploy them in a way which they find useful, even if in fact that work might be completed more quickly by a smaller group of more experienced/capable programmers.

I think you're right about the pressure-free environment bit, too - some places developers are so bogged down with fire-fighting that planned development with real foresight rarely gets developed.

Moreover I think there are just more software developers, with much more variance in their abilities than research mathematicians.
Back before Netflix decided my address was fake and cancelled my account, and dvds were more relevant, I maintained a 500 length movie queue. When I got a dvd in the mail, it would be something I chose years in advance and I'd not look at the title on the envelope. The surprise from my past self was a great part of the experience.
“I got rich by doing this but you definitely shouldn’t.”

Hard to take this kind of attitude seriously. Things seemed fine enough when they were working there, so what has changed?
who is everyone? sources?
Clang, in browser, producing wasm
2017 on Twitter – Year in Review
They do it on a bunch of their products - maybe all of them, I'm not sure.

You can see pricing history (as well as set yourself price alerts) at a couple of different websites such as https://camelcamelcamel.com/
What is so strange about it?

What stops people from using their own algorithms to curate a collection of RSS feeds?
You may want to read the due diligence I did about this topic. https://news.ycombinator.com/item?id=16037746

One other quality of effective engineers is not fall for bullshit and have a scientific mindset of inquiry.
I remember a time when the only way to play video games on my computer was, if I programmed them myself. Like, there literally wasn't any other way .. the system I'd chosen to hang my chops on (Oric-1/Atmos) wasn't that well supported by the nascent industry at the time, and so .. it was either write my own shit, or forget about it.

So, I grew up a coder.

While, in the meantime, my C64- and Amiga- using friends, with all their amazing software choices, didn't have to do anything but consume, consume, consume. And, eventually,
"upgrade to a Nintendo" for their gaming needs.

See kids, this is what happens when you ship computers that no longer have development tools/compilers/REPL's onboard!

Seriously though, I think the "3DO Moment" for me was when I realised I always preferred to spend time with computers if there was a compiler onboard, or some other way to build software for the thing. Anything less is just a door opener.
No friggin idea.
I'd be satisfied with radical cashectomies. Fees, taxes, fines, whatever. Level the playing field. Keep the money moving.
Please read more research i did here about this content.

https://news.ycombinator.com/item?id=16037746

You decide if there is any merit to the advice given.
Nope, took me a couple minutes to figure out. I went strait to ray tracing, then lightbox tracing, then finally debug tracing.
> Remember when Valve made cool games

Remember when Valve made games...
No copyright isn't the solution. But it probably would be better than the current situation. Bring back either a 20-year copyright or an "author's death plus 10 years" version. The latter would be easiest to litigate and would incentivize relatives pulling together and sharing papers and unfinished manuscripts.
read the background verification i did for the same

https://news.ycombinator.com/item?id=16037746
Minority opinions require protection
Good to hear. I guess it hasn't bubbled up in media enough. Fingers crossed next time the candidate will be better.

I hope continuing pursuit of "email hacking" and other election-time stories is more of a media thing than DNC itself. And that DNC will manage to change media coverage from that to their next offering to the nation.
AIUI, the copyright extensions give Disney more control over the Mickey Mouse trademark. Without it, it could be used in defamatory ways by their competitors.
Some EC2 instances will be rebooted this week, but notification was sent a few weeks ago - probably routine maintenance.
A variety different factors. More moving parts == more stuff that can break. Knowledge about a specific service becomes less widespread, so issues take longer to resolve. Also, just hardware scaling becomes a problem. It also really sucks to have to have 50 people rebuild dev environments because you bumped a system dep in a container that your app now depends on. At some point, just building and bringing up all those containers becomes really slow, and you're going to have to build more and more systems to aid in that.

There's also all the stuff that's tricky to automate - say you're using AWS Lambdas, step functions, SQS queues. Translating that across different developer envs is a challenging problem.

I'm very much on the monolith-first approach. There are cases for microservices for specific business functions when you have few engineers, but in general it's far more of a scaling layer for engineer count. Single-app workflows are typically much more productive compared to microservice workflows up until a certain point.
Koru Kids | London | Full-time Onsite | Full Stack Ruby Engineer #2 | https://www.korukids.co.uk/

Koru Kids is growing quickly. We’re on a mission to improve childcare in London, and looking for someone experienced, creative & friendly to join the team as our second full stack engineer.

We’re building a marketplace that enables families to find and share great quality nannies. To do this, we’re building great software for our families, supporting our matching team with critical tools that make complex matching problems a breeze, and using technology to supercharge our nanny recruitment and training processes.

We’re continuously improving our product, building key features that will move the needle in a big way. Instead of an endless product roadmap, we run short development cycles to test assumptions and make smart decisions quickly. This isn’t a sprint and there’s no project managers, we work closely with the rest of the business to make sure we deliver the most value to our customers.

Our stack uses Ruby for most of the backend, with Rails, PostgreSQL and Redis making up the majority of our core product. We use modern front end tooling, with ES6, React and Tachyons. When it comes to shipping code, we love GitHub code reviews and making CircleCI happy before anything gets into production. We mostly deploy to Heroku, with some heavy lifting on AWS. We favour feature flags over staging environments and deploy to production as often as we need to; deployment cycles shouldn’t get in the way of delivering value.

We’re looking for an experienced Ruby developer who thrives in small, fast-moving engineering teams.

If this sounds interesting, you can read more & apply at https://korukids.workable.com/jobs/622008 or email me directly at michael [at] korukids.co.uk
SUNY (State University of New York) now offers full tuition coverage for NY residents.

https://www.ny.gov/programs/tuition-free-degree-program-exce...
I did a background check and things do not add up for me.

https://news.ycombinator.com/item?id=16037746
Yes, when you fork all the pages in the address space are referenced, and copied when modified.
However if you have a GC it will go around touching objects in the child process, and there's a good chance it will end up touching a few bytes in each page, nullifying the benefits of COW.
It's because a good proof conveys human-level insight first and foremost, and the details are often mental baggage that can be sorted out later.

Proof assistants are the opposite. Sacrifice intuition and insight for the sake of correctness.

This is also why mathematicians love picture proofs.
I think, having kids in Switzerland is only expensive if they are 2-3 years old because "Kindergrippe" is not public like in Germany. Kindergarten and up is public and free.

It's true there are not many embedded jobs, but I know at least 1-2 companies (e.g., bbv.ch), contact me if you want more information (my e-mail is in my HN-profile).
If your job is to prevent very rare events (the number of people willing or capable to take down a passenger jet is apparently very small) then I guess you could get away with it for a long time
In 1959, Edward Teller warned the oil industry about global warming
What I learned in 2017?
Elixir + Erlang
United States Digital Service | Senior Software Engineers, Senior Site Reliability Engineers, Senior Designers, and more! | Washington, DC | ONSITE

https://www.usds.gov/

The best of technology. The best of government. And we want you.

We're looking for the most tenacious designers, software engineers, product managers, and more, who are committed to untangling, rewiring and redesigning critical government services. You'll join a team of the most talented technologists from across the private sector and government. No government resume required! We work on some of the biggest issues affecting the American people there are, immigration, veterans service, students, health care, and more. We're especially looking for talented senior engineers to join us to help shift move government tech in the right direction. See our most recent Report to Congress for examples of what you could be working on:

https://www.usds.gov/report-to-congress/2017/07/

Apply here:

https://www.usds.gov/join
Hey Aaron, really appreciate you letting me know [=
Wow, you're really dismissing the power of propaganda? You really don't think people seeing anti-hillary memes and posts on Facebook from Russian trolls all day didn't have a huge effect? You're seriously underestimating the power of "advertising".
Radioactive decays and cosmic particles flipping bits give an upper bound for reliability well below 99.9999999999%

If it works 99.9999999999%, then it has a failure rate of 0.0000000001%, or 1E-12. Considering that a modern CPU executes approximately 1E9 operations per second, and that regular HDDs have a worse-case BER of 1 in 1E14 bits, 1E-12 is actually rather horrible and the actual error rate of computer hardware is much better than that.

Imagine if a CPU calculated 1+1=3 every 1E12 instructions. At current clock rates, that's a fraction of an hour. Computers simply would not work if CPUs had such an error rate.

I picked the 1E-12 number arbitrarily, but it's quite illustrative of the reliability computers are expected to have, despite their flaws.
We aren't reading his mind, we're listening to his words.
Right? I wonder how much they paid for this article. Also strange timing talking about a “small” team of engineers when they’ve been in the news for having thousands of people manually moderating content.
I thought of this quote while reading the article:

It can hardly be a coincidence that no language on Earth has ever produced the expression "As pretty as an airport." Airports are ugly. Some are very ugly. Some attain a degree of ugliness that can only be the result of a special effort. This ugliness arises because airports are full of people who are tired, cross, and have just discovered that their luggage has landed in Murmansk (Murmansk airport is the only exception of this otherwise infallible rule), and architects have on the whole tried to reflect this in their designs.
Agree 100% about Kona. Very casual feel. Be sure to check out the Onizuka Space Museum if you have kids.
Innocent users might be caught by this, but so far that's entirely hypothetical.

The user that posted this has a pinned repo named "AimTux." The second guy is a contributor to "catbot." Ditto the third guy.

One of the people in the thread suggests that he wants to have a TF2 aimbot installed, but it's not for cheating at TF2, honest.
True, and it happened recently to NiceHash.
Yet the miner looses a portion of generated cash, not the capital (here GPUs)
An NES emulator ported to WebAssembly using LLVM and Rust's native WASM support
If it is hardware Microsoft also will be patching.
Valve is well known for being immune to the normal repercussions of having awful PR. For some reason, the market forgives them despite having downright hostile interaction with the community on a regular basis.
Some trace it back to Clinton. He would have gone after UBL but was distracted by the impeachment proceedings against him.
math resides in the land of abtractions(fantasy land) and actual code has to run on actual physical machines in the real world. In the real world you can't just state an axiom and fix bugs as math people have solved all their problems in the past 150 years.
A history of modern init systems (2015)
I would like to know too. I know some PoS coins are there but I do not know of existing validator pools.
Jonathan Blow – Truth in Game Design (2011)
I’m inclined to agree, at first I wrestled with the idea that the market would adjust such that staples like rent and groceries would merely increase in price, or that a large distribution of the population would merely hand their money to the savviest players of the money accumulation game, but now I see the utility of simply having guaranteed recurring chances

Finally, I realize that this doesnt have to come from the state. Foundations and other aspects of the private sector are capable of doing this on a larger scale than we realize
My company is in the process of building out an integration test suite for our microservices platform. A few pain points:

1. The tests themselves are housed in a separate repository, so you can't update the tests alongside your service. This means every change to a service has to be backwards compatible. Hello, multi-step rollouts.

2. Our environments must be highly configurable, so that every permutation of versioned services can be integration-tested. This is forcing us to adopt an unnecessarily complex container orchestrator.

3. Service owners are not excited about setting up and contributing to yet another project. We end up with a lot of out-of-date integration tests. Lots of noise, if you ask me.

I think a combination of contract testing (e.g. using Swagger, Pact) with monitoring, canary deployments, and automatic rollbacks would be easier to maintain and just as effective at catching bugs.
(To be clear, it shells out to an existing SAT solver. If I understand correctly, the 1500 lines of C implement the "modulo theory" part of "satisfiable modulo theory" — that is, they "compile" things like bitvector addition into pure boolean circuits.)
Good intentions obviate the need for evidence based policy making?
No, but they prevent everybody with ill-intent from exploiting the issue en-masse
I understand, I am not saying those are not his intents. I am saying why should we assume that its already the case when its clearly not. "banning whole class of people" is a false statement, right? Its really weird to say something bogus and say its true.

Its like me saying "America has achieved complete energy independence" today because trump campaign promised it.
The current miniaturization of DRAM circuitry doesn't really allow for a hardware fix for the RowHammer attack. During DRAM manufacturing a test similar to the RowHammer attack exists. This test has certain bounds for passing. If the bounds were tightened up to the level of perfection to prevent the attack it would drop the yield a considerable amount.
>Google, Facebook, Amazon, Apple - all need to be shut down in their present form.

I can appreciate the sentiment, but then Baidu, WeChat, Alibaba, and Xiaomi win.
I did go to Denmark, and already came back. I spent the whole time there being depressed and not adapting, and I freaked out and came home because I thought it would never improve. Coming home didn't help either. I'm doing cbt now and waiting to see a counselor. I want to get my head straight and return to Denmark.
Not sure I agree with the general premise that what the vast majority of consumers of journalism want is proven transparency versus reinforcement of what they already agree with and tribalism.

The article seems to completely ignore many real world factors of human psychology present in people’s relationship to consuming news as well as the complex financial forces involved, or propagandist motivations of some state controlled media.

Also doesn’t account for news sources shifting dramatically to being mediated by social media gatekeepers rather than direct relations between publisher and consumer so it doesn’t account for pervasive filtering and how well researched and transparent journalism is pushed out for tribalist click bait anyway.

Nice utopian vision but too far removed from key real world factors to be practical I think.
Esperanto exits stealth mode, aims at AI with a 4,096-core 7nm RISC-V monster
Remember when Valve's official stance about VAC was that it will only ever detect cheats, that it doesn't make mistakes, and that if you got a VAC ban, you had it coming?

And then they had a number of false positives over the years where they had to rescind the bans?

And now they're detecting things that aren't cheats. A username on the local machine is not a cheat, end of fucking discussion.
No. Reasons Trump "won", in order:

1) 2m voters were disenfranchised. 200k in Milwaukee alone.

2) Racism

3) Electoral college

4) $3b free earned media for Trump campaign.

The clutching of pearls over fake news, facebook, Russia is because the above factors make these contests close enough for the GOP to snatch victory out of the jaws of defeat.

The stickiest wicket in all this: Just like in 2000, the Democrats cannot just say the system is broken, for the risk of further demotivating voters. So they just suck it up.

Meanwhile, corporate media concern trolls with "unlikeability", "Benghazi", "hacked emails". Pretty much any outrage, distraction to keep people from acknowledging the emperor has no clothes.

PS- HRC won the popular vote.
Shopify | Developer | Toronto, Ottawa, Montreal, Waterloo | FULL-TIME ONSITE VISA| http://shopify.com

Shopify is a platform that allows entrepreneurs to easily setup an online store. Our products help merchants who are just starting as well as established brands that need a solution that can scale with their traffic.

We're always working on products that make it easier for entrepreneurs to reach their audience and help them make data driven decisions.

Shopify is built in Ruby on Rails running on a stack composed of Docker, Golang, Mysql and Redis. Our data infrastructure uses Kafka, HDFS, Zookeeper and we use PySpark and Sklearn for our data modeling and machine learning tasks. If you're interested in building tools that empower Entrepreneurs come take a look at who we are and what we're doing

- blog: https://engineering.shopify.com/

- github: https://github.com/Shopify

- job postings: https://jobs.lever.co/shopify?lever-via=XBuWsYM_Q2
Huh, I don't understand. If it's so easy why don't they do it? Oh the "value of store" goalpost pivot. Right!

Let me add some reality checks here. Irrespective of the fees problem - I know Segwit, Lightning network etc will solve everything, the real reason they don't is because Bitcoin/cryptocurrency is difficult for people to understand and use.

Most of the discussions about bitcoin et. al forget at the end of the day your system should be able to cater to a layperson. Currently, looking at Bitcoin discussions reminds me of this scene from Silicon Valley TV series:

https://www.youtube.com/watch?v=Ml92QEqE-RQ
I wonder if it would make sense to count things like healthcare and education as income. For instance, there are people who think my healthcare benefit should be taxed, and others who want the tuition waiver for graduate students to be taxed. So they are "income" when it's of interest to do so.

In this sense, we provide a lot of "basic income" to people, such as public education, police presence, various kinds of physical infrastructure, etc. The quality of those services could certainly be debated. My own "take" on basic income would be to bolster those services, perhaps even to a radical extent, but to consider that they are still not a complete substitute for each person having some discretionary income.
It has never on been the consumer to know who has a license to someone else’s copyrighted work

So, no I dont have any qualms about sci-hub

I have qualms about convenience, I rarely download torrents because Netflix has provided the convenience Ive enjoyed since 2002

Do what you need to do to help the monetization model of academics, not my problem
This is not UBI, this is charity. Big difference. I would be willing to give 22$ a month to a Kenyan person in need from my own personal income. Forcing society to do this through point of gun at government enforcement is wrong and I will never support it.
I agree, unfortunately the number of titles is an order of magnitude less on GOG. Still, I have over 50 games from GOG and just over 100 from Steam. Anecdotal I know, but I find the GOG lineup more curated and less filler than Steam.
Yes, I've noticed this very often. Also people who use RTL override and type text backwards.
IANAL, but I think you can't infringe copyright if you are not distributing anything. OCR is not distribution.
I have to wonder how many people would go "Yeah, sketchy cheatbot app, go ahead and run as root. That seems like a good idea."
But have you not noticed that among people of any religion, there is more often these days a tendency to "pick and choose" the best part of the traditional teachings. For example, across different Christian faiths, you're more likely to hear about love and acceptance than being dammed to hell. Nobody wants to hear that second part, so it got dropped.
How to build a keyboard
i wonder how visual methods like this could monitor for sign of voter fraud. you could probably film polling places and use peoples faces as ids, and clothes and gender and age to get some reasonable estimates
Some of these patches are already on stable marked kernels. In fact, I'm already running them. There was also an issue where some different default GCC flags hardened gentoo uses was causing the kernel to not be able to boot.
How I Learned Programming
Like an array ? No they aren't. He creates a grid of bubbles and displaces that grid
I had a similar wording for my resolution last year:

>Create, not Consume

Even tried making a poster out of it.
Fort Smith Mosque Forgives Its Vandal, Paying His Debts