skysight-inc/HackerNews huggingface dataset:
> He also makes an interesting point related to what you're saying: the SEC says the risk management controls were inappropriate, but clearly Knight thought they were appropriate or they would have fixed it.

> This would mean that Knight Capital did have appropriate controls the day before the accident.

I think these claims are seriously confused.

SEC fines don't require mens rea, so Knight is simply being punished for having inappropriate controls, their view on the matter be damned. Kitchensoap rightly observes that "this event was very harmful" does not imply "this event was caused by extreme negligence". But the SEC filing focuses on alerting and controls; position limits don't prevent a specific misstep, but they limit the maximum size of any error that does occur. (Knight had position limits on accounts, but didn't use them as fundamental boundaries restricting actual trade volume.) The thesis is that Knight should have prepared to mitigate "unknown unknowns", in which case the size of the error is relevant because the size was exactly what should have been controlled for.

On appropriate controls, SEC fines are certainly outcome-biased, but the claim is obviously that these controls were always inappropriate, and the disaster simply revealed them. Post-disaster punishment creates an ugly system where people who don't take excess risk can be outcompeted before their competitors crumble, but the rule isn't actually conditional on failures.

Kitchensoap asks whether Knight would be judged so harshly if they'd only lost $1,000. Socially, perhaps not, but legally they actually would have! The SEC isn't just punishing Knight for losing money but for disrupting the market with improper trades; it specifically notes that for some "...of those stocks, the price moved by greater than ten percent, and Knight’s executions constituted more than 50 percent of the trading volume. These share price movements affected other market participants...". A smaller loss wouldn't have defended against that charge, while a smaller trade wouldn't have violated SEC rules.

I think the author is basically aware of this, since his fundamental point is that the SEC is describing the legal wrongs rather than the technical mistakes. That's a good point and I'm glad you linked this. But I think his focus on the specific deployment error neglects the fact missing position controls were the larger legal and technical failure.
Indeed | TDM Technical Development Manager | Onsite or remote | Seattle WA | Full time We are looking for a Manager to join our team full-time. A TDM at Indeed is both technically savvy and has the leadership piece to guide our engineers. Our Assessments team has a simple mission: help candidates get the right job. We let people build a profile to demonstrate their knowledge, skills, and abilities using job assessments… we’re trying to make the resume a thing of the past. Our team is highly distributed geographically so this position is open to remote candidates anywhere in the US or Canada as well as in our offices in Austin and San Francisco. Our team is nimble and scrappy. We ship new capabilities often and quickly by explicitly asking ourselves the 80/20 question a.k.a. the Pareto Principle.
You will: Build the core functionality of our assessments platform and own design and execution Develop our API and integrations with external applicant tracking systems like Greenhouse and Jobvite Scale to serve 100M+ job seekers

Please apply here:
https://www.indeed.jobs/career/JobDetail/Remote-Engineering-...
I don't always look for the publication date before I skim the abstract, but...
If aramco is a company, so is the united states IMHO
Why not? Well, did you answer yourself if that is what you want? I mean "going into the industry". If you feel that a postdoc suits your needs then go for it. Also, there're many problems to be tackle in ML.
I have not seen claims by Yang that this will be paid for by growth. Please cite your reference.

It would be paid for by a value added tax of 10%.
> Updates, merge and rebase are not supported. Use irmin instead.

So essentially, OGit cannot be used as a CLI replacement for Git?
I am into good (read that, musical, non-repetitive, not mindlessly derivative) electronic music, and can't agree more. I tried to like Skrillex. I don't get it.
Making this go fast and suitable for use in the Irmin (irmin.io) branching db has been a fun and multi-year effort.

See https://discuss.ocaml.org/t/ann-ocaml-git-2-0/2740 the discussion on how ocaml-git 2.0 came to be, and some of the libraries and abstractions that had to be developed for it. A lot of those are now being applied to other protocols in MirageOS, such as the new e-mail stack (who would have thought MIME parsing would be so difficult? https://github.com/mirage/mrmime)
Kira Systems | Multiple Senior Software Developers | Toronto, Canada | Remote | Onsite | https://www.kirasystems.com

Kira Systems makes contract analysis software. We are always looking for talented people to join our team locally, remotely, and for those looking for change to relocate to our headquarters in Toronto.

We're hiring Senior Developers to work in all areas of our stack. Possibilities include working on Clojure web server, backend data processing services, and both our platform API and SDK. We use PostgreSQL to store our data and don’t hide SQL behind big frameworks. We also use many other popular technologies such as RabbitMQ, Zookeeper, ElasticSearch, and Docker.

For more information, visit our careers page https://www.kirasystems.com/careers or email us at jobs@kirasystems.com.
It's not so much the act of killing that is manifestly unethical, but rather the life it leads before death.

Obviously the debate has a lot to do with your belief in consciousness and ego. Does a lamb have an ego and is it conscious of its own mortality (in the abstract sense)? Does the sheep suffer existential angst? Are these requirements for the industrialised raising and slaughter of animals for food to be unethical?
Location: NYC area

Remote: No

Willing to relocate: No

Technologies: Node.js, Javascript, Ethereum, Blockchain, React, AWS, Mocha, SQL

Resume: https://drive.google.com/file/d/1PaHqTYy9YB7RQjl5WT6yPTobKWs...

Email: isaac at eyezick.com
Show HN: Jupyter Kernel for Coq Proof Assistant – coq_jupyter
Yes, but what did the Soviets know about math? Uh, Kolmogorov, Gel'fand, Dynkin, Shiryaev, Pontryagin, etc.????

My take is that by age 12 they should be doing calculus from one of the best college texts.
I don't view myself as coffee - if your employees are fungible resources, I don't want to work for you (99.9% of the cases, there may be exceptions, but they're just that - exceptions).
The money comes from somewhere. No matter how you slice it, we're going from ~25% government revenue as a percentage of GDP to mid 30s or as high as 45% of GDP sent to the government. Only 3rd world countries and some small European States have that kind of tax/GDP ratio. For reference, Canada is 31%.

So the plan is to pass one of the biggest tax hikes in US history (probably the biggest one during peace time) and then keeping our fingers crossed hoping for rapid, consistent economic growth following said massive tax increase. I think I'll pass.
but that is what it would be, if it were.

Would you deride someone for using $LYFT a week ago?
Seung Lab (Eyewire) | Game Dev (web) | Boston

Build a game to map multiple petabytes of brain data that was segmented using neural networks using thousands of GPUS and tens of thousands of CPUS.

Ever thought that the field of neuroscience didn't have enough gaming? No? Well we're giving the world the neuroscience/game collab they never knew they needed! Join us to revolutionize science through crowdsourcing by building a game to map the brain. We've already got one citizen science game under our belt and we're looking for a developer to help us build a new one. Typescript, Python, SQL, WebGL. No neuroscience background required, but a love of games recommended!

Our downtown Boston office is a satellite of Princeton University's Seung Lab. You can check out our current game at eyewire.org

Apply online at https://stackoverflow.com/jobs/242232/game-developer-for-neu...
or send a resume to jobs@eyewire.org
Scribd | Software Engineers and Engineering Managers | San Francisco, Toronto, Amsterdam | ONSITE or REMOTE | VISA

Scribd is a reading subscription that gives you access to the best books, audiobooks, magazines, and more. Our mission is to change how the world reads. Beginning of this year we hit 1M paying subscribers (https://techcrunch.com/2019/01/28/scribd-1-million-subscribe...)! We are one of the oldest YC startups (YC ’06), operating one of the largest Ruby on Rails sites.

We are hiring software engineers across the board.

For engineering managers we are looking for someone who is experienced in leading, coaching and mentoring a software development team that delivers stable, high-quality software. You have a strong technical background and are able to contribute to planning and technical design, and believe in building teams and practices that scale. You can motivate and instill a strong sense of ownership and pride in your team.

Scribd has a very friendly, engineering-driven company culture with competitive salary and great benefits. We are ambitious but at the same time we value a good work life balance. In general we care way more about your personality and hacking skills than what languages you’ve used so far.

We have hired many people from these threads, including myself. If you have questions you can reach out to me directly at adrian at scribd.com (I'm the Head of Technology and happy to answer questions related to these roles). Please apply directly via https://jobs.lever.co/scribd?lever-via=ze1h-jCbee
ogit isn't really intended to be a CLI replacement for Git. As the comment above implies, it's a support library for higher-level applications or libraries that use git, such as irmin.io
Not really. I run large enterprise apps on it and it’s cheaper than anything else I’ve used.
I program in C, C++, and Python at my day job, and those languages are pleasantly stable.
On the idea that we need motivation, I have been practicing the concept of mini habits to overcome the barriers that the brain puts up when using motivation.

https://tysonmaly.com/books/how-to-make-habits-the-easy-way/

I think keeping a few key concepts like Parkinson's law and Pareto's law as well as thinking about what is actually going to move the needle helps.
If the current president couldn't pass a bill for his signature campaign issue (a $30B wall) when both chambers of the legislature were held by his party, Yang is probably not going to pass a $3T+ per year UBI bill when likely just one (the House) would be held by his party. But it would make for interesting discussion on the campaign trail.
I would almost argue the contrary: Cloudflare makes self-hosting more possible, when you're going up against the large cloud hosting empires like Amazon and Google and Microsoft. You may not be hosting on one of those, but you can slap a little Cloudflare in front of yours to give your own server similar levels of robustness... and you can always turn it back off if they ever become a problem, since you aren't using proprietary APIs and services to power your server.

If anything, I've kinda been hoping Cloudflare would realize self-hosting and decentralization is what they should be supporting and pushing, as it's when using their CDN makes the most sense. And obviously, Amazon and Google and Microsoft all have their own CDN capabilities, so the less people using their cloud services, the better for Cloudflare.
Online demo: https://mybinder.org/v2/gh/EugeneLoy/coq_jupyter_demo/master...

Source: https://github.com/EugeneLoy/coq_jupyter

Coq site: https://coq.inria.fr/

Nice Coq tutorial: https://coq.inria.fr/tutorial-nahas
Compass | Founder Role | San Francisco, CA | Onsite, Full-Time | https://www.letscompass.com

We are building a real-time price comparison search engine to take on Google Shopping. We are a team of two developers with experience successfully building scalable e-commerce companies. We are looking for another Software Engineer (or tech savvy marketing expert) to join us.

This role will be equity only, we are looking for someone to be on the founding team.

Tech Stack: Python, Django, Postgresql, React, AWS service

Sound interesting? Email me at casey@letscompass.com
This has been subject of administration theories for the last century: https://en.wikipedia.org/wiki/Management_by_objectives#Argum...
It's been pretty common and a big part of why Netflix created the service iirc. ISPs have been throttling netflix as a negotiating tactic when creating peering agreements for upstream traffic or deploying more content servers. The whole process has been really horrible imho. Some mobile providers do it to force lower quality streams, that in fairness are probably more appropriate for small/mobile devices. 1080p-4K are probably overkill on a 5-6" device.
Same here, I used to wrestle with PHP, then I just accepted that the best path to make a productive use of my time was just to use it, the same way as you do.
> It’s an indication that Yang is running a rather methodical, data-driven, science-happy campaign.

Being a (1) "good grades" person trying to (2) solve "bad grades" problems (like things the govt. does) and (3) having essentially no personal experience in "bad grades" problems is a recipe for disaster.

To keep this on topic to the forum, this cultural disconnect between good grades and bad grades society makes it really hard for giant tech companies to enter new markets.

In my personal experience, a clear example of this is Google Stadia, which is all good grades people who don't really play games trying to make a product for bad grades people who play games all the time; or bad grades people who couldn't work at Google but are talented in some other way so they work for a game studio.

It's also why so many investors get sucked in by "fraudsters." They have the intuitive notion that being in bad grades society makes you more effective at understanding the average person's problems. But the interface between good and bad grades involves a lot of lying!

Andrew Yang is kind of a distilled example of this, talking about stuff that only people who lived in exclusively good grades society would believe is effective on the face of it. It's not quite the same as being super rich versus super poor (the typical dichotomy), because many people are super rich and got bad grades and just don't believe in the supremacy of technocracy as dearly as people who are its biggest beneficiaries.

The real problem is that when you're so deep in the thick of good grades, it's so extremely hard to open up your perspective. You think you're entitled to make all the decisions, and you think wielding power safely is to do so while expressing photographed emotions between dispassionate and smiling.

Meet the Zuckerberg Robot Meme the Presidential Candidate. At least Mark Zuckerberg had the good sense to look at the Facebook data and his New Jersey ed-tech experiment realize how deeply unelectable (and unqualified) he is.
Textio | Seattle, WA USA | Full-Time | On-Site

Selected as Washington's #1 Place to work!
At Textio, we're changing the way people write. We predict how your writing will perform based on previous real-world results from similar documents. We have some of the largest companies in the world as customers, and we're hiring engineers across the board to help us solve difficult problems. We have a tight-knit, friendly, and experienced team, an incredible product, and a bright future.

Buzzwords for Keyword Searchers: AI, NLP, Machine Learning, ReactJS, SaaS

All Textio careers - https://textio.com/careers/ Check out our team - https://textio.com/team/

Open Roles: Senior DevOps Engineer, Senior Full Stack Engineer, Senior Software Engineer - Backend, Senior Data Scientist - Analytics, Senior Data Scientist - Modeling, Senior Technical Program Manager, Senior Product Manager, Customer Success Engineer, Customer Implementation Specialist, Senior Data Journalist, Account Manager, Director of Account Management, Lead Account Manager, Market Development Manager, Senior Account Executive, Chief Revenue Officer, Director of Sales
That's not how he portrays it though:

The means to pay for a Universal Basic Income will come from 4 sources:

1. Current spending. We currently spend between $500 and $600 billion a year on welfare programs, food stamps, disability and the like. This reduces the cost of Universal Basic Income because people already receiving benefits would have a choice but would be ineligible to receive the full $1,000 in addition to current benefits.

2. A VAT. Our economy is now incredibly vast at $19 trillion, up $4 trillion in the last 10 years alone. A VAT at half the European level would generate $800 billion in new revenue. A VAT will become more and more important as technology improves because you cannot collect income tax from robots or software.

3. New revenue. Putting money into the hands of American consumers would grow the economy. The Roosevelt Institute projected that the economy would grow by approximately $2.5 trillion and create 4.6 million new jobs. This would generate approximately $500 – 600 billion in new revenue from economic growth and activity.

4. We currently spend over one trillion dollars on health care, incarceration, homelessness services and the like. We would save $100 – 200 billion as people would take better care of themselves and avoid the emergency room, jail, and the street and would generally be more functional. Universal Basic Income would pay for itself by helping people avoid our institutions, which is when our costs shoot up. Some studies have shown that $1 to a poor parent will result in as much as $7 in cost-savings and economic growth.

From https://www.yang2020.com/what-is-ubi/
I can't tell.

Modified on: March 13, 2019
I guess that doesn't make sense to me. If Jason offered you your own sub-project to run with, why can't you "move fast"?

>I
thought the invitation to put their engineers as the head of a
WireGuard subproject was a cool invitation, but alas.

https://lists.zx2c4.com/pipermail/wireguard/2019-March/00404...

I mean no offense, but the response comes off as corporate approved PR. "We need to move fast" when you haven't actually even tried engaging with the parent project and have no idea whether or not it would prohibit "moving fast" is disingenuous IMO.
FYI there is a tool (Spiderfoot) that has this capability specifically targeting the OSINT space. You may be able to leverage the same method they use to add more capabilities to this tool.

Spiderfoot - https://github.com/smicallef/spiderfoot/blob/master/modules/...

Resource used by Spiderfoot to do account lookups - https://raw.githubusercontent.com/WebBreacher/WhatsMyName/ma...
Vernon Lee’s “Satan the Waster”
NBC News Digital | New York (Rockefeller Center) & Seattle | Full-Time | Onsite | Several Software Engineering Positions (varying seniority) Details: NBC News is one of the most trusted news sources in the world and has a heritage of technical and product innovation in both broadcast and digital.
We are hiring multiple positions for our front end, content tools, apps, data analytics, and API teams. Software engineers on our team work with technologies like React, Node.js, Go, GraphQL, Elastic Search and more to create the platforms that power NBC News's websites and applications. We collaborate closely with product managers, designers and the newsroom to build products that help manage NBC's content and make it accessible to our web sites, apps, developers and other experiences. We offer competitive salaries, great benefits, and awesome views from a landmark skyscrapers in Manhattan and downtown Seattle.

A few of our roles:

- Senior Software Engineer, Front End Web, New York: http://nbcnewsdigitaljobs.com/post/182918122693/senior-softw...

- Senior Frontend Engineer, Growth, New York: http://nbcnewsdigitaljobs.com/post/182918031988/senior-front...

- DevOps Engineer (AWS), New York: http://nbcnewsdigitaljobs.com/post/176964275938/devops-engin...

- Senior Software Engineer, Backend Systems and APIs, New York: http://nbcnewsdigitaljobs.com/post/176961728908/senior-softw...

You can see all open roles here: http://nbcnewsdigitaljobs.com/work-here

If you have questions about these roles please feel free to email us at news.digital.tech@nbcuni.com
>If you really want to make a statement, stop flying and stop paying money into the TSA.

This is a non-argument. Flying is a part of modern life. For a large percentage of the population, refusing to fly would lose them their job, as would refusing to use a mobile phone or insisting on being paid with cash.

It is self evident to any rational person that it is acceptable to attempt to change a system rather than opting out of it if one sees a problem with that system.

>This is a really shitty attitude to have towards your fellow human beings. Do you also shame people working at McDonalds for enabling their rich corporate overlords? Do you hate gas station attendants for contributing to global warming?

I don't see the connection to McDonalds employees. Please explain how McDonalds employees are like TSA workers.
Galatea Associates | Associate | Boston/Somerville, Tampa Bay, Durham, and London | ONSITE

Galatea Associates has established a rock-solid reputation among Wall Street investment banks for delivering mission-critical systems in a timely and efficient manner. We've built this reputation with our excellent teams and our unique organizational approach. Some of the largest financial firms in the world choose to partner with Galatea. Read about some of our past projects here: http://www.galatea-associates.com/about/projects/

Associates at Galatea excel at combining technical skill with industry knowledge. Associates don’t just write code, they interact with our clients to understand their challenges and continue to work with them until they have built solutions that work. We strongly emphasize growth and learning in our Associates. Senior members pass on their development, client interaction, and team management skills and give them the opportunity to take on more responsibility. We want Associates to feel empowered to control their future here.

To learn more about Galatea Associates, current career opportunities (Boston/Somerville, Tampa Bay, Durham, and London), our fun and unique culture please visit: http://www.galatea-associates.com/job-openings/ or submit resume and letter of interest directly to: careers@galatea-associates.com
Okay I misunderstood, thanks!
Location: Las Vegas, NV

Remote: Yes

Willing to relocate: No

Technologies: UX, UI, Visual Design, Prototyping, Wireframing, Ideation, HTML5, SASS, Less, CSS3, Adobe CC

Resume: https://rodhoward.design/Rod_Howard_UX_Resume.pdf

Portfolio: https://rodhoward.design/

Email: rod@rod.me
The N-Word Crisis
Base salaries offered to software engineers in SF, NYC, and Seattle
Fortunately Apple doesn't use their wealth to assassinate detractors...
Right... if we are counting nationalized entities it's not a fair comparison really.
If you think that's something, try the Noisia remix. The Noisia remix makes the original sound like elevator music. It's a shame the paper didn't mention whether the Noisia remix had any effect on Aedes aegypti compared to the original :-)
>I've had my genitalia groped exactly zero times by the TSA.

>or you're an ordinary person of color, not sure which.

Yeah, and that's fine, right? We shouldn't go out of our way to tell the TSA that's not acceptable or anything /s