skysight-inc/HackerNews huggingface dataset:
Sorry to disappoint you and thank you for an upvote!

By creating this thread, we were raising awareness among job seekers _and_ recruiters/direct employers (not just job seekers) but right now it's too early to judge.

A couple of direct employers signed up yesterday and we all can help each other by telling our employers about this site. Yeah, I know I need it more than you.
Rediscover Javascript, by using :TypeScript, CoffeeScript or Node.js and a gazillion of slightly incompatible web frameworks ...
I wish DART had been there in the beginning.
This is great. It runs noticeably smoother than the SC main website. I could see myself using this when I'm listening to SC in the background while I am working.

Would be great if there was a basic way to see what percentage or time your in of the track, like (15:22 / 82:44), and it would be great if it could login to SC so that I could see my own feed of new content coming in.

Having said that, don't add too many features, because where this shines is not having so much bloat. I love SC and all their features, but when I am just working and listening to music I don't need fancy album art, comments, notifications or anything.

Really cool idea.
Machine Teaching: An Inverse Problem to Machine Learning
Legislators Introduce Bill Calling for Ban on Non-Disparagement Clauses
I gather from their website that the solar panels are embedded on top of the concrete roadway, so it would seem to have the same strength.
What a useless and pedantic rebuttal
and, as a remainder only applies to divide.
I linked it in the readme so all those people visiting my project will see yours.

I can't help much myself (you are way ahead of me), but more people should visit your project now.
Free community college might be good but for some it is too late for many. If you have not graduated high school, have 2 felonies already then you probably will not be taking advantage of free community college.

Focus on middles schools and reducing single parent households and having kids at a young age.
I agree with your sentiment, my point is that people too often believe that low rates will get their foot in the door.

Many times what would happen is someone would get two or three bids and avoid the lowballer because quality is associated with higher pricing. So you're shooting yourself in the foot.

Now this doesn't always happen but I would suggest to stick on the side of trying to charge more than you're comfortable with. You'll be surprised what you can get your foot in the door with.
I had a team leader who had to convince me that I was getting things done. One of the best.
Or just file it at the USPTO. It may not be in patent form, and thus not granted as a patent, but it would be published and time-date stamped.
and 99% of those 99% problems can easily be solved with the correct use of .bind() or .apply().
It doesn't directly, except to the extent that:

* Returns on investment capital tend mathematically to ensure the rich get richer

* Disparities between wealthy and poor people create resentment and tension

* Resources enable the wealthy to opt out of communities, creating an adverse selection condition that starves those communities

* The role of the finance industry in this story tends to intersect directly with poorer communities in predatory ways (see: subprime housing loans)

* The finance industry is intricately connected to most of the other mechanisms families have for obtaining and reinvesting wealth, so it can be difficult to ethically insulate oneself from it

There are ways in which wealth also creates opportunities and benefits across all classes that to some extent mitigate:

* They're an engine for investment into technology, which has product lifecycles that move so quickly that less wealthy people rapidly get access to new technology

* They create classes of jobs (see: Park Slope nannies, or the tool & die people who work on Gulfstreams for another cartoonish example) that would not otherwise exist.

&c.

(FWIW: net-net, I think we need more redistribution, and that we tilted too sharply away from Reagan-era high taxes at exactly the point at which changes in productivity made that shift most harmful. I'm making what I hope are descriptive, and not positive, points).
TLA+ is better described as a verification tool than as a proof assistant, and is better suited to analysis of software systems than to analysis of the sort of mathematics in which Voevodsky is involved. The most striking characteristics that make Coq and other tools based on dependent type theories interesting to Voevodsky are absent from systems like TLA+.

TLA+ is sufficiently different from Coq -- and in ways essential to Voevodsky's intentions -- that discussion of TLA+ in this article would be out of place.

In addition, there is a huge community of people who have worked with theorem provers for the past 20 years or more; it's not clear to me why the author would single out TLA+/Lamport over any of these other systems/researchers.
I'd be interested in why you think that; I can't do much with just "useless and pedantic".
I like this approach, but this requires storing the rest of the enumeration. I think that you would want to the continuation token to expire after a reasonable period of time (10 minutes to 1 hour). When the token expired, you would remove the rest of the enumeration from your data store.

This isn't what the author recommends, but I think this is a good approach.
In a country with sun nearly all day, on a bike path (not a road), run in a place without shade trees or houses. So they got a few KWH. If instead of a mile of 'solar bike path' you made a proper installation anywhere along that path in an empty lot, you'd do better, it would be cheaper, transmission costs would be less, and on and on.

This fixation on "we're already using land area for roads; solar panels need land area; lets combine them!" is not an engineering decision - its politics and public relations.
Can you expand on what you said about the `delete` keyword implications with the GC? I've never heard of that issue.
It's quite easy to blame it on Larry Ellison, a self-centric egotistical individual.

Still, when you actually look at what it meant, many other tech giants would be severely affected by Aaron's Law.

Only difference is their CEOs are better sociopaths at crafting a 'nice guy personality'.
Depends on what you want to do.

It's not about faster, it's about the application, you can't plug a PC with a GPU to solve all problems.

FPGAs weren't created for bitcoin mining.
Thanks I was exactly looking for your comment :)
Yes, and another way to look at this is that team leaders maintain teams. They're not there merely for leadership's sake, they happen to have a particular role, maintenance.

