skysight-inc/HackerNews huggingface dataset:
Ask HN: What can remote IT workers do to help scientists respond to COVID-19?
It would be really cool to be able to get suggestions directly from scientists working in this area, but links to other resources that can help answer this question would also be great.
> Perl 6 that was renamed to something else

Indeed, it has been renamed to Raku (https://raku.org using the #rakulang tag on social media).
>We want to make sure that companies don't offer lower salaries to immigrants, blacks, women etc.

What? If anything, that would be an argument IN FAVOR of public salaries ...
> people hesitate (and with reason) to share their salary, in case it is too low.

Or in the case of Europe, if it's too high. Most youths here are very left leaning and don't like high earners so if you work in tech and want to make friends outside of tech you'd better not mention salaries.
> This isn't Perl 6.

Indeed. And even Perl 6 is not Perl 6 anymore: it has been renamed to Raku (https://raku.org using the #rakulang tag on social media).
Congratulations to the team and hope ML family languages become popular and mainstream.

Rust compiler front-end was initially written in OCaml and later moved to rust and dependent on LLVM written in C++. Still Rust became more popular by following a simple imperative style of programming with some incremental improvements over C/C++.

OCaml is confined mostly within Facebook with some use by Bloomberg and in Xen development. I hope functional programming languages become popular and also used for systems programming. OCaml indeed is used for system programming, like Mirage unikernel OS is written in it.

Although OCaml can offer whatever is offered by Rust I believe Rust being imperative language along the lines of C++ will be more popular.
My view is software is literacy not engineering or science.

It tends to make more sense for me. A book that starts out as a romance is just as hard to convert to a spy thriller half way through as a bridge and a tunnel (Ok not total effort but in terms of percentage of rework)
There's nothing magical about other folks. They either have lots of slack time during the 10 hour days or their jobs aren't really that challenging.
Two macro economists are taking a walk in the park. They come across a pile of dog shit and one says to the other ”I’ll give you $500 if you eat that.” To his surprise, the other complies. The money is handed over. After a while more, they come across another turd. The dare is repeated, the other way around. One says to the other, ”you know I can’t help but feel like the only thing we got out of these transactions is that we’ve both eaten dog shit.” The other shakes his head and replies ”The GDP has gone up by $1000.”
World Models (2018)
It is only natural progression here. Heck, I am surprised it took this long. Considering the fact that in many Github projects, "Issues" were being used for discussions, questions, often tangents.
Rust provides a built in B-tree[1] and it offers this over a binary search tree to avoid pointer chasing. With respect to heaps, are you thinking that a BinaryHeap[2] could be used here? I don't see how such a structure allows you to arbitrarily remove/update orders in the book. Looks like you can just insert arbitrary orders by price (using push(x)) and then get the best bid or offer (using pop()). Am I missing something? If the API was changed to be more like a binary search tree, you don't think the pointer chasing would reduce performance for larger books?

[1] https://doc.rust-lang.org/std/collections/struct.BTreeMap.ht...

[2] https://doc.rust-lang.org/std/collections/struct.BinaryHeap....
Over the last ~14 months I've been rebuilding my site as a blog. Previously it was a portfolio website on Drupal. These have been the things I've aimed for.

- Quick load times.

- Flexible hosting options

- Something that is not a constant attack target like Wordpress/Joomla/Drupal that I need to keep patching. If I don't have time to work on my side project, this is going to fall by the wayside. It's very frustrating to return and find spam everywhere or get notifications about it.

- Plenty of theme and plugin support.

- Code highlighting

- Something where I can have audience feedback. Similar to the Likes/Reactions that Disqus offers. Currently using Commento which doesn't offer that.

So far I've been using and quite liking Github Pages which is based on Jekyll. I've got a staging site setup on Amazon S3 which loads incredibly quick since it's all static files. Github hosted main site loads almost as quick. My main gripe is it's somewhat frustrating/fiddly when trying to embed lots of images as the workflow for this is manual.

I've heard Hugo is good.

My ideal platform that I would look for next time looks like:

- CMS content management and creation like Wordpress

- Static site generated output which:

- is Easy to host anywhere

- Incurs zero time waiting for DB queries/server operations

- Plenty of plugins and themes available

- Easy integration of third party hosted comment section

edit: sorry, learning formatting on HN still.
The mere fact that something is done for voluntarily and for free does not mean it cannot be criticized if it is bad. Note that GP did not criticize the person that made the README, but the README itself. That is how it should be.
For those not familiar with the guy, here's his CV (Curriculum Vitae, not Computer Vision this time):

https://pjreddie.com/static/Redmon%20Resume.pdf
Samsung to suspend production at a South Korean plant on coronavirus case
Dedicated PostGIS/CartoDB Hosting
I clicked on here expecting a discussion of the Fermi paradox.
This is just modelling transfers. A lot of economics focusses on gains from interaction/trade.
Show HN: AntiVirus Monitor – GitHub Action to combat false positives
I never thought of South Park as nihilistic. The show regularly examines meaningful social issues despite its comedic delivery. They just do not seem to be aligned with US party politics very well.

But that does not seem to be the core message of the article, which is that someone tweeted something about a show and got an unexpected, disproportionate and apparently also very rude reaction.

I think that's largely a problem of Twitter. It's structures (public by default, designed to cut context, encouraging brevity, enabeling users to bring their followers as some kind of drive-by audience etc.) appear to me to make piling and bullying a very rewarding experience.
really excited at the beta release of dedicated cloud hosted PostGIS and CartoDB https://getgeodb.com a lot of intense work went into making this happen - it's running bleeding edge PostgreSQL12/PostGIS3 - feedback welcome <3
I used to be open about my salary, until it went wrong.

In my first two companies I would openly share my salary, which worked in my favour since I was underpaid. In my third company, where I had one of the higher salaries, it didn't work so well.

My colleagues refused to share theirs (it transpired they were making less), and that led to a lot of animosity and bad blood. Ever since I don't share anymore, most people have the tools they need online to make an educated guess on how well they are getting paid.
The C# solutions while solving the problem in a generic way creating an Amb class are far too verbose for me...
I just added a .csx version that uses LINQ query syntax that it’s quite more compact (and probably readable).
> Python 3 and Perl 6/Raku are worse for shell-like tasks than their predecessors! Mainly because of startup time and the string abstaction

Startup time can always be better, agree. But full support for Unicode is needed in this day and age, and that brings overhead, whichever way you do that, and especially so if you want to do it 100% correctly. If you're still living in an ASCII world, then by all means, go for it.

Additionally, in this world of source version control, and virtually unlimited diskspace for source-code, I think using scripts, rather than one-liners, will help better in maintainability rather than using one-liners.
> As others have said, a stagnant (0% growth) economy still has many positive sum trades within it.

Wow, so I guess I was living with the wrong understanding of positive-sum all this time.

Positive sum doesn't just mean win-win. It also includes win-lose because the winning side actually won.

Got it.
Would love to see a Linux toolkit implement a flux pattern style.
Building apps in Vue compared to GTK is so radically different - it's a shame no toolkit has kept pace
they're expecting that the word private means something. Why do you think that an unauthenticated user should be able to read comments of a private group just because they have a URL?
Yes, Paris has similar permits. Not free, though.

But the issue is not that but lack of parking space. A permit only allows them to park in actual parking spaces. Most of the time there aren't any available...
I gotta say that I disagree. I've never had a problem with others knowing my salary (and it's never been a low number) and I've always championed people who I knew were underpaid relative to their effort and talents. People knowing what I made never created an issue for me, but it certainly helped others to negotiate better for themselves.

Everyone sharing information equalizes the imbalance of power in the workplace. It may not be comfortable for everyone, but it definitely helps people get what they're worth.
>So anyone who wants a better salary is currently very much encouraged to hop jobs

But who is encouraging you? Since in Europe/Rest of the World(except US/UK) companies never mention how much they're willing to pay and even the recruiters they hire are sometimes not allowed to mention the upper range to their candidates. So nobody knows they're underpaid unless you're willing to take your free time and apply to jobs, contact recruiters and go interview at a few companies and go through some rounds of negotiations.

And even then lots of companies will look at your application very suspiciously that you're applying to new jobs so soon and they'll expect something's wrong with your relationship with your current employer or with you so some might not even make you an offer.

For most senior employees with families that's a lot of trouble to go through so they don't even bother unless a recruiter knocks on their door with the offer of a lifetime.
It can be in some circumstances..

I think that the engineering mindset (adherence to the scientific method, evidence based decisions, planning for the future etc..) is one that is definitely shared by both groups at least.

But you can absolutely get away with building software without proper engineering standards. It's not so easy to build bridges that way.
OCaml is also used by Jane Street and they are probably the biggest corporate users of it.
I'm a seL4 fan. However I feel the need to play devil's advocate! :)

