skysight-inc/HackerNews huggingface dataset:
For an even more basic introduction I'd recommend starting with Lawvere and Schanuel's Conceptual Mathematics: A First Introduction to Categories. Requires less abstract algebra. If you have some mathematical intuition then this is the book to start with.

I'm surprised he cites Sets for Mathematics but doesn't include it in his further reading. If you have some university level abstract algebra (groups, rings, vector spaces, topology) then Sets is a quicker start and better reference guide for Category Theory. I started with this book before I had done any abstract algebra and I quickly got out of my depth. But when I did get more algebraic structures under my belt, I had quite a few aha! moments and referred back to this book quite frequently.

I haven't read Awodey's introductory Category Theory book so I can't comment there.

Speaking of Category Theory: Bill Lawvere is an interesting and exceptional 20th century mathematician who probably has less name recognition than he deserves. Lawvere's Wikipedia page: https://en.wikipedia.org/wiki/William_Lawvere
Once a worker has enough savings such that he won't be a public charge in retirement there's no public interest in further savings. We don't need to incentivize behavior that only creates private benefits, such behaviors are their own reward.
EU to boost border checks on cash, gold to tackle terrorism financing
Location: NYC, NY

Remote: Yes

Willing to relocate: Yes

Technologies: Haskell, Ruby/Ruby on Rails

Résumé/CV: http://alexeyzabelin.com/assets/resume.pdf

Email: zabelin.alex@gmail.com
I absolutely love the concepts behind Picolisp, but really wish Alexander or the community would write a beginners tutorial. I can mostly understand some of the reference material, but it is just too strange coming from a traditional imperative background.
> google says they give better ranking to https sites, thats simply not true so far as i have seen

I believe Google says they use HTTPS as yet another signal they use to rank your site, not that they will significantly push up HTTPS sites over other signals they use, like 'quality of content'.
The Initial Commit: An exploration of the people behind open source projects
https://patents.google.com/
CES 2017: UK support to tech firms 'an embarrassment'
RTFA Chinese businesses use Twitter to advertise to the West.
>You could say the same thing about social security too though I don't think I'll get back >= 100% of what I put in.

You rarely get back your insurance premiums either.

It's called social security for a reason.
Another example is allowing the employee preferential access to overtime in the last year, or them exercising unused vacation time as a one-time cash payout on retirement.

The overtime thing is the most galling, since it's generally straight-up theft of government resources. There's no legitimate government purpose to the extra hours. The theft is culturally accepted by government employees because it costs more than garden-variety timecard fraud -- you don't just get to steal the marginal hour's pay, you get to steal X0% of that every year for the rest of your life, automatically. And it becomes culture in these institutions -- you cover for others because you expect someone to cover for you once it is your turn.
This is not quite right, as I see it. If you save 10% of your income, you need to work 51 years to get to a safe amount of money for retirement (25x your annual expenses). If you start at 20, that puts you at 71 years old.

Note: This math assumes you're going to earn ~5% in the invested savings each year (after inflation), and that you can withdraw 4% of your invested sum each year in retirement.
Life Lessons from a Guy Who Can’t Move Anything but His Face
Okay, I get this is a design oriented post but the page was still loading content related resources (a couple of GIFs it seems) and was over 70+MB before I decided to just leave.

A good 7 or 8 seconds had passed as I watched the source size climb.
Are there any resources for those of us persistently looking for jobs? I graduated from CMU with a CS degree in 2004 but never found an entry level job. Everyone tells me it should be easy to find one and then gets upset when I ask where. I am a C/C++ programmer just trying to survive.
Missing https://github.com/lucee/lucee (open source version of ColdFusion)
Which of these projects has a truly open development process that takes place in public and on Github?

Are most (or some) of these developed internally by whichever enterprise is behind the language where developers at those companies "bake" commits and then push them up after going through an internal code review process?
Location: Central Kentucky
Remote: Yes
Willing to relocate: Maybe
Technologies: Rails, Ember, PostgreSQL, would like to learn more about Elixir
Résumé/CV: https://www.linkedin.com/in/caleb-sayre-4978477b
Email: DrSayre2002@yahoo.com
Savitribai Phule the woman who helped set up the first school for girls in India
In my opinion, "fair" would be paying people doing the same job the same amount of money...
Holy hell, you aren't joking. I compared my city with SF in their calculator, and they pay 3,6 times more for someone in SF!