Who will maintain teams without people whose specific role is maintenance?
I am always jealous of how cool and flashy the work at SIGGRAPH is.
I meant "crazy cheap" as lithium-based product, i.e. compared to other lithium chemistry storages. Sure, lead-acid technology still offers better capacity/price ratio, but lithium chemistry has many advantages especially when used as domestic energy buffer for sun: longer lifespan (more cycles) in daily use, more peak power, wall mountable / lighter, etc.
Also seems weird that they don't mention `forEach`.

(Sure, IE<9 is a caveat, but all the Array iteration methods are the easiest things to shim and if you're targeting below IE9 chances are pretty good it's not the first shim you'd be using.)
I got to half the article where it said "(...) ACE Cash Express, a store where many people cash their paychecks for a fee. Banks, which would do that for free, require minimum account balances that many people simply can’t afford", and I thought, really? The US doesn't have any kind of accounts for the poor?

And so I searched for "bank account without minimum balance" and sure enough, I found a Baltimore bank that offers free checking accounts with no minimum balances just three miles from the location they were talking about.

I frankly can't tell if these journalists assume I'm stupid or are just incompetent, but the credibility of the whole article has been killed for me.

(This is not to say I think the premise -that the system is unfairly harder on the poor and on certain minorities- is wrong)
Nearly all YC companies that are smaller post their job postings on HN. Check here: https://news.ycombinator.com/jobs (it updates frequently, check it daily).

That said, if your goal is to become a technical cofounder, you are likely going to have a hard time. Very few YC companies are looking for a cofounder, and if they are they would likely look in their personal network first. You mention being an early architect, which is possible, but maybe not before major funding (depending on what you consider major).

Nearly all YC companies avoid hiring during YC, and instead hire after demo day. This is mostly because hiring is insanely time consuming, and during YC they focus almost exclusively on growth and getting the company in the best shape possible for demo day. Many companies also don't have the finances to hire someone until after raising, which happens after demo day.

Regardless, the HN job listings is your best bet.
http://juliacomputing.com
Why increasing the max block size is urgent
But it serves to show Amerika in a bad light, which pays the bills. The rest is just detail.
Nope.

What math trick? You mean knowledge like how caches work? Or, how to spot n^2 solutions that could become n? Or, dynamic programming? Or, linear optimization?

Unless you are doing something math specific(in which case you should have someone with more math knowledge than a new grad who can spot these. My first internship had a math phd in the team just for that reason), you will fare much better with your CS grad.
Pao Asks Court to Dismiss Kleiner’s $1M Reimbursement Claim
Since the data on a whiteboard could be vector based, something like a diffed SVG could work better.

MS already has something like this in OneNote, but I'm not sure how frequent the snapshots are. It's more of a revision history than a "watch every letter be written", IIRC.
Zach here from Plaid (a bit late in responding). I understand the hesitations around privacy here; however, there's a difference between sharing credentials and account/routing number. SSSaving is using a read-only data feed that is authenticated by username and password. The app has no access to your account/routing data and cannot debit your account.

Your account and routing number are all that's needed to move money in or out of your account. SSSavings does not get these, nor should any application you don't want to debit you. Unfortunately, these numbers cannot be changed without shutting down the account (whereas credentials can be changed quickly).
I think one can become a better software engineer only by working your way up to be better in software engineering.

Doesn't matter that much (to a certain degree) if you are the CS Master, Math Wiz or the Alchemist, you have to program, program and program to become a better software engineer.

It's true that studying CS will give you the privilege of understanding some pretty darn complicated concepts that you wouldn't actually read in your free time.

And the same for studying Math, picking up all the good logic and proper way of writing your algorithms.

But again, the only way to become a better software engineer is to do software engineering.
>Government economics, working as designed.

You've been downvoted perhaps because it's not clear if you're being sarcastic, but I agree earnestly.

The primary purpose of government is to organise things that benefit people: and they only need to do this when business can't or won't. Governments should act as a balance to the negative aspects of capitalism.

As such, I genuinely believe that governments should be "uneconomic".
And don't forget TTIP, the euro side of this.

It's the same idea (companies can sue governments for making laws that impact potential future earnings' amongst other things), and is being negotiated in the same secretive way, with even MEPs having to sign NDAs before being allowed to see a draft.

Crazy.
I haven't either, only that delete will cause code to be de-optimized.
No. There's no mechanism of action. A tens of hertz a nanotesla magnetic field is not doing anything. It is not creating a significate potential anywhere, especially not the brain. The rate of change in the magnetic field is proportional to the induced voltage and here both the rate of change and field strength are tiny. Magnetic fields themselves have no effect.

We are literally always surrounded by such insignificant fields. This paper is akin to someone claiming to be "electrosensitive". It's an extremely bold claim without the evidence to back it up.
Why do you want to move out of academia? Get a tenure and you'll be doing your research plus you'll secure a job for the rest of your life.
It always yields an integer, so it's useful if you know you want an integer.
God's advocate here:

I'd like to note that amendments are important, and taking away the ability to amend a bill is not a good thing. Take for example the 1st amendment to the constitution: Freedom of Speech.
ICFP 2015: Accepted papers
Does it matter which hedge fund? According to the article, the hedge fund offered them a contract for what seems like an open-ended engagement while simultaneously encouraging the core developers to go out and raise funds. Seems like Julia Computing partners decided not to raise funds and instead are trying to bootstrap themselves as per the article quote:

"The startup is currently completely bootstrapped and has about a dozen employees including the founders, with no immediate plans for raising funds."

The term "startup", probably chosen by the publication and not by the consulting practice partners, is definitely confusing. However, since Shah also discussed potential products that the LLC would be trying to commercialize, the choice of words and resultant confusion is understandable.

Stefan Karpinski lists himself as a founding partner as of 2013[1], so the idea has clearly been percolating in the back of the core developer team's heads for a while, and rightly so since how else can they sustain the development of the language full-time?

[1] http://karpinski.org/resume/
This system probably also helps corruption, but by horse trading I wasn't talking about corruption. I was talking about the fact that it's almost impossible to enact clear reforms because you always need to barter this norm for that norm, etc. etc.
When I saw the title of the post I thought they might be able to explain why everyone puts so much faith in fMRI experiments.
>You’ve read 2 of 3 free articles this month.

Is this a joke?
When I was writing the chips from nand2tetris in HDL I noticed how cleanly they could be expressed with function composition in SML. I dismissed the ideas as a bit weird, if cool, but after a few weeks I came across HardCaml http://www.ujamjar.com/hardcaml/ and some references to HML (Hardware ML). Unfortunately only the thesis survives and not any actual code, but still.

The moral of the story is to take your weird ideas more seriously I guess ;-)
Disparities between wealthy and poor people create resentment and tension

Do they really? One thing I find interesting is that a lot of people who are certainly rich are not really resented. For example, soccer players earn quite a lot (my compatriot Ronaldo earns about $80M/year) and I don't really see much resentment, while a lawyer might earn $300k/y and have people hate him/her.

While there are certainly those who simply resent the rich, I'm not sure the average person doesn't have a more nuanced view.
There's always a better job. At some point you have to stay somewhere for awhile, to gain whatever it is you're trying to get: stability, experience, improvement, contribution, pay, benefits, community.
"Intelligence" itself is not a well defined quantity like height or weight. IQ is well defined but it is defined to follow a bell curve, it has nothing to do with CLT.
Great question! Actions should be thought of as a mapping between some mechanical UI event (typing in a form, clicking on a button) and an event with some meaning in your application ("user typed a hacker news comment", "user submitted a reply to this comment with this text"). Whatever your application data store abstraction is, it should be responsible for taking that meaningful event and figuring out what to do with it (check to see that the message isn't empty, check to see that the comment was persisted to the server).

Actions describe things that happened in the world and the role of your store is to figure out if that thing that happened is valid or not, and pass the necessary data to components listening for changes.
The biggest downside to passwordstore, and I say this as somebody using it, is that your password-filenames are in clear.

That means an attacker who gains access to your files can see you have particular accounts:

~/.passwordstore/websites/evil.com
~/.passwordstore/websites/sexy.com

It's unfortunate these aren't encrypted, hashed, or otherwise masked.
What fluff articles tell us about BBC its quality. That article was as pointless as its title.
Perhaps. Perhaps not. If you have an algorithm that is better implemented in hardware, you might well see better performance executing it on a GPU (for example, if you want to mine bitcoins).

Really, FPGAs are meant for prototyping hardware; you synthesize your ASIC onto the FPGA and check it for functionality.

Of course, there's a reason you're making that ASIC.
In part I think the difference is the user/customer-base. For Google or Facebook their CEO's actually have to pay lip-service to user-data-privacy and pretend to be outraged at government surveillance because it would hurt them economically not to do so.

For Oracle's customer-base those concerns just might not mean as much, so Ellison gets to float around ideas like National ID Cards (https://web.archive.org/web/20141224053509/http://archive.wi...) their big corporate subscribers probably wouldn't have minded.
I can't speak to the part about wealth coming from the toiling of poor people, but I can say that I find the immense advantages derived from capital over labor to be unfair.

Basically, I can sit at my desk, and in one action, move some numbers from a cash account into an equity security. In doing so, in one day, I can increase my wealth by an amount that it would take a full-time minimum-wage worker a little over 2 weeks to earn. It's one data point, but it definitely challenges the notion of what's fair.

To extend this further, with technology, the inequities of capital over labor will only increase with time because of how technology scales and amplifies an individual laborer's output. The people who will be left behind will be people working in industries that cannot or will not scale.

Is the solution then to make sure that everyone is capable of joining the information/automation economy through education? Do we decide that a universal basic income is the best approach to take? I honestly don't know.
I think step one of Haskell is thinking in types. Step two is then to stop thinking in types.

The string conversions lib is a great example. The function `cs` has about 20 definitions based on different types of input and output. Instead of being named TextToString or BytesToText, etc. There is just one function `cs` that can be used anywhere and everywhere. Supporting multiple input types is nothing special, but by inferring the output type from the context of the call you, as a developer, can safely ignore types.

That was (and is) a difficult concept to wrap my head around. I do, however, find myself paying less attention to types until the compiler informs me I have a mismatch.
We've made a board that can achieve the playback. Made a quick demo video of our first prototype. Would love any more ideas!
https://www.youtube.com/watch?v=uxmVtfF6pIo
There's been a few different proposals to use functional languages to write hardware: Chisel (https://chisel.eecs.berkeley.edu/) and Bluespec (http://www.bluespec.com/) are two others. They haven't really taken off because the productivity bottleneck in hardware is not in design but verification and specifically sequential verification. Combinational verification is quote easy, because modern SAT solvers can prove almost all combinational properties you can throw at them.

The trouble comes in when you start dealing with complex state machines with non-obvious invariants. I don't think these functional languages can really help too much here because unlike C or C++ in the software world, there isn't unnecessary complexity introduced by a language, e.g. verification becoming harder due to aliasing. It's the properties themselves that are complex. Lots of progress is happening though: Aaron Bradley's PDR (http://theory.stanford.edu/~arbrad/) and Arie Gurfinkel and Yakir Vizel's AVY (http://arieg.bitbucket.org/avy/) have made pretty major breakthroughs in proving a lot of complex sequential properties and these algorithms have made their way into industrial formal tools as well.
The quotes are getting very long, so I'm just going to respond directly to points without quoting here.

You seem to be oversimplifying the notion of "privacy" to "stuff like bank details". That is incorrect. Any kind of browsing data that a user does not want exposed to third parties falls under this banner. For some that's just their bank details, for others that's every single site they visit.

The point is that you can't decide for other people what is "private" to them. Therefore, the only acceptable solution is to make privacy opt-out - and that is done by encrypting everything by default.

Asset caching depends heavily on the site, and on whether different pages use unique assets. A cache is not a security feature, was not designed as such, and should not be treated as such.

Yes, you can tunnel TLS over Tor. It doesn't afford you any additional confidentiality. Your domains are still being leaked, just in a different place - and routing everything over Tor still exposes you to the same traffic correlation issues, just now it's domains that are being correlated rather than all request/response data.

Making TLS more secure entails removing the requirement of 'trust' as much as possible. That does not necessarily translate to it being harder to obtain certificates. A good example of this are hidden services - it's trivial to obtain an .onion identifier, yet since it's self-authenticating, it does not require trusting a third party.

The real problem with your argument shows itself in your very last paragraph - "Personally, I don't care [...]". You are extending your own personal point of view to everybody else on the internet, and it doesn't work that way. Others will have different privacy requirements, and those should be accomodated to.

Just because you don't care, that doesn't mean you get to decide that nobody else cares either.

EDIT: Also, just to emphasize this: I am not arguing that encryption should be forced. I'm arguing that it should be default. That is something very different.
IQ is defined to be distributed as a bell curve. IQ below 0 is just extremely improbable.
Not really. Most languages don't have a built-in decimal type, it's usually just a library feature. Higher precision floats won't help you either, as adding more decimal places won't make 0.2 == 0.3, it will just make the difference between them slightly smaller.
Wow, multiple pass dipping was awesome. I wonder if there's some kind of 3d painting machine that can compete with this.
Would you pay me to research the practicalities of installing solar panels in my basement?

The arguments about this thing not making any sense aren't so far away from the arguments about my basement not being very sunny.
Cultural norms take time to change :/