skysight-inc/HackerNews huggingface dataset:
Well, maybe adgasf saw some off the accounts[0] by minorities about how they perceive tech as a hostile environment and feel forced to leave because of the harassment?

Certainly, if you remember that minorities are reporting harassment in tech companies as a reason they leave, the demographic under representation of these must at least partially encode the scale of the problem.

[0]: https://www.theguardian.com/technology/2017/aug/18/women-goo...
Sure, it's possible to generate particular subroutines by compiling PlusCal to code, but the gains are far too small compared to the total gains of using TLA+. The kind of subroutines you'd want to model at the code-level in TLA+ would normally be very complex concurrent routines, using low-level operations that the PlusCal-to-source compiler would likely not know about (say, memory barriers), and in any case, you'd spend 98% of the time figuring out the algorithm in TLA+, anyway. Compilation would, therefore, save you 2% of your effort. As to the correctness of the generated code, we're talking very small routines here, that a careful manual translation is unlikely to get wrong.

In short, the likelihood that a PlusCal compiler would know to use your chosen libraries so that you wouldn't need to modify the code anyway is low, and even if it did, the savings in both correctness and effort would be slim.

A more interesting possibility would be compiling TLA+ properties into code-level specifications (such as Java's JML or C's ACSL), i.e., extracting various local properties from global ones, as that's actually "interesting" work.

In general, though, you must be careful when learning about new techniques reported in research papers. In formal methods (and in many other research areas) there's a HUUUUUGE gap between what has been achieved "in the lab" and what can be made into a practical and affordable tool for industry use. TLA+ is one of a handful of formal method tools that's been put to good use in industry.
Doing computer science rather than software engineering, I didn't have many. Most group assignments involved us sitting there together at a computer basically doing peer programming.
Not much has changed since then. Look at all the "family values" politicians we find philandering and having children from affairs.
Yeah, now imagine tens of thousands people an hour being able to do that.

I hear they have trains that can do this in far away lands. Trains that go 180 mph. Not in my backyard.
This is a very mediocre article that mixes some good advice with misleading and frankly bad things.

Justifying forEach (which is several times slower than a for loop) with sparse arrays (which are an anti-pattern because they take you out of "fast elements" mode in V8 at least) is laughable in a sad way. It also has no "break" functionality , which is important if we are talking about performance (i.e. when iterating the array to find a specific member).

The advice for using array literals to insert elements is also bad for the similar reason that it makes it easy to create sparse arrays.

That and "i>arr.length" in the example means the for loop will run exactly 0 times! ;)

Using "filter", "map" and "reduce", by the way, is also slower than using a for loop, even if broken out into a separate function for purposes of chaining. This is because they call a function on each iteration and function calls (even with optimisation) are inherently more expensive. So, use them only when this difference in performance does not matter.

The closure / timer example is just so convoluted. Of course the closure will keep "bar" in scope - that's what closures do! The "foo" object doesn't somehow magically own "bar" it just has a reference to it, same as the closure. If something still references an object then GC will not touch it.

Similarly for the event listeners advice, which is also badly worded.

And if you do need to write a timeout-based loop, I respectfully suggest the following construct:

const interval = 1000;
var timer;

(function loop () {
... do stuff ...
timer = setTimeout(loop, interval);
}());

Now you can even use "rewire" to control the interval during your unit tests - bonus!

The Arrays vs Objects thing is just shallow. In reality, the advice is "it depends". If you need to iterate, use an Array. If you need to access by key, use an Object (or better a Map). If you need both (and this frequently happens in my experience) then you have to decide depending on the size of your structure.
If you are any type of web based application than the app and marketing are intertwined and should not be separated, at least in terms of appearances from the outside. That said, when I was doing this type of work for companies as a consultant, we many times built out a Wordpress based marketing site and tied it to a custom developed application. It was seamless to the user but allowed the business team to add and update content without getting the dev team involved (or hire it out easily). In fact many times I would hire a wordpress agency to build out the template and initial marketing content while my team worked the custom application. This also allowed us to deliver and have marketing, email collection etc all setup well in advance of the app launch.

Only time it is acceptable to outsource your marketing site is when your site is not part of your product. At that point, it doesn't matter if it is outsourced for development and maintenance, as long as things are getting updated timely.

There is a strong argument to be made that even in an organization when app and marketing are somewhat to fully integrated that not the same teams are working on them, since the two end goals are generally quite different and have their own timelines. e.g. you don't want your developers who are fixing issues and developing features for clients worrying about the fact you need to replace content or update the look of the blog.
TSA accused of searching domestic travelers’ devices with no warrant
The Billionaire Philanthropist
"F# Deep Dives" is very practical and should work for beginners: https://www.amazon.com/gp/product/1617291323
There is a disproportionate usage of Erlang in the finance industry. That might be part of its high salary.
Sure, but people have been saying that on HN for many years.

