skysight-inc/HackerNews huggingface dataset:
When I say range types I mean a type like '5..23' - a sub-range of some other type. Haskell doesn't have these. Most languages don't - one example that does is Ada:

https://en.wikibooks.org/wiki/Ada_Programming/Types/range

As you can see from that link, it's bounds checked at runtime. You could have a modulo type that wraps on overflow, which is of course what most numeric types are in most programming languages, including Haskell, but the modulus is fixed at some power of two for obvious reasons.

There's only one thing I truly value out of a good type (or static analysis) system, and that's enabling fearless refactoring. I want the type system to pick up on any downstream consequences of a change I make rather than finding out by phone call at 3am the day after a deploy that some edge case got overlooked.

Dependent types can (in theory) give that over smart constructors. If my parser should leave me with, say, a sorted vector, or an assertion that if one field is some value then some other field is Just something, then I'd like to be able to rely on those facts in downstream code making use of the results of the parser. If it's just a smart constructor as we usually write them a later refactor (sorting on a different key, for example) doesn't change anything that any other bit of code can be verified against.

A dependent type carrying a proof that a vector is sorted based on some criteria and an assertion about the existed of some value can be verified at compile time.

I'm not sure what the status is of dependent types for Haskell. You could do similar propositional assertions now with Ghosts of Departed Proofs, and LiquidHaskell exists for these sorts of assertions, so dependent types aren't the only path to this kind of static safety, either. I won't claim that this is practical - though I would be surprised if it's not practical to do in small doses.

Nevertheless, I would still just be reaching for smart constructors in current day Haskell.
I de googled around 2 years ago as a result of one of these lockout discussions. So, there’s at least two of us.
Location: New York City

Remote: Yes

Relocate: No

Experience: Full Stack, IoT, Mobile, Embedded Systems, Machine Learning

Technologies:

General purpose & mobile: C|C++, Python, Java, Android

Web backend & frontend: JavaScript, Node.js, SQL, Marko.js, Docker, Redis, HTML, CSS

Machine learning & low-level: Tensorflow, MATLAB, x86 Assembly, Verilogs

LinkedIn: https://www.linkedin.com/in/daniel-melnikov/

Resume: (feel free to reach out over email)

Email: dmelnikovr@gmail.com
> Indeed there s no self-reflection on the viability of the supposed "plan".

Perhaps the viability is examined in the book, which is mentioned within the article title?

> Yet again, this is the same guy who was supposedly planning to counter the ECB's demands by setting up a guerilla currency through blockchains and I-owe-Us.

"Supposedly" as in conspiracy theories backed by thin air?
Its a really famous book. And that particular story is about Visual Agnosia so its kind of apt.
How many countries have currencies backed by gold? Is the USD fiat backed by gold?

Soon per person debt in the USA is going to sky rocket. Is it really such a bad thing having a domestic digital currency with no intrinsic value?

We can control quality of life and local exchange. If it’s not pegged with the usd, it might bifurcate economy as local/domestic and international. We might avoid a revolution or civil war or mass youth revolt. Perhaps it can be in lieu of UBI.

I can’t see how what’s happening now can be a good thing for Americans and USA a decade down the line. On principle, I don’t support UBI. Having said that, I don’t see how it can be avoided. From a macro economic and micro economic POV. Perhaps having some form of it ..with some kind of flexibility..will be a better compromise.
https://i.ytimg.com/vi/TpTZnI53IF8/maxresdefault.jpg
Speaking as an American who has been to Europe, used their mass transit (and mostly liked it), but has skepticism about a lot of European political processes working here: yes, absolutely. All 3 of your points are spot on.

Healthcare does have an impact, in that the comparison of labor costs btw US and Europe often doesn't account for the fact that the cost of labor in the US includes health insurance, generally, whereas the cost of labor in Europe does not. This is the flipside of comparing tax rates between US and Europe, where Europe's rates look very high, but include healthcare generally, so the same cost is booked as labor in the US but as general government spending in Europe.
Programmers have always partitioned their code in, roughly, the following way:

- lines
- functions
- objects
- modules
- binaries

The languages/terms differed, but that's how software has been constructed since approximately forever, and we've always had debates on optimal size/length of lines/functions/objects/modules, etc. We've also had numerous reincarnations of binaries talking to each other over some form of RPC. What happened here was a marketing knife-war between companies in the container management space. Then someone (we'll never remember who) tried to differentiate by coining this term, which basically means "binaries with RPC".

Every binary in your /usr/bin/ is a microservice. Just type `watch date` and enjoy two microservices running, no need for containers/kubernetes :)
Yes, here is an example of a paper that mentions a re-infection with significant genomic differences between the two samples: https://www.thelancet.com/journals/laninf/article/PIIS1473-3...
On the flipside, you’re trying to tell me I should be willing to accept a lower standard than I wish to, or that I’m used to, or that has been established for decades, because of some anachronistic bureaucrat, and my response to that is a short expletive.
Well, Scaleway did offer normal instances for €2,99 per month earlier. Which isn't much lower than this (especially considering those offered more CPU, storage and memory than these), even still they managed to grow considerably. So they did manage to thrive on this.

They recently bumped the price for the basic DEV1-S up to €4,99 and I know a lot of hobbyists like myself have been cutting down on their instances because of that. For a business this difference is nothing but for a private person it adds up especially if it's not running anything super important. Especially because we have to pay VAT. And their prices don't include an IP which is €1 per month extra. All peanuts but for a hobbyist it adds up.

I think this is an attempt to rekindle themselves with the hobbyist market, and it worked, I'm really happy with this! :D Of course many hobbyists work in IT too, so it's a smart move to get into the hearts and minds of IT pros.

By the way I'm very happy with Scaleway, their support is excellent and you can just ping them on Slack if you have questions. I expected they'd behave more like a 'big company' as they grew bigger (like what happened to DigitalOcean which I used before), but this didn't happen. They still have the customer-first approach of a startup, and they don't look down on the little guy.
It's currently posssible to make a PR to the github dmca repo that merges youtube-dl, and so violate their TOS.

When you make that PR, you do not transfer any of youtube-dl to github. Their repo already has those objects.

So all you have done is pushed a repo containing a specific hash, which is now a TOS violation, in that specific case at least. I wrote "Certain commit hashes are rapidly heading toward being illegal" because of that specificity.
Arcesium | Distributed Systems Engineer | Linux Engineer | Product Manager | Product Support Consultant | Software Engineer | Summer Infrastructure Engineer Intern | Summer Software Engineer Intern ¬| Technical Relationship Manager | New York, NY | Onsite | Full-Time | Visa

Arcesium is a technology and tech-enabled services company. We deliver front, middle, and back office solutions to some of the world’s most sophisticated institutional asset managers, hedge funds, asset allocators, and banks. Through a combination of advanced automation, innovative data management tools, and anomaly-resolution workflows, Arcesium’s clients can achieve a single source of truth, scalable to millions of data points, for use throughout their entire organization.

Building on a platform developed and tested by one of the world's leading investment and technology development firms, the D. E. Shaw group, Arcesium launched as an independent company in 2015. Arcesium received additional equity backing from a second seed client, Blackstone Alternative Asset Management, the world's largest discretionary allocator to hedge funds. Since then, we have grown to support more than $380 billion in assets with a staff of over 1,000 software engineering, accounting, operations, and treasury professionals.

Arcesium is hiring for the following roles:

- Distributed Systems Engineer
- Linux Engineer
- Product Manager
- Product Support Consultant
- Software Engineer
- Summer Infrastructure Engineer Intern
- Summer Software Engineer Intern
- Technical Relationship Manager

To learn more about these positions, please visit our https://arcesium.com/careers.html.
To be considered, please send your resume to careers@arcesium.com.
Can somebody give an idea of what are the most common alternative data sets that are the most widely used?
Sanvello Health | Remote (US only) | Sr. DevOps Engineer | Full-time

Imagine playing a pivotal role in revolutionizing the treatment of anxiety and depression. To better meet people where they are in moments of need. To improve outcomes that lead to happier, healthier lives. To help ensure that stigma, cost, and logistics no longer get in the way of care people need.