seL4 may give you a formally verified kernel. However, formal verification is a dark art with very few high priests that actually understand it on the planet. Unless it becomes commoditised, it's not going to be popular. There has been some work towards that but it's still high-priest land.

Unless a significant portion of the software that runs on top of that microkernel is also formally verified, there's always risk of many sorts.

Oh and don't forget the fact that the hardware itself is likely not formally verified so open to attack.

That's a very absolutist way of thinking and therefore not very practical I confess - but hey I was playing devil's advocate.

If the Sealed Rust initiative succeeds then we may have a general purpose formal provability story at the Rust-LLVM-IR boundary thanks to the RustBelt project. That, in theory, will open the door to provably correct kernels and full stacks which I think is the right way to attack the problem.
Tailwind CSS vs. Bootstrap: Learn about the differences
Unacademy raises $110M from Facebook, General Atlantic, and others
The city mayor first cares about the people of that city; there’s nothing illogical here.
Assuming you're doing some sort of strategy where the order book is important, like market making or hedging another position, it seems kind of dangerous not to keep a full book, no? If the market starts to move and your limited book starts to represent a lack of bids or offers, that doesn't seem to be a great idea at first glance.
No capital powerhouse achieves 20% year over year. Some capital company maybe gets that each year, but they take losses in different years, so it's just swapping places. Berkshire Hathaway averages what, 9% a year?
Many, many, more people than the 2 million intra-muros residents spend their daily life in intra-muros, i bet you could double that number, for these people not to have a voice in how what is essentially their city center is governed is extremely undemocratic. "Real Parisian" is an insulting term to use.
At Walgreens, complaints of medication errors go missing
In case you find this interesting, there's an entire field dedicated to this kind of models: https://en.wikipedia.org/wiki/Agent-based_computational_econ...
Same name every OCAML or F# post.
Ask HN: Chargebee Open Source Alternative?
Is there any chargebee open source alternative for self hosting?
Engineering means using math to model your solution so the first time you build something it works to spec. Or at least it's close enough to only require minor changes, not a fresh redesign.