I think you have more success if you ask everyone else to upvote unfairly downvoted comments.
I don't mean it to be inspirational, only to indicate that persistent propaganda and organized information warfare can indeed drive ideas fully out of the population.
AI in Customer Service – How to Deliver Real Value Now
> On the other hand, if the job truly is easily represented by some simple algorithm, why not teach a machine to do it cheaper and more consistently?

Because in a country with a large population of poor people such as China, unskilled and semi-skilled (as in a typical factory job) labor has got to be dirt cheap, such that it makes sense to have humans performing trivial tasks that could be easily automated.
Yeah, it is a bit weird to use US specific notions of race outside of the US itself. How many Europeans in Europe feel that of "European descent" is an accurate description?
I know its used for compilers, trading(jane street), soon webdev(reason)
See this thread, for example.
Using thread/processes might work well if you have a bunch of workers that don't need to share a lot of state between them. Something like a simple web server for instance.

If however you need to keep a lot of shared state up-to-date it may become a bit messy. Consider a multiplayer video game server for instance, everybody needs to know where everybody else is. If you have different threads or process for every connection you need to have some sort of synchronization mechanism to update the shared game state. Meanwhile async I/O kind of hides the nasty details of synchronizing multiple connection and you end up with a more or less serialized and single-threaded events. You can handle each update one at a time synchronously.

Web services generally manage to go the first route because the synchronization is typically handled at the database level so there's no shared state at the webapp layer so each worker is effectively independent from the rest.
gorhill is aware of it [0]... I don't want to be too pushy and would rather let him come to his own conclusion on whether to include or not.

[0] https://github.com/uBlockOrigin/uAssets/pull/872
When it will be live ?
It won't ever change, someone will always find something to be hypocritical about.
Brands are bulls**t
Understanding yourself to Succeed in Life
When your airplane is stacked in a holding pattern, waiting for clearance to land, it is essentially at a red light. If you and everyone else going to the same place are in electric airplanes, there is the potential for some real range anxiety.
> In my case, there was a ~40% speed increase compared to sequential processing. Once a code runs in parallel, the difference in speed performance between the parallel methods is very low.

But they didn't actually present the total processing time for all of the methods - I assume all of the parallel methods were about 17 seconds? (Compared to the sequential baseline of 29 seconds.) And how were the threaded frameworks configured? How many threads were they told to use (or just the default?), how many threads can they use, and what kind of parallel hardware did they run on?

This blog post presents the decision as one-dimensional; it claims all parallelization methods are the same, so the only dimension to choose on is memory efficiency. But I'm skeptical that all parallelization methods are the same, and the experimental design gives me no information on that front.
I think it’s more about learning a variety of tasks. And I like the emphasis on getting at higher-order derivatives with only first-order methods, which as an abstract idea has a variety of applications.
You must be new to the internet. Hacker News has strong moderation so its one of the best asshole corner of the internet, but make no mistake, you are still in an asshole corner of the internet where you conform or are silenced.
Maybe because it is a Google language, if it was done at company XYZ no one would care.

Also because anyone jumping into the Docker/Kubernetes train eventually has to deal with Go.
Profiling might be a useful addition to the list,
I suppose a lot of our phone calls and data traffic are handled by Erlang code. I don't think it was ever "academic" except in, perhaps, the sense it was exhaustively thought out.
Ancestor comment is probably daydreaming about being in a Kardashev 2 civilization with a full Dyson Swarm collecting 100% of the Sun's total energy output, in all directions.

Some estimate we're currently only at Kardashev 0.8, harnessing about 80% of what energy from the Sun hits the Earth, while others argue that this percentage is much lower.

Ideas are easy, implementation is hard.

Edit for clarity.
Yeah, they did not even considered native development.
I'm not sure anybody outside of HN readership knows about Vue at all. It's either Angular, old Angular, or React everywhere.
Ask Damore.
The types of disasters that I've talked to with business continuity managers they are most worried about are:

1). If there's a shooter near the premises, they need to quickly alert people.

2). Earthquakes/natural disasters, and you are absolutely right that internet would be first to go down with this scenario. Right now there aren't that many alternatives to bluetooth if the cell signal is down. Bluetooth is only sufficient for small range, but you never know if someone is trapped in closed space. Having this backup is better than nothing.

It would be really cool if offices equipped themselves with battery-powered bluetooth extenders and in these events, communication would be independent of close range + internet.

3). Carbon monoxide leaks are also common causes of concern.
Matching DNA to a diet doesn’t work: ‘We didn’t even come close’ researcher says
teach him about frontends: the design(html, css).