As a DevSecOps engineer you will be responsible for the security, reliability, and performance of our production and pre-production environments that deliver the web and mobile applications used by over 3.5 million individuals to manage stress, anxiety, and depression.

Apply here: https://www.linkedin.com/jobs/view/2189592495/
> Are you hard of hearing?

Yes. Thanks for reminding me.
That's not why I use Brave lol.

At this point:

I use Chrome for one Metamask HD sequence

I use Firefox for another Metamask HD sequence

I use Brave for another Metamask HD sequence

Funny to say this, but I use so many browsers mostly for accounting purposes.

I wish there was a good wallet that maintained multiple HD paths and assisted in other best practices.
Worst part of the way these policies are deployed is that they rarely take into account how people will react when forced to solve their issue rapidly... they'll go ask many people .. more infections.
It depends on configuration. I doubt very many SMTP servers are case sensitive in this day and age. This is not the case on my Postfix servers. Sendmail was also case insensitive in its default configuration (though it has been many years.)
We could even surround all the homes with bushes and grasses and trees and it would just be wonderful https://i.imgur.com/JFeMEyO.png
Thank you for posting this here! I didn't know this was happening (I always decline mailing lists etc). Got my 2 instances already and they will replace one VC1S which was hard to upgrade at this point (it's an old type instance which is no longer offered and was too heavy for my use anyway - it was way out of date and upgrades failed because they were running custom kernel boot images, but I kept it running because they never raised the price on it like they did with the newer ones :P ).

Only thing I do miss is that their console doesn't work on Firefox :( But I just use chrome in those edge cases where I need it.
I haven't been paying attention to supercars for ages, but while briefly looking for photos of the Tuatara's powertrain I learned it's an NRE-sourced motor.

So let me get this straight; this is a $1.6M "supercar" with an NRE-supplied souped up Chevy (or is it a Ford?) V8 with the usual couple turbos hanging off it?

Nice profit margin.
Aaah, well, thanks for explaining, because the joke went totally woosh over my head :^).
Leaving OCaml
Yes and Warsaw (which is a recent addition). No US though!
I suspect you'll have difficulty creating a case sensitive email address on any public email service.
Agricultural training is not the same as landscaping or nature restoration.

Agriculturally trained means "I know how to grow corn". Or potatoes, or maybe even 10 or 20 species of veggies in a monoculture, that must grow just for a limited amount of time before collapsing, following a set of very clear instructions and killing anything that stands in the path.

Is the equivalent as being able to copypaste a small "hello world" program on internet.
I'm confused. UI is one of the things Vivaldi differentiates itself on. What's the polish that they could add?
OT: but do you have any favorite books on ecology you can recommend to an interested lay-person?
As an American I must say... bravo. Truly these are some next level fried foods. Deep fried oreos and deep fried butter don't hold a greasy candle to this stuff.
The I-MASK+ protocol will revolutionize the treatment of Covid-19
This is maddening...

Why does Google, with all the resources at its disposal, choose to cheap out like this when competitors in the video chat space (from tiny startups to gigantic corporation of similar size) have offered near native resolution video chat for ages?

Are they even _trying_ to compete?
Great write-up, and I've got to say that the biggest takeaway from it, for me, is that the cloud pie has more sections than I thought it did. Well, I guess in the back of my mind I knew there were quite a few providers, but I never paid serious attention.

From now on, I'll make a conscious effort of at least taking a look beyond the most popular providers (and Heroku), and not just for the sake of cutting costs.
A vehicle without battery that is just standing there on the swap platform waiting to get a fresh pack does not need a structurally sound frame. So while the battery is structurally important, it does not follow that non-swappable batteries are by default of a higher capacity; the same structural elements can be integrated in the swappable battery.

The only real margin is the swap hardware and any structural binding parts designed to pass loads towards the battery frame as if it was built in part of the fixed frame. True, it makes no sense to design and include those parts when swap is not on the market, so it's a tradeoff. But is it a salient tradeoff, does it make the car with the built-in battery significantly better? Only very marginally I would say.