It's essentially applied physics.

Software is more like nailing things together in the hope they might work. ML has some modelling, and formal methods are available for mission critical projects.

But the rest is mostly nail guns and glue.

Engineers have never done themselves any favours with the "engineering" label. In many countries, especially English-speaking ones, the job doesn't get the respect it deserves.

Most people have no idea what the job involves. They literally think it means someone with an oily rag who fixes cars and/or computers and/or drives big machines around to make bridges and tunnels and such - like a house builder, but on a bigger scale.
Exactly, given a timeout you can't assume the server is clearly successful (or unsuccessful!). That was my point, we're definitely agreeing :) Usually you'd generate some kind of idempotency key (randomized token as you said) and retry with that.

You definitely can't just bubble that up to the user and assume things are fine
> It doesn't matter what the contract says if you don't have any meaningful alternatives for service.

This is conditional on resources or on the possibility of a class action. In practice I agree that this condition is almost never satisfied.
Where is the fashionable mathematics?
My Favorite Lincoln's Quote
As long as you're prepared to lose all these customers, and take the risk of whatever bad rep it causes, sure. When you weigh the pros and cons, it's better to get the emotional maths right:

Factoring in just the disappointment of a cancelled purchase is not enough. You have to take into account the risk aversion that was overcome to make the purchase (which, in light of the cancellation, turned out to be a wrong move). You have to take into account that now the service is perceived at best as flaky, and at worst dishonest. And that the odds of getting some negative comments online is in direct proportion to the success of your experiment. So that when you do launch a product, that's the information already out there that you have to overcome.