dont force her to do something she doesnt what.

thats bad idea.

Always remember effective learning can be achieved by doing
something like small project and stuff.

dont confuse her to make or clone something big.
it's really hard to discern.

tell her about good learning trick like spaced repetition

https://www.cantikcan.tk
Could anybody explain why would a Chinese dominance in the 6G standard-setting process would be to the detriment of US national security? Economic strategy, I get, but national security? It's not like only Chinese companies would be able to manufacture 6G chips once they'd set the standard... is it?
Same story here. My wife did some online course at EPFL for java programming, then she did the front end developer nanodegree from udacity.

Now she is writing elm with me. I'm doing my best to keep her away from all the js "drama" (setting up webpack, dealing with npm...) and only into programming to avoid her being overwhelmed. And all this build stack/devops... part can be really frustrating.

Also, functional programming is somehow much easier to grasp when you start with it.
I learned early in my career that there is no reward for working insanely hard as a mere salaried programmer in the middle of the cube-farm (or worse, open office). "You're a real workhorse! Here, have some more work..."

Now, if my title were 'Co-Founder' or some equivalent such that excelling at my job could very well translate into financial freedom for myself (and my family), that would be different :)
Was Web Development Better Back in the Early 2000s?
Firstly, I commend them for getting the vision started more than anyone else I’ve seen. It’s a V1 commercial product and they seem to have the resources to iterate. That being said, it’s not a very aesthetic craft. Sadly, they didn’t figure out how not to have wings. It’s like they took a Cessna/Piper and threw on 6 electric motors on each wing and a big battery pack and called it a flying car. Their former hovercraft product was much cooler!
Brian Wansink: Data Masseur, Media Villain, Emblem of a Thornier Problem
Is it though? Seems as though OP was just pointing out something interesting from the data. He was not making an argument for or against being labeled sexist. What is your solution to the pay gap between women and women, women and men, and men and men (specifically women and men though)?
Overlapping is a technical term, too, just not from the Unix world.
> There is no difference.

Whether or not there is a moral difference, there is a clear difference in terms of the license terms.

> Apple provides binaries (via the App Store), and the user is not allowed to install/run their own binaries, which is a requirement the GPLv3 added to prevent TiVoization.

No, the requirement that the GPLv3 added is that “Installation Instructions” must be provided when a licensee conveys software “in, or with, or specifically for use in, a User Product, and the conveying occurs as part of a transaction in which the right of possession and use of the User Product is transferred to the recipient in perpetuity or for a fixed term (regardless of how the transaction is characterized)” [emphasis added] [0]; that is, for anti-tivoization to apply, the software must be for a “User Product” (which App Store Apps are) and it must be conveyed in the same transaction as possession of the “User Product” is transferred (which clearly does not happen in the normal case with App Store Apps.)

You seem to be confusing a fuzzy picture of the goal of the GPLv3 with the actual requirements of the license terms.

[0] see the third to last paragraph of Section 5 of the license, https://www.gnu.org/licenses/gpl-3.0.en.html
I was at a cave tour with family, and there were stalagmites and stalactites in an early room. The guide said "These took thousands of years to form."

Then later in the tour, there was a super thick layer of rock formations coating (layered mind you) a large section, it looked nearly identical to the stalagmites and stalacties from before, and the guide said "This all formed in a few months from a rush of hot mineral rich water from a broken geyser."

The guide seemed to realize how these two notions completed conflicted in the story telling, got all flummoxed, tried to justify the difference in time claims (no one even questioned the guide) and then awkwardly stopped talking and continued the tour.

I think there is a reasonable possibility we may be wrong about the timing of at least some rock formations...
Senator Portantino Welcomes Yasmin Beers to California State Legislature
More then soon for webdev, 50% of facebook messenger's web client is written in Reason[0].

[0] https://reasonml.github.io/blog/2017/09/08/messenger-50-reas...
This exactly, the guy next to me said yes to Vim (and makes sure to talk shit to me literally every single time I open nano) but he literally used Atom all day long and only uses Vim when editing a file stored on a remote server.

I don't care how you feel about nano, I use it less than .0000000000001% of my development time and it serves its purpose just fine.
Jane street.
Compact and Efficient Code-Splitting – Haxe JavaScript
Show HN: letswork - CLI to disable distractions when you need to focus
Apple, Google see reputation of corporate brands tumble in survey
How to Start a Company with No Outside Investment
IMHO this is a misleading outcome.

What isn't represented to remove a bias from the numbers is the number of years of experience and education. It's highly unlikely that bootcamp graduates will be working in OCaml/Erlang since these will bias to people with CS degrees who understand the why behind functional.
"shared-nothing" does NOT implicitly mean "copy-everything"