The same for aerodynamics, there is really only one place to put a large battery pack, it's not like you can gain lots of design liberty by putting an unconventional shape battery in the bumper or in the roof. Swappability of the underside of the car has no impact on aerodynamics.
The official land speed record uses a measured mile. You start as far back as you need to and then go through the traps and get timed. The Southern California Timing Association sets up time trials on the Bonneville Flats frequently. They routinely time speeds over 300MPH. These SSC guys need to go to a place like that and do it with timers and spectators, or shut up.
The Beetle probably cost similar to one tire for the Veyron
> "There is no spare even 4KW for every house and never has been"

Yes, there is. It's just the timing that matters. Domestic electricity demand during off-peak overnight hours is as little as 1/3 as it is at peak time. If all those houses can run 4 kW of air conditioning, or heating, or electric ovens at 6PM, then there is 4 kW to spare at 2AM.

This issue has actually been studied in some detail by the UK's National Grid. The conclusion was that additional demand from millions of electric vehicles would cause issues if they all were charged at peak times. But, provided demand can be managed, existing grid infrastructure can cope with an entirely electric vehicle fleet with modest investments in the coming years/decades.

Fun fact: UK grid demand used to be significantly higher than it is today. It peaked at 62 GW in 2002, but it now rarely gets above 45 GW, despite significant population growth! Much of this reduction in demand is due to improved energy efficiency.

If we could handle 62 GW in 2002, then there's no reason that we can't handle 62 GW again in, say, 2042.
Okay but this really isn't the place for a political covid rant.
When do we call it a "who"? Where is the line?

Sometimes I don't go down an aisle if I see the spill monitoring robot in my local grocery store. I think it's annoying, slow, dimwitted, and I can't communicate with it. Sometimes as a joke I'll even stare it in the camera and say "Your mother was a toaster!"

Where is the line where I'm no longer just a crazy person, but also a racist?
I switched to bing a few years ago. Works great. I still use gmail but change emails every few years so dont rely on it.
Universal Basic Income is gathering support. Has it ever worked?
Angaza | San Francisco and Nairobi | REMOTE ok | https://www.angaza.com/careers/

Angaza allows life-changing products, such as solar + battery home energy systems, to be sold _on payment plans_ in off-grid regions across Africa and Asia.

We've reached millions of people whose homes now have electricity for the first time:

- https://youtu.be/2EvEeAs_9R4 and https://youtu.be/onMT6_Yv67I

- https://www.angaza.com/category/engineering/

The technology you build will reach a billion more. We are hiring an embedded applications engineer / partner engineer, and other roles, in San Francisco and Nairobi (and remote):

- https://www.angaza.com/careers/

You can read more about Angaza engineering culture on our Key Values page:

- https://www.keyvalues.com/angaza
Why not just use firefox profiles ?
I believe the Russians have some pretty amazing stations.
It reminds me of when I try to play any of the Smash Bros games. I can't keep track of my character on the screen ever. I don't know how people do it.
Sleepy Swiss town launches Tezos-backed Coronavirus aid program
Canexia Health | Vancouver, BC, Canada | Remote (Canada) or Onsite | Devops Engineer

We partner clinics and hospitals, offering a cancer diagnosis and treatment recommendation platform, helping to democratize better access to better outcomes for cancer patients. Our assays can work from blood samples, making them very suited to these times when patients may not have the ability to go to hospital. Our installed base is growing and there is a lot to do to make our product and bioinformatics pipeline ever better!

Our tech is largely open-stack, with a lot of Python, Javascript, Django, AWS EC2, Ansible, Docker...

Our team is small so there is the chance to make a big impact and improving outcomes for people out there suffering from Cancer! Check the role and apply here: https://canexiahealth.com/careers/devops-engineer/

Or send me (Olivier) questions by writing to othibaut (at canexiahealth.com)
If someone wants you to leave, it's usually best to leave. Good riddance to them if you find yourself in that position.