That means I can get a $160k rise just by moving to SF! This seems super duper broken.
sounds exactly like jira and bamboo

an empty jira instance on hardware meeting their recommended spec used to take 3+ minutes to start up
Thank you! I was unaware of any of this.

It is understanding that bills are patches, and thus the law works like darcs—patch-oriented rather than revision-oriented.

Does this sound correct to you? I arrived at this conclusion asking people who know nothing about VCS, so something mighthave been lost in translation.
Do you want to work exclusively for "hip" startups in the Valley area? No.

Are you open to working pretty much anywhere else? Yes.

Seriously, there's no doubt that Java and JEE aren't "cool" anymore, but there's also no question that a TON of companies still use Java, including JEE. There will most likely be jobs for people doing JEE for a long time to come.

That said, JEE is like anything else in terms of "don't put all of your eggs in one basket". From a career standpoint, it would probably be good to have some skills in something else as well, to hedge your bets a little. Python seems like a good choice, as it's widely used and has applications in many domains. That is, its uses range from web development, to "big data", to machine learning and data science, etc.

Or jump on the bandwagon for one of newer, uber-hip languages out there, to complement Java. Pick up Rust, or Go, or Julia or something.
Meta | Boston, MA & Lisbon, PT | Full-time, on-site or remote | https://www.meta-icg.com

Meta is a product builder/launcher specializing in machine learning and IoT. We launched our own startups such as our Amazon Go like platform, https://sensei.tech. We also work with other promising startups to help them build, launch, and grow their startups, too. Meta is growing with several positions open especially in software and hardware engineering. Check out the career section of the website for more details.

https://www.meta-icg.com

This one is not listed, but we are growing our partners program for investors, accelerators, and incubators. If you are interested in helping grow or participate in this program, please email Randy Carlton <rcarlton@meta-icg.com>.
Bodyport (YC S15) | Senior Data Engineer | San Francisco, CA | ONSITE - http://www.bodyport.com

At Bodyport, we are on a mission to eliminate the leading cause of death worldwide - heart disease. We are bridging the gap between hospital grade medical devices and the health tools presently available in the home. Our first product uses a novel sensor technology to rapidly screen for the major risk factors of heart disease in under fifteen seconds. The clinical-grade data measured by our system fuels algorithms aimed at predicting and preventing the onset of cardiovascular disease.

By joining us as Data Engineer, you will play a critical role at an early-stage company dedicated to bringing lifesaving medical technology into every home. You will work directly with our data science team to implement a backend that will enable the design and implementation of groundbreaking learning algorithms capable of improving the health and lives of all people.

Apply here: https://jobs.lever.co/bodyport/
Like making your own Micky Mouse movie.
I was introduced to the Creative Whack Pack in college. It does come in handy. I think it predates Eno's version.

https://creativewhack.com/product.php?productid=64
That's crazy talk. I like Ferraris, should I get paid the same as a Honda-liking person? How am I going to pay for my Ferrari then?
Clever (YC S12) - San Francisco - onsite

Right now the market for educational software is a mess. It’s incredibly difficult for developers to get their products into schools, and it’s even harder for them to scale. School districts spend tons of money on learning applications, but they have no way of knowing if students are even using the apps they’re purchasing. Teachers know there’s great software out there, but relatively simple challenges like getting 30 students logged in at once make using it impossible.

At Clever, we’re working to change all that. We provide schools with a free API and single sign-on solution that makes using educational apps a breeze. We’ve grown fast: after four years, half of all schools in the US (65,000 schools) are using our platform. Our goals are much bigger than that, though. We want to be two things:

-a single place where schools can easily integrate, manage and analyze all the software they’re using, and

-a single identity that students can use to see everything they’ve learned across multiple apps.