It still may be worth it to test it that way, if your audience is big enough for all of this not to matter.

Personally, I believe at this stage of the game everyone's a bit jaded with explosive growth stories, and it's likelier to build a business based on your first 1000 fans.
Personally I don't consider my salary a secret. Even though my colleagues newer shared their salary with my, they've always gotten an honest answer if they asked my.

Apparently those of my colleagues who now know what I make believes that I'm under paid by around $1000 per month. At the same time I feel that my pay is excellent and that my co-workers deserve every cent they make.

Drama around people salaries could arise, but only if your company rewards people randomly. Knowing that a colleagues makes more than you should prompt you to ask your boss what it is that you're doing or not doing that keeps you at a lower pay, and your boss should be able to tell you exactly why you're paid less.

In my experience recruiters and public salary databases isn't that useful. Most large organisations have their own, or buy access to salary statistics and will use those. In my case recruiters have been off by as much as $15000 per year, not including existing bonuses and overtime.

Salaries should in my mind should be public. I believe it will result in more equal pay, but also lower salaries to a large group of people who currently enjoy a salary that isn't reflective of they responsibility or the importance of their job.
I am happy to see future of India in right hands. Educated youth are questioning/opposing bigotry will pave way for prosperity of India.

"A country is not made of land; a country is made of its people" --Unknown
The kind of place where you get roasted for daring to hold open a door for someone because it implies they're incapable of opening doors independently.
Dubuntu: Linux image with common tools for quick testing and testlab setup
In another approach, we could use userscript for Violentmonkey/Greasemonkey browser addons. This way remind me the era of UserScript with Firefox version below 57, I almost can do anything with UserScript. Nowaday, it has some changes and limitations.

https://github.com/cloux/LinkSanitizer
> Some preliminary runtime work for OCaml multicore