You can pass an object around between threads with no issues, as long as only one of them owns it at a time. This is generally the model that is used in practice (although often in functional languages it's hidden under some CoW semantics).
> Can somebody explain to me why async IO is so important and why it is better than using the operating system scheduler?

You still do.

The difference is with thread-based IO you block a task until the IO scheduler is done with one operation, while with async IO you block a task until the IO scheduler is done with any operation.

The reason why async can be more efficient is that you have fewer tasks and possibly less task-housekeeping-overhead.

It's important to note that disk I/O generally has poor support for asynchronous operation (because disk I/O traditionally meant that high I/O concurrency brutally murders throughput, which has changed). It's something that's being worked on for Linux, though.
Custom Encryption of Field with Entity Framework Core
There will still be traffic if everyone is heading in to the same few spots. There's only so many spots these things will be able to land, not to mention they will need to maintain a certain amount of separation from other air traffic.
Get Programming with F# is finally done, and looks pretty good

https://www.manning.com/books/get-programming-with-f-sharp

Real-World Functional Programming With examples in F# and C# is another good one

https://www.manning.com/books/real-world-functional-programm...

The NoStarch Book of F# is a pretty decent beginner's book

https://nostarch.com/fsharp

Would second the vote for F# Deep Dives as well.
from the article -

> There is a certain amount of irony here: the government is intervening in the private market to stop the sale of a company that is being bought because of government-granted monopolies.

wait, what the author expect the US government to do? To give the deal green light so bigger monopolies can be created by such merges? Maybe Qualcomm should learn something and start talking to banks to acquire Intel. Just borrow a couple hundred billion from banks, like what Broadcom did, what can possibly go wrong?
https://en.wikipedia.org/wiki/Hutton%27s_Unconformity

If there were a cataclysm large enough to upend a million tons of rock, what would you expect to see? A lot of rock smashed to pieces, perhaps? Do you see it?

Ditto for decades. What conditions are necessary to form rock quickly. Lava is quick but doesn't form that kind of rock. But anyway, to form it in decades, what conditions have to prevail? Do you see traces? I can't answer, but I expect the geologists who listened to Hutton's talk could.
Erlang has been around since the 70s...
Tagged Pointer Strings (2015)
You just listed why Uber is so valuable: none of the others have anywhere near the global range Uber has. Even if Uber banned in a couple European countries they're still widespread enough worldwide to be a better alternative than <no similarly-sized competition to insert here> because of a simple fact: I already have the app setup and running on my phone, which isn't true for any other ones you listed, which either don't operate in the continent at all or are regional to the point of near-uselessness.

In other words: when I travel somewhere, be that a different city or country, I'll by default have Uber already running on my phone; I don't have whatever regional equivalent there is there. This also works the other way around: because I have Uber setup for whenever I travel, I end up using it over any local apps because it's already there and another taxi app offers me nothing that Uber doesn't. I'd love for Lyft or anything similar to get off their asses and expand internationally but I suspect I'll be an old man by the time that happens in any serious capacity.

edit: for example you said you work for Grab. Ok, granted that people from other countries are likely just a tiny market not worth chasing so you don't particularly care whether I use Uber whenever I visit SG, that's fine. But users in SG surely care about only needing one application whenever they travel abroad, which drives adoption towards Uber in Grab's detriment; that's a big reason why Uber is so valuable. From reading the Grab website it looks like that's exactly what Grab is chasing too: expansion into other markets (and props for already supporting multiple countries, along with the app being totally fine with my unsupported country phone number).
Access is not open yet.

However, either way, if you're really the market for the product then not seeing pricing won't keep you from inquiring.
Scala is over a decade old, Ocaml two decades, Erlang three decades.

Not new.
Nice to see C++ on the loved languages section, while C only deserved an entry on the dreaded ones above C++ and has half of the wanted percentage.
How is this possible? Real popups windows were mostly blocked by only allowing them in user event handlers (sketchy sites like bittorrent trackers can still create popup windows because you have to click on the site at some point).

But an in-page popup window can be created in loads of different ways. I can't see a general heuristic you could apply to detect them.
Structure is an "editing problem" but once you go beyond a fairly straight interview or talk show format, the amount of post-production work increases dramatically. With the help of some automation, I can edit a 20 minute interview in an hour so so. Structuring a 1 hour show from different clips and inserting various breaks etc. would probably add a good day to the whole process.
Yeah, as a developer I see plenty of appeals to dynamic languages but they’re certainly a nightmare for tool authors. I know OpenStack was working on a security scanner for Python – I wonder what percentage of the open issues start with “this is probably very hard but…”
before teaching her programming find out if she is into logical thinking. it may sound horrible but I came to believe my math teacher that only 20% of mankind is capable of 'logical intuition', and only those can become true good programmers.