We’re a team of 120 (40 engineers) based in downtown SF, and we’re looking for engineers who enjoy working in (or would enjoy learning) Go, Node and React. More generally, we want people who are sharp, adaptable, and passionate about improving the way education works for everyone. In particular, we’re looking for a security-focused software engineer: a creative thinker who’d be excited to help keep students’ data safe.

Check us out at https://clever.com/about/jobs, or check out one of our recent product releases here: https://clever.com/products/badges
VIDA, San Francisco (or remote if experienced). Mid to Senior ReactJS/node hacker.

What we are doing : 'good' e-commerce. (semi-automation in factories, fair pay, alphabetization programs, etc). Very early stage, Google Ventures backed and profitable.

Career page : https://shopvida.com/pages/careers
Techcrunch info : https://techcrunch.com/2014/11/12/vida-raises-1-3-million-fo...

PM me or pablo@shopvida.com
I guess I'm NOT the only person not sold on React/Angular. Unfortunately, all the companies hiring in my area are. :(
Inkless printing without consumables
> A recent theft involving Anthem is a perfect illustration. Tens of millions of patient records were compromised, all were stored in a centralized database, none were encrypted, and no one has been caught.

This is such BS on Anthem's part. Our company works with Blue Cross payers (insurance) and 1) we are required to remain HIPAA compliant and 2) our clients almost always include provisions on additional encryption, monitoring, logging, security, etc.

As a smaller startup with far fewer resources than these large companies, it's really insulting when they can do something as simple as provide data encryption and no store plain-text passwords.
Deprecated: The Ars 2017 tech company Deathwatch
Location: Russia

Remote: yes

Willing to relocate: yes

Technologies: WEB, JavaScript, html5, canvas, React, webpack, TypeScript, CoffeeScript, es6, es2015, data visualization, js

Résumé/CV: I can give you pdf version via email.

Email: lavrton @@ gmail.com

Since 2012 I'm developing web applications. So I really comfortable with web ecosystem.

My niche is single page, "desktop like" application.

My github: https://github.com/lavrton, Sometimes I write post about react, javascript: https://medium.com/@lavrton
Thanks for this link; I'll be exploring. But I do hope this concept (or similar) can flourish without soy.
Interesting (the first part). Not sure why it got down-voted.
If you're saying that simply nobody is hiring, you're not looking. Go apply to any big company. I randomly got contacted by Google the other day and I'm only 1.5 years out of school. I know a lot of people that have been contacted by Apple, ms, and Amazon as well.
Basic Economy Fares Don't Lower Ticket Prices, They Increase Ticket Prices
Gases at the same pressure and temperature have the same molecular density, so lowering molecular weight translates directly into lower total weight of pressurant gas needed.

Alternately, if the propellants allow, it's possible to use those in gaseous form for pressurization (by passing some of it through a heat exchanger). This increases the weight of pressurant gas wasted but it saves the weight of the Helium system, and the complexity, so ultimately it's a big win. Unfortunately, this doesn't work with kerosene so the Falcon 9 needs a Helium system.
I would ping you except that your server doesn't talk to Quitter.se while the rest of the GNU Social federation does so just fine. I'm remote-subscribed to people there yet they don't show up in my timeline. I just tried to remote follow someone and Quitter.se failed that out.
Go is not developed on github. It is mirrored to github.
It's better now:
https://haxe.org/manual/introduction.html

It can still be improved, but it's miles better than it was years ago.
Asahi Net | Kyoto, Japan | Full-time software developers | ONSITE VISA

Asahi Net, a Japanese ISP based in Tokyo, has started a new R&D lab in
Kyoto. We are developing our first product, which would likely be
exciting to those interested in distributed systems, functional
programming, embedded systems, network programming, Linux kernel hacking,
or web development. We are currently hiring for the following roles:

Haskell developer - We are seeking developers who are proficient in
Haskell and want to create secure, reliable, and scalable software.

Embedded systems engineer - We are seeking an engineer who enjoys
developing Linux-based embedded systems. Desired skills include C, Git,
Make, GDB, and POSIX shell.

Web developer - We are seeking a "full-stack" web developer. Desired
skills include Haskell, Python 3, or Go for the server side and
JavaScript for the client side.