Far better would be to spend your efforts finding which RIAA members pressed the RIAA to make this takedown. Follow the money, cui bono, etc.
"When people thought the Earth was flat, they were wrong. When people thought the Earth was spherical, they were wrong. But if you think that thinking the Earth is spherical is just as wrong as thinking the Earth is flat, then your view is wronger than both of them put together." -- Isaac Asimov
I see what you're trying to say, but try to look at it from a normal person's point of view, rather than that of a lego advocate (even one with a point!): most people would consider it really quite hard to come up with a clearer example of workplace infantilization than introducing lego into a working session. Lego (if we are talking about the same thing) is fundamentally something created for children, much as we might wish that society recognize the profound benefits that can come from adult interaction with said plastic building blocks and little people with fixed hats.
Thanks for clarifying. I do understand that these specific hashes are effectively forbidden in the dmca repo.

Are you aware of any specific instances where the presence of youtube-dl hashes in other repos have been found by github and used as the grounds for disciplinary action? That would be noteworthy indeed.
Not having heard of something is always understandable, and it's pretty immature to make fun or "feign surprise" when someone doesn't know something you know.

But not searching to see if something had been posted before on a forum is a bit different[0]

[0] https://hn.algolia.com/?q=inverse+square+root
Wow, you're right. They save it for big occasions it seems. I take back my snarky joke heh
Mazo coated fish here in NW London, fat golden chips in a paper rose doused in vinegar with a heavy dose of salt, but nothing compared to hot and fat chips doused in curry sauce from the Lobster Pot in Liverpool accompanied by a can of brew and some weed
Cat as a Service: REST API for cat pictures
The term 'roach motel' comes to mind when I see their network traffic rates.

"Come on in; there's no commitment. Pay as you go, and did I mention our ingress rates are free! Bring us your data and give the cloud a try. It's the future, you know..."

"Oh you're leaving and want your data back now?"
Klein Vision celebrates maiden flight of its transforming AirCar
IOTAS | Portland, OR or Remote (West Coast) | https://www.iotashome.com | Full time | Backend Engineering Manager

At IOTAS we work directly with apartment buildings to bring smart home technology to renters and property managers. Think smart door locks, lights, thermostats, etc that can be controlled via our mobile app. We are constantly integrating with new IoT devices that make life easier for both residents and property managers. Our backend software runs primarily on AWS (ECS, RDS, API Gateway, Lambda) and we have a fleet of hubs deployed in the field which are installed in each apartment.

We are looking for an Engineering Manager to lead the IOTAS backend team which is responsible for architecting, designing and building the core of the IOTAS IoT platform. The team is small to start, so most of your day will be spent in the code. Over the next year you will spend time growing the team to support our future roadmap.

* Backend Engineering Manager - https://www.iotashome.com/job/backend-team-engineering-manag...
1. Social Media Data - Twitter mentions etc
2. Website scraping (trolling linkedin, alexa, github) for evidence of activity
3. Credit Card Data - aggregate and POS data
4. Satellite Data - How many cars in the Walmart parking lot.

Those are a couple of the more shiny alternative data set in terms of interest. A lot of quants also pay big bucks for more micro or hft data.
Three Hundred Million Downloads of Apache OpenOffice
Good point, thanks.

I still think a US ruling would be very beneficial, even if it doesn't definitively settle the issue globally.
SEC should also place an individual limit of how much a "non accredited individual" can invest, like $10K.
Since 2000, “Australia’s tectonic plate – the Earth’s fastest moving continental plate – has moved about 1.5 metres northeast (approximately 7 cm / yr)” https://www.icsm.gov.au/gda2020

That’s more than 1000 times slower than leapsecond-related drift
Computers do not have _real_ number systems, only _rational_ number systems and rational approximations of real numbers.
Cryptocurrency Can Help in Paying Universal Basic Income
oh no, it's what he claimed to be doing. I don't believe he could pull it through of course, but he himself claims he came up with that crazy plan .

https://www.keeptalkinggreece.com/2016/01/20/varoufakis-reve...

https://news.yahoo.com/varoufakis-parallel-currency-ploy-spa...