Anyone have more information on a likely time-line for multicore? It feels like it's been comming for a long time. I suppose it's encouraging that some work is released in the mainline compiler though.
Replaced is incorrect, they're simply competing. Trello and CircleCI are alive and kicking.
Having coded a lot in both OCaml (I used to lead OCaml Batteries Included) and Rust (I'm a contributor to the Rust compiler and stdlib), I believe that they have very different targets.

Rust is really, really good at systems-level programming, it has great concurrency, but closures are more restricted than OCaml and it doesn't have general garbage-collection.

OCaml shines to implement really complicated algorithms. Anything that requires symbolic manipulation/pattern-matching, for instance, or manipulating large graphs, or maintaining extremely complex invariants. Garbage-collection that just works is invaluable but it doesn't play nicely with multicore yet.

In other words, I believe that there's room for both in our world! I could see myself developing applications in which some components are implemented in Rust and others in OCaml.
From a privacy perspective, that's even more horrifying.

You leave in the unique identifier, and then publish it under your real name, allowing all of those clicks to be attributed to your actual identity.
It's pretty safe in places with very strictly tiered salaries. The more performance driven it is the less safe it becomes because everyone thinks they're the best.
Used by Red Hat for miscellaneous virt tools.
Even if they do know other economic simulations which are better, it isn't a given that a better tool exists for every tool that doesn't ideally meet a need. Of course, you did say "hoped" instead of "expected"...
Again, how would you get the mandatory profile file onto the work machine? re-enforcing my original point, if the USBs ports are open, or email attachments aren't being filtered, you've blown your desktop security anyway.

I did this stuff as my job for 10 years. Windows XP was like swiss cheese, Windows 7 was much better, and now Windows 10 is rock solid; if you go all out on the security settings, an average user cannot break in or elevate themselves.
Start here: https://github.com/ocaml-multicore/ocaml-multicore/wiki

Mostly the work is slowly getting it upstream in a way that doesn't break existing code. (There are some changes which affect C extensions, although the changes so far have only had a very minor impact, things like fixing const-correctness).
> It’s all an election stunt to try and justify that her war on cars won’t affect Parisians. Ie. If you have everything you need in a 15min walk, you shouldn’t suffer that the traffic is reduced.

That’s quite the opposite. Car traffic generates pollution and takes unnecessary space on the street: some sidewalks are so narrow you can’t have two people walking next to each other. Reduced traffic is a benefit, not something the large majority of Parisians will suffer of.

> Plumbers, electricians don’t want to come to the city anymore.

A plumber or an electrician doesn’t necessarily need a car to move their stuff. There are already a bunch of cargo-bike plumbers in Paris.
How the internet changed society – Are you a Global Digital Citizen?
I recently had the task of installing ubuntu on a machine with an nvidia video card, where the liveUSB would load the required proprietary drivers ok but wouldn't actually install said drivers. Oh yeah, same business with the network drivers, so even if I could work with the degraded resolution, I couldn't install the needed drivers to get things working. So here's me booting into the liveUSB to chroot into the hd install to apt-get install the drivers.
But then the thing I am relatively unsure about the stance of net-neutrality proponents would be whether it is legal for Comcast to sell "shitty internet." That is something that always get throttled first, that blocks certain websites, or that prioritize promoted services.

I mean a VPN could legally do that, and in the case of a ISP my personal idea of net-neutrality would be that a neutral service needs to be available and that non-neutral offerings needs to be clearly marketed as such.

I honestly see this as a possible drive to competition, as ISP would be forced to disclose how shitty or not the service is.
I think most of the world lives pretty close except the US. But problem in rest of the world is not that you can't have schools, clinics, entertainment, shopping in a 15 minutes radius but the problem is finding the desired combination when you throw in you and your spouse workplace and the school to which you want to send to your children to.
> i bet you could double that number, for these people not to have a voice in how what is essentially their city center is governed is extremely undemocratic

That's nonsense though. You could argue that the influence of Parisian politics go way beyond the city and by your logic the whole of France should be voting for stuff that concerns Paris. That's just not how representation works.
No, it isn't. That's not value - that's just rent-seeking i.e. moving money from one pocket to another.
In a product with a big tick size, to react to any single event you'll probably only need to know what's happening on the top two or three price levels (as it's super unlikely to move more than that in a single market data update). Then after reacting you can update your big, slow book and generate a new fast, approximate book from that, in preparation for the next market data update.
Hey saw that too. I don't know how I missed. Changing now...
'Antarctica Melts,' NASA Says, Showing Effects of a Record Warm Spell
> I'm not sure why you are downvoted.

Probably because parent is cherry-picking and has no source. The average flat in Paris is at €10k/m2, so 30m2 would be around €300k, not €1.2M.
How to Create Django Multi-Page Application
The full stack team of the 20s must own its data
> The explanation I get is that if a card payment was verified by the customer with 3D Secure, it is considered valid and cannot be challenged.

Was this with a credit card or a debit card?

At least with my (European) bank the above is only true for debit cards, while credit card payments can also be chargebacked on contract disputes with the seller.
Jacquard Machine
How does making private closed-source derivatives of software close up the original software?