Linux kernel/driver developer - We are seeking a Linux kernel hacker
who is network savvy. Desired skills include experience with ODP or
DPDK.

日本語でも相談・面接可能ですので、興味がある方はご連絡ください。

If you are interested, please email me:

intercalate "@" . fmap (intercalate ".") $
[["travis", "cardwell"], ["asahinet", "com"]]
I didn't say anything about lobbyists. I do have an issue with supposedly unbiased experts being on a private payroll without full disclosure all-around. Would you be okay with a NY Times reporter getting funding for a story from Monsanto (without disclosure)?
I don't really know. The language in itself is awesome.

My guess is that there are way too many moving pieces since Haxe needs many side projects to be the universal language it promises to be.
Yes, Microsoft is doing some good work here:
https://code.visualstudio.com/blogs/2016/06/27/common-langua...
From first hand experience - no. Even if you ask politely.
That sounds pretty good! I will check that out.
> It isn't because GnuPG doesn't work well or because it is too hard to use that people don't use it. They don't use it because other people don't use it.

Sure, GnuPG works "well," for engineers. This post is written by an engineer, but engineers are no longer the majority of computer users. If you want to develop mass market products today, coming to terms with that is pretty important.

To even try to draw a comparison between WhatsApp and XMPP+OTR is absurd. For an engineer, maybe the latter is passable, but the billions of people around the world who want to chat on their mobile device, don't understand what a key exchange is, don't understand why they can't immediately see everyone in their address book they can chat with, and don't want to run their own server, it definitely isn't passable.

> Why do people use Facebook instead of Diaspora? It's not because Facebook is better, works well, or is easier to use... It's because other people use Facebook.

> Why do people use Skype instead of XMPP? It's not because Skype is better, works well, or is easier to use... It's because other people use Skype.

> Why do people use WhatsApp instead of GnuPG or OTR? It's not because WhatsApp is better, works well, or is easier to use... It's because other people use WhatsApp.

I'm sorry but this is just not true. Network effects are important, but there's a reason that people are using these networks to begin with. They work really well.

Something like WhatsApp may seem simple, but every little interaction within the app is perfectly polished in a way that GnuPG, OTR, or any XMPP client is definitely not.

> And the reason people initially used Facebook, Skype, and WhatsApp is not that they were easier to use or better. It's advertising. Notice how all of these are proprietary software made by companies with the means to advertise their software? You can bet people would use GnuPG, Diaspora, and XMPP if they had been advertised by companies like Facebook and Microsoft.

As far as I can tell, WhatsApp never spent a single dollar on advertising. Their entire growth strategy seems to have been word of mouth.

These companies have hundreds or thousands of engineers who work on these products full time every day, driving the products forward, making them better and better. That is not something an open source client is ever going to be able to compete with. It just isn't.
Leap seconds don't exist at Google
The Semantic Conception of Truth, by Alfred Tarski
100% wrong. COPVs and carbon fiber tanks are entirely different beasts. In fact, if carbon fiber He tanks had been used instead of the COPV bottles this failure wouldn't have happened.
I had a foot of my small intestine removed and I'm building Gut.ai
> Twitter is an example of a company that has had poor performance and may have been to immature to go public.

What exactly do you expect of companies that go public? What you wrote, and seemingly reflective of a common sentiment, is an extremely loaded statement of what anyone should expect of "glorious publicly traded unicorns".

Unless Twitter committed fraud by not disclosing something, then there should no really no other expectation or aberration in their publicly traded status. The banks, board and the CFO priced the shares and they've been printing money for all their employees using the deep liquid market that all these people fawning over tech companies perpetuate.

So I'm a little confused at what is so interesting about their poor performance. Have you seen the stock market, some companies' shares go up, others go down.
>But they didn't pay for it.

So the paidpost subdomain means nothing? I'm curious if that's true as it seems a rather odd choice for a subdomain.
Postscript: Time Goes On (2014)
Does it still not have a decent charting library in the stdlib? I look at it every now and then (always looking for a good successor language for Python) and last I recall you had to use MatPlotLib? Is that accurate? This is stupidly simple in Matlab and should be here as well.
The Gift Economy and What It Means for Designers
https://www.starbreak.com/
Assuming we're starting at $0, saving 50% will more realistically let you retire after ~17 years. Here's a pretty good article from Mr. Money Mustache that explains the math: http://www.mrmoneymustache.com/2012/01/13/the-shockingly-sim...
How to Make Yourself Indispensable in 2017
SEEKING WORK, Traveling around the world, REMOTE OK
Technologies: WEB, JavaScript, html5, canvas, React, webpack, TypeScript, CoffeeScript, es6, es2015, data visualization, js.

Since 2012 I'm developing web applications. So I really comfortable with web ecosystem. My niche is a single page, "desktop like" applications. Also, I like to work with the canvas element. So can build you something like a graphic editor, image annotations, plan builder, etc.

My GitHub: https://github.com/lavrton, Sometimes I write posts about react, javascript: https://github.com/lavrton. Contact with lavrton @@ gmail.com
> UN pension is 1.5% per year

That's the minimum. It goes up from there depending on your position. Typically, you could expect to make a lot, lot more than that, even for very short tenure: http://www.un.org/Depts/OHRM/salaries_allowances/salary.htm

> which you can start collecting when you're 62 years old

...yes, but the point is that you only need to be employed for five years to be eligible for lifetime benefits. Work there for 5 years in your 20s and you're set.
Kinesis | Full Stack Web Developer | Sydney, Australia | Full-time, Onsite | https://kinesis.org

We build tools that enable sustainable and liveable cities, from planning and development through to operational tracking and optimisation of existing infrastructure.

We’re looking for a senior generalist web developer who can move between back and front of the stack, ideally with experience in either (or even better, both) Django and Rails.

Current stack/Technologies: Ruby/Rails, Python/Django, JavaScript/Ember.js, PostgreSQL, AWS

If you’re interested email me at chris at kinesis dot org for more info.
I have multiple quitter.se followers and am following multiple quitter.se people. Are you sure it's not some sort of temporary issue with quitter.se? You could ask @hannes2peer@quitter.se (admin of quitter.se)
Computer outage disrupts customs at US airports
The article makes a lot more sense if you look at it as an acquihire solicitation.
The HN crowd will never believe this, because it runs contrary to the beliefs of libertarianism and the what-I-vaguely-remember-from-Econ-101 crowd, but correctly-funded public pensions are completely sustainable. The main reason is that public pensions operate on a nearly infinite time horizon, unlike a worker's 401(k).
That state of it is actually quite sad, to be honest. I'm in South Africa, and I am baffled at how difficult it is to get access to the Acts that were approved by parliament and form part of the body of law. It's not even about precedent, and court-decisions, rulings, etc. Just the plain law, with all the out-dated portions removed/updated.

This makes it quite difficult for me, as an individual, to interpret and act on what the law says. Sure, we all know the "basics" of criminal law: Don't steal, hurt, go where you shouldn't, etc. But everything else (regulations) is a giant black-box of "you need to speak to a lawyer" and pay them money. There are probably hundreds of sites and blogs out there trying to help/guide people about what the regulations say, but that's a poor substitute and not something you want to rely on for anything more than mundane. There needs to be a clear, government-run, up-to-date resource that has all laws.
Machine Learning and Likelihood Free Inference in Particle Physics
"This is quite controversial and sounds more than a little conspiracy theory-esque."

Maybe so - but about 90% of the world economy competes this way.

People are not stupid.

'Competing on price' is a dumb thing to do in an oligarchy, because it's effectively handing surpluses to another part of the value chain.

Every industry CEO knows how this game is played, and they definitely play it - there's no explicit collusion needed - it just happens naturally when there are 'reasonably intelligent actors acting in self interest within a market oligarchy'.

'Dumping' to exterminate competition is a very common tactic, used throughout history.

It takes a lot of disruption to change institutional dynamics.

I can't speak for the facts in this situation - I have no idea if those allegations are true or not, but they seem reasonable, I wouldn't be surprised if they are valid statements.

"My gut tells me there is more to it than politics and capitalism." - that's usually all it ever is :)