skysight-inc/HackerNews huggingface dataset:
I'm of the impression that women select out of certain fields because they have different priorities; if you're proposing pushing more women into a career they evidently don't want, I think the burden of proof is on you that women are, in fact, socially corrupted in a way that pushes them or of tech. If there is a bias against women, we absolutely should fix it, but I don't like how our society assumes all gaps are necessarily attributable to bias pending damning proof to the contrary.

Besides, men and women have had distinct gender roles (and largely the same roles) in every society since before history; while (or rather, "because") I support women's rights to do whatever they dammed well please, it seems unlikely to me that we discovered in the last fifty years that that was entirely an ancient conspiracy to make women miserable, and thus we should push women into the careers we know they want (never mind that the evidence points in all different directions) even at great expense to the industry.

Anyway, the question isn't "should we force women to be programmers or housewives?". It's not a dichotomy and we shouldn't be pressuring anyone into anything.
Now that we brought out the doctor analogy, I have news for you....doctors deal with an unknown system, gain personal and institutional experience through trial and error, are basically detectives, are rarely working with full information, and have, despite their heroic efforts, a significant task failure rate (the patient dies).

How is that not like software engineering?
Gated Community Flats Near Vijayawada, Guntur, Amaravathi – Ijmprop
Raintree Park's Willows Grande Gated Community Flats Near Amaravathi on Vijayawada - Guntur NH-5 offers a new lifestyle to the residents. This Gated Community Flats designed very meticulously to give ample sunlit and breeze into each n every unit.
I don't think the message here is "don't do it," but "have domain knowledge." The crux of the paper was scientists applying ML to a bunch of data without really understanding trading.
Would you please not rant on HN? We're hoping for a higher quality of discussion here.
I've been there (mobile app freelancers), if you like people to test it out, I may be able to do it. All the best
http://www.ijmprop.com/gated-community-flats-in-vijayawada-g...
That works great for you. What happens when my objective is to develop a solution that requires 100s of developers, spans multiple years, costs billions, and has major liability concerns?
With good education and not prioritizing money as THE thing to seek in life. By giving people a purpose to live beyond economics and slaving for the nations GDP.
Right they aren't advertised that way, but they can certainly be interpreted that way.

There's rarely any sort of explanation of the numbering system in job posts. I don't think it's unreasonable to assume that a III requires more experience than a I or II.
Maybe just me, but that problem does not look very simple at all. One reason OP's problem is appealing, is because the solution can be easily checked. The solution is a kind of "proof of work". You could never guess the solution without a deep understanding of the problem. But once found, the solution is immediately verifiable.

For many problems one can easily guess the solution, without necessarily knowing the proof (like Fermat did). The answer is almost certainly negative, and a complete solution requires a very long and tedious proof that cannot be checked without a deep understanding of the field and many years of collective effort.

I am specifically interested in problems which can be understood by a child, have hard solutions which cannot be easily guessed, but are easily verified (ex. factoring the product of two large primes). It seems like these problems would make good candidates for one-way-functions, like the diophantine equations and ECC. But elliptic curve cryptology is too difficult to describe to a child.
"How do you justify your certainty that we need it?"

Not OP but all pre-scientific crafts from medicine to construction have benefited considerably of application of formal methods. I don't see why software engineering a
should be different.
Speaking of divisors, there are infinite numbers n such that n and n+1 have the same number of divisors. AFAIK we do not have a way to find such an n > N for any given N without calculating an infinitely growing sequence.
I have no idea who that guy is or why I'm being asked to defend him, so I'll speak only for myself when saying that the statement, "white people are smarter than black people" as a summary of population differences is statistically and biologically illiterate.

This is just simply not how serious people talk about populations.

Further, to conclude that such differences, should they even exist, imply anything else about the world (or how to treat the people in it) is morally incomprehensible.
People are greedy and credulous.
We had a bug some weeks ago which was caused by a missing `trim` and an invisible chararcter. Our tester copied some text from a webpage which had such characters. This font is helpful in those cases.
That web site is awful. It auto-plays obnoxious video ads for pharmaceuticals, and the mute button does nothing. It also pops up to ask you to sign up for some mailing list. It seemed to reach a new level of being annoying so I didn't even get to read the article.
WTFJS: A list of funny and tricky examples of JavaScript
We detached this subthread from https://news.ycombinator.com/item?id=14943938 and marked it off-topic.
Well said. STEM is neat, but I don't think it's necessarily what every woman (or man, for that matter) is really missing in her life.

> We focus on money because it's easy to measure

My inner cynic thinks it's because it's the disparity that's politically expedient. Lots of other disparities are easy to measure (flexibility, workplace injuries and fatalities, etc), but we don't post much attention to those... :/
> The question is: where are the goalposts? Is the industry sick and oppressive towards women until it hits 50% representation? I don't think that's a fair expectation.

It's hard to find a benign reason why the percentage of women CS majors would halve in the last 30 years while the profession as such has become more attractive.

http://www.npr.org/sections/money/2014/10/21/357629765/when-...
Ah, I imagined this would be the case, but I actually never looked for details. Do you have anything in mind to share with us? Or simply just go search on Reddit and you find plenty?
Show HN: NSOAP – An RPC and URL Convention for JavaScript Routers
Mathenetic is an amazing Math Channel by 8 yr old
Often the urge is more "Ive made 10x gains on these things! I'll sell them for $15/$150!".
I actually think dependently-typed languages like Idris are the most promising in this area right now, at least until proof assistants get a lot better.

It's also not specifically the rigor in mathematics, but the grounding in solid principles. They have axioms, they know how to prove things, and they know which proofs to trust and why for the most part. What frustrates me most is stuff like programmers haphazardly reimplementing monads over and over again instead of moving on with what they were actually working on before the language and type system got in their way.
I'm not - we ship our stuff with alkalines. but regardless of what current chemistries are best at today, one time use blows. Lets say we get 1 year on our alkalines and would get 1.8 years on lithium, after just a couple years, I will have one or two sets of battery waste even though we are specc'ing our hardware for at least 6 years (when we expect a decent number of units flash memory to start dying. There aren't yet good reusable batteries with good shelf life but there are plenty of applications where that would substantially prevent waste and generally make things simpler. I'm agnostic/indifferent to chemistry (assuming their externalities are similar, which they're not btw), but having a few AAAs for my whole life would be fantastic and probably reduce the environmental consequences of society quite dramatically.
And, buying $3,000 BTC at $1.00 in 2011, means that today you would be worth $10M, not $1M.
The "hotshot" was Donald Knuth, and he was talking about getting clever before you're sure your program does what it's meant to do. The keyword is premature; analysis and optimization pretty much forms the bulk of his body of work, although he doesn't believe in sacrificing readability until you're out of other goats to kill.
Int is usually signed. Unsigned int is not signed.
Just want to second this comment, their data processes are the key strength of Medallion. Grandparent comment by murbard2 also talks about the importance of this component to quant work (in the last paragraph: "finding new data feeds that provide valuable information")

While Jim Simons is a mathematician and Rentec clearly has hired many brilliant people with PhDs, it's maybe worth mentioning the actual mathematics being used in their work isn't super high level difficult, impossible or secretive. Many of the PhD's working there do not have a PhD in math, but rather something like Physics, so I would say if you are familiar with graduate level math courses you can understand the math needed for this type of work. Math isn't where their edge comes from. Also Medallion is 30 years old, their early work in the mid 80s was done on computers with less processing power than your phone, "Machine Learning" as the term is being used lately or access to supercomputing hardware no one else knows about is also not where their edge came from.
Publishers do this every time a famous author dies or becomes incompetent (in the legal sense of the word). Go Set a Watchman was a very early draft of To Kill a Mockingbird but sold to the public as an uncovered sequel novel a short while after Harper Lee's sister Alice died.
I mean, it's literally a for loop:

def visit(node):
for child in node.children:
visit(child)

I don't hire people in my current position, but I certainly think anyone baffled by that would be a giant red flag. It's simpler than FizzBuzz.
I share your confusion about the 50/50 split.

> Recognising some groups lack one or more of those things is a good start. Recognising some groups (deliberately or accidentally) monopolize those things to the detriment of others is a better start.

If like to propose an even better recognition: that no one is monopolizing anything and both groups are making the choices that best match their priorities.
I don’t know. We have customers connect to us with their internal systems they haven’t touched in ages. I can’t possibly tell them that they need to update their infrastructure two years (Debian has a two year release cycle and has released this year) from now.

And then there are some end-users behind enterprise middle-boxes which don’t support anything beyond TLS 1.1 and I have a feeling it’s going to be difficult to communicate to them that they need to change the configuration.

This means that we'll have to package our own FTP and HTTP servers in the future. Not a big deal, but certainly not something I'm looking forward to.

Oh and our mail relay I probably have to build myself too or just disable TLS. You have no idea what shitty SSL configurations are used out there by the various systems trying to send us email.

Grumble. At this point, I might as well run Linux from scratch when most of the daemons we run won't be able to talk to a seizable chunk of the clients connecting to us any more.

In other words: if you set up Debian out of the box today, its default packages will talk to 99% of clients out there on the internet. If you set up Debian in 2019, about 30% of the clients out there won’t be able to talk to you.

And the fix won’t just be a configuration change; it will require you to manually build every single daemon you make use of.
...and by the time you finish, it most probably will be obsolete :)

Jokes aside, software engineering discipline of its own would not give you skills needed to accomplish that.
noise cancelling is one thing but im assuming youre looking for something to cut you off while you work, which also means long periods wearing them.

in my opinion the best option is actually isolation and to that end a pair of earbuds with a set of custom fit tips could be a good option, i have some myself on a pair of etymotic er4 and theyre spectacular, complete isolation from outside sound and comfortable enough to wear for 8 straight hours
Would be nice to see a standard academic platform for backtesting. Then, the paper could say "we submitted our implementation of this strategy to Backtest (which includes transaction costs and slippage)."
We started stripping out a bunch of character ranges a few years ago because people were using them to play Unicode games in HN titles and the idea here is plain text. But I'm not sure in that case. You could test it if you wanted.
What do you think the difference between precision and uncertainty is?
How many doctors in the field are practicing formal methods these days beyond say statistics?

Anyways, surely SE as a field benefits from formal methods like other fields, whether applied by specialists or in the field by practitioners we can debate, but hopefully we can all agree SE isn't defined as just applying formal methods, that there is a lot in development that will never go near a formal spec.
> Likewise in England (Sheffield, 3 months) many vendors only took cash, and were mightily confused by American cards (especially one requiring pin + signature).

Do you remember where? I live in Sheffield, and I'm having a hard time thinking of anywhere I would have an issue paying by card.
Funny how this is completely flipped over. The opposite of what you said is true. Or maybe this is just because you're talking about your life in specific, with your specific circunstances, as if the same could apply to everyone. Anyone who has been into very different places, with different people living in different ways, can see very clearly that our society is sick as fuck, this is big-city-people problem, and your suggestion is big-city-people thinking and big-city-people problem solving. I don't mean to be rude, but thats how I see it.
> jack the rent well above market price

if the renter is able to accept the "jacked up" price, then by definition that's the market price (for that property). The renter needs to move if they don't like the price. The landlord also don't like vacant properties, and is perhaps eager to not "jack up" the price if they find that the tenant moves as soon as they do!
"I don't need to waste my time with a computer just because I am a computer scientist." - Dijkstra
That is a perfect example for why you need CS in engineering! Please do a right click view source on this page, what do you see? Look at the comment structure on this page, what do you see? Nobody could work with any of those without using recursive depth first traversal. And once someone understands recursion, the implementation of it is absolutely trivial and obvious. Why would you not use that? The same goes for all the other CS textbook problems, they are specialized screwdrivers that are useless until they aren't.
"If we pretend that a teenager hacking in their bedroom is doing something fundamentally different than what most developers do each day at their jobs, then we lose out on the ability of that teenager to innovate. "

That all contributors don't have the capability to formalize their output has never been a viable argument against formalization.

Before music education was formalized music was a mysterious craft you could only learn by learning with a master for a decade if you weren't incredibly talented.

Once the orphanages of Naples formalized music teaching in the 17th century it became something much easier to learn and teach.

Sound familiar?

Yet, music teaching did not eliminate the capability of non-formal craftmen to innovate. They just have collaborators to help formalize their thought process.(John Lennon did not know music theory and still made awesome stuff. But without formal theory his output could not live on in sheet music, and it would
be a lot harder to reproduce it).

Even Einstein needed help with his math. But without math, theory of relativity would not have been much of anything.

It's all fine to imagine one is traveling in a traincar, but once one needs to compute, say, the orbit of mercury all need formal methods.

Creativity and formalism go hand in hand. You need both for a superpowered discipline.
Yeah, but data structures and binary trees are about as much as you really need to get. There's a big difference between selecting the right data structure and re-implementing dijkstra's work on a whiteboard.
This can be said about so many tech innovations, not just Bitcoin.
Interestingly, there is also no outrage that men die on the job twelve times more frequently than women, nor that they're underrepresented in higher education. Note that men are overwhelmingly more likely to be homeless, commit suicide, be victims of almost every kind of violence (women are slightly more likely to be victims of sexism violence, but men also underreport, so who knows?), die a decade younger, receive far fewer social services, etc. But hey, as long as tech companies are 50/50, the gender problems are solved.
There aren't yet good reusable batteries with good shelf life but there are plenty of applications where that would substantially prevent waste and generally make things simpler

I wonder if Eneloop NiMH rechargeables would be a good fit? Their self-discharge characteristics are pretty decent. 6 years is probably pushing it, I guess.
Would you please not do the flamewar thing on HN? It's tediously off topic and damages the site.
معبد باستانی و تاریخی تپتیدارام بانکوک
به درون معبد تپتیدارام بانکوک که وارد شوید، در تالار انتصاب، ستون های مستطیلی قدیمی و مجسمه های یادآور دوره تسلط خمرها و دوره آیوتهایا خودنمایی می کنند. همین طور سه گوشه های کنار شیروانی با تکه های سرامیک چینی تزئین شده اند. این معبد از یهترین مکان های باستانی و تاریخی تور لحظه آخری تایلند در شهر بانکوک می باشد.
A San Francisco Rock Band That Was Too Wild for the Sixties
your commits don't have to be perfect, but maintaining good commit hygiene (no multiple change contexts in one commit) will work wonders... giving up on source control means having no means to roll back changes to a known good point in case you realize its a bad approach or in case of a mysterious bug you can't chase down... I don't regret having moved on from the daily 'make tar' days.
Blockchains are for dark net markets. Everything else is Ponzi pumping.
>Writing software is not math.

You're wrong, and I've explained this upthread.

>Think about food recipes.

Do you have experience with non-imperative programming paradigms? I'm sorry to say that the comparison to recipes in this context seems fairly naive.

>People have been chasing the unicorn of software correctness proofs for 60 years, with a notable lack of generalizable success (there are plenty of toy examples, of course).

Static type systems are arguably a product of this, especially advanced ones like Haskell's.

>What usually happens is that the "programming is math" people come up with some bizarre academic language that no real-world programmer would use unless forced to do so at gunpoint (followed by the new language sinking without a trace).

Now you're just being anti-intellectual. The whole point is that the real-world programmers are stumbling into all this crap constantly without realizing it. It's completely fucking unavoidable and very much tied up with the fact that programming is math. The only question is what you choose to do about that: learn the math, or stay ignorant.

I don't mean to be condescending but I find comparing UML diagrams and proof assistants a little offensive (among other things), and it suggests you don't know what you're talking about. Modern proof assistants and other formal techniques like dependent typing happen while you're programming (Idris/Agda) or generate programs themselves (Coq), they aren't some sort of Waterfall-ish thing where you have to deal with all the ceremony before you start to get shit done. On the contrary, you get shit done, and it works better when you're done with it too.
> It's like watching a lightbulb is slowly turning on above your head.

Perhaps I'm misreading this, but if not: personal attacks will get you banned on HN. Please don't do this again.
This is a fantastic article. Perhaps a case of "don't judge a book by it's cover."
I also want to point out that even if you did put $3000 in, most people don't have the guts to hold that much for that long. I've heard countless stories of people selling when Bitcoin was only worth hundreds because they panicked.
> If you understood and saw the promise, why didn't you load up?

His answer is right there in his original post, he understands the tech, which is cool, but he doesn't understand money and markets, which is the real reason the entire edifice has any value at all. His observation is akin to being interested in technology purely at the intellectual level, and not understanding how it can serve humanity and fill needs that are desperately unmet in our present paradigm, and people are more than willing to pay to have those needs met. What they already pay to have what we have instead of that is the net economic cost of all states and state controlled financial infrastructure in the world (which, to be clear, I mean all financial infrastructure, because there simply is no such thing as a private unregulated financial instutition outside the bounds of cryptocurrencies), which by comparison make the entire cryptocurrency market cap even now after the rapid appreciation look like the office tea budget.

You need to understand both the tech and its utility to markets, and in turn the real utility of markets to humankind, and imho ideally the terrible threat represented by political authority, to do well out of the cryptocurrency wave. All these people that have loaded up without understanding the technology are eventually going to get taken as that technology matures and differentiates between all the available options, and they'll have no idea how to gauge the actual product level value of one relative to another, and they'll transfer value to those that do.

You can't win with just one side of the equation.
I think introducing some friction here is a good idea, pre 1.2 tls/ssl are objectively broken, insecure protocols.

Unless some of these people experience some pain and fix their shit, they will never upgrade, and by extension keeping everyone that wishes to communicate with them vulnerable as well (due to BAD_GUY being able to force protocol downgrades)

Is it the right solution to accommodate them (not to mention by default out of the box which means it hurts your users without them being aware of it or able to make an informed choice) and pretend it isn't a problem, and thus putting yourself at risk too?

For the same reasons i think its highly irresponsible people like FreeBSD patch in garbage like null cipher support into ssh. It is broken let the people who have to use it for whatever weird reason deal with the burden of their broken shit, don't force it on everyone else and weaken their security.
Huge respect for both! Shows over and over again how clear communication beats political correctness every time.
> If you bothered to read the article

This particular nasty swipe is not only not ok on HN, there's a specific rule against it. Please (re)-read https://news.ycombinator.com/newsguidelines.html.
https://www.reddit.com/r/ethereum/comments/53xwal/got_hacked...

https://www.reddit.com/r/ethereum/comments/3ird55/holy_shit_...

https://www.reddit.com/r/ethereum/comments/6qlxxa/i_lost_150...

https://medium.com/security-news/report-shows-230k-of-crypto...

http://www.altcointoday.com/chinese-exchange-yunbi-lost-4000...
That's not the real selling point of airbnb, but rather that it's much cheaper than hotels in a similar area.