skysight-inc/HackerNews huggingface dataset:
This was before cable boxes, I think (or maybe they were only needed if you had a fancy cable package). At least around here, there was a physical RF filter that was removed at the cable box that delivered cable to your house, if you subscribed to HBO. I swear I remember hearing about people removing the filter themselves and then getting in trouble when the cable company found out. On most sets you could turn the knob to channel 2 and get a distorted picture and audio for HBO if you weren't a subscriber.

I always figured that it was either leaking out from the cable, or maybe a TV or something wasn't shielded well enough. I'm out of my depth on that though, so I'd just be guessing.
Probably something along the lines of:

Hush, little baby, don't cry a storm
Daddy's gonna read you a cuneiform
And if that cuneiform should crack
Daddy's gonna buy you a ziggurat…
I disagree. I think OT systems are way simpler to reason about, because they’re just an extension of event sourcing. Also CRDTs type implementations have been trailing OT algorithms in terms of features forever. OT got JSON editing support first, and JSON1 (the OT algorithm I linked above) also supports arbitrary tree reparenting, which as far as I know is missing from all CRDT algorithms. That’s needed to implement apps like workflowy, where you can drag trees around.

CRDT algorithms have documents which grow without bound. With OT, the documents are always minimal and it’s easy to reason about (and implement) trimming operations.

CRDTs are a better tool for distributed applications, but for server client stuff OT works fine.
Not that you're wrong about the PDF spec being monstrously complex and not universally supported, but why would someone want to generate a QR code from form fields? Who actually wants to use QR codes?
https://www.biorxiv.org
>The kinds of bugs that get caught by a static type system are also caught by a good suite of automated tests, where every test is written before the production code that makes it pass.

That's not a small thing though. It's one extra thing that you just have with static typing. Not that you don't need tests but at least you will have already some bases covered.

For me a big reason of why I like static types it's the ease of reading even if a developer was sloppy. I have read dynamically typed code where the same parameter can be a string or an array or an object depending on what's the weather like outside when a dev needs to call a function. This sort of confusion makes it exponentially harder to read and understand code IMHO.
In the TicTacToe spec, we have

Next2 ==
/\ turn' = turn + 1 \* A
/\ current' = Opponent \* B
/\ ∃i,j∈1..N: \* C
/\board[i,j] = Empty \* C.1
/\ board'[i,j] = current \* C.2

For `Next2` to be true, the square [i, j] has to be empty AND in the following state, that same square must have whichever mark was `current` in it. Since `current` switches between the two each step of the behavior, this forces each player to wait until their turn comes around.
Thanks, that's pretty cool. When I was a kid I could never get my model train to go very fast. It wasn't until about 30 years later that I learned enough EE to understand the problem. Eventually I learned enough to build a self-balancing robot using PID control but I'm always amazed at college students who can do this stuff easily.
> For people to not communicate?

Option 1: 100% state surveillance and control

Option 2: Zero ability for platform operator to reduce the harm their platform inflicts

Option 3: People cannot communicate

Yep, those are the only choices, nothing else is possible.
Damn, this is the most granular JPEG editor I've seen so far. Leaving the joke aside, that's a really fun research/demo.
It's more complicated than that. In the Paris region, a lot of middle-class families that wanted apartments in the first ring in the 80s/90s often couldn't afford them (my parents tried to buy a 3bd 70m^2 and settled on a 4bd house double the size during that time), and houses in the second ring were really cheap in comparaison. That, plus the fact that trains to Paris weren't that bad/getting better led to a lot of people moving to the car suburbs.

As the parent comment mentioned, they're also the ones that didn't appreciate in the 2010s (after crazy appreciation in the 90s/00s): https://www.meilleursagents.com/prix-immobilier/ile-de-franc...
What's wrong with it is this is a database and not a JavaScript framework flavor of the week.
isn't that domain name style bucket naming only for hosting a static website from an s3 bucket? otherwise, you can name the bucket whatever you want within the rest of the naming rules.
Because buying cheap surplus capacity (spot instances) is likely cheaper than running your own (Amazon has a reason to sell them at any value above the marginal cost of running stuff on them, which is basically power).

They might have a dedicated fleet for some capacity. They might also have a less predictable encoding load (e.g. not be sure how much content they will acquire), or able to make trade-offs (encoding is expensive today? let's do a fast encode and wait until spot instances are cheap with the better one).

They might also be buying for different prices/conditions than what you and I see on the web site.
I'm working with data where the columns in another DB are already CamelCase and I want to maintain consistency. I'm not a newcomer- I've been programming for 30+ years.
That is one of the major ways prices get to something reasonable. Once you have people taking cost into consideration when choosing a provider, it becomes a competitive advantage to have a lower price in a way that it hasn't previously.

Obviously you have to execute this well and without the rules getting corrupted by inefficient businesses that want to keep their margins, but "rules are not corrupt" is the sine qua non of reducing prices regardless of which specific mechanism you use.

One way to fix that central problem is to decentralize it. Eliminate the federal rules to be replaced with state and local rules. Then you may get one city or state screwing things up, but it at least puts the upper limit on how expensive things can get there at the cost of traveling to a different place with different rules and lower costs, and the travel cost is naturally lower between cities or states than between countries. (And having the option to do that generally prevents you from having to actually do it, because the local providers still want your business more than they want the higher margins.)
This shows again that JPEG is apparently some alien technology from the future.

People always say that nothing good can come out of a committee. JPEG proves the opposite.
There are certainly places you can live (even relatively affordable ones!) that you can have this in the US.

I live in Chicago within a 3 minute walk I have my choice of Jewel/Osco or Trader Joe's (which are both right by an L stop, so they're accessible to other people near the L as well). An extra few minutes and I can go to Target. An extra 10 minutes and I can walk to Whole Foods or Mariano's.

My rent isn't super low (~1650/month + electricity for a ~700 sq ft 1 br; parking would be $200+ extra if I had a car) but a CTA pass is only $100 / month and it's pretax. Of course not every part of Chicago is like this.
The drugs a specific person is taking today will be effective forever as long as they take them every day as prescribed. Hiv mutates when doses are missed or you take less than 3 drugs to combat it. There exists no future in which hiv drugs we're using today suddenly become ineffective.

A subset of the population will become resistant to certain classes of drugs, because people do stop taking drugs etc. And gain resistance, then pass that on, but for a specific individual their current regimen should be good for as long as they take it. Realistically people change drugs every so often as better drugs with lies side effects are released, but not because of new resistance development.

Now this did used to be a bit if an issue since people had to take multiple pills at different times a day. Having to do that makes missing doses easier, and then resistance can develop. But these days most people are on a single pill taken once a day that completely eliminates that risk.

You're thinking of this like antibiotics, when it's really not a comparable situation.
You're assuming that most code is actively maintained. It isn't. This is going to break so much older stuff.
I had this thought when I was 13 and first learned the basics of programming "hey dad if everything is determined by physics and chemistry and computers are real good at math can't we analytically deduce the future."

I eventually learned this was just the 13 year old's version of "why's the sky blue?" into "but why is Rayleigh scattering a thing?" and there are several limitations to both human understanding of science, and theoretical computation limits -- a computer to have sufficient accuracy to model the world would by definition need to have as much memory as the world, and model itself in it. I moved on from that idea shortly after learning of that.

Is Stephen Wolfram just an overgrown child? Maybe unironically that's what being a genius is about.
Who cares. 6.5k/4 years is 1.6k/year. the car needs to only last 3-4 years
Blocking Ads Using Unbound(8) on OpenBSD
Personally, I have a bad working memory and struggle to remember the structure of data. I constantly have to jump around and try to find the name of things / recall their hierarchy

With static typing I can just highlight a type / jump to the definition or get intellisense. I also find it useful when I have specific names for data types because I can reason about things / communicate them easier

To me taking the time to specify types or wrangle the type checker is worth the reduced mental burden of having to remember the shape of things, and refactor data structures confidently
... the NYT is the outlet that broke a number of stories discovering many of the crimes of the Trumps
There's more to it than that.

In my country (the UK), our politicians and all their donors/lobbyists are privately educated, and send their children to private schools. This gives them little incentive to make sure state schools are well funded and run, since that only affects "the poor". This only serves to compound the above situation

I was privately educated, and am grateful for the quality of education I received, but I lament that half my compatriots who I share a nation and political system with did not receive the same. My country is broken and divided along these lines, as recent political happenings like Brexit illustrate, and it desperately needs mending. If we need to abolish private schools to achieve that then so be it.
I think the parent's point is that for a lot of people, especially those outside of SV, $20/h is more than a token payment.

Sure, it's not going to make a westerner rich, but if we think to happiness instead of just money - it could well enable someone to make a living doing something that makes them happy.

And of course there are several countries in which $20/h is a great wage.

The OSS vs money problem is a hard one to crack, and it's entirely possible that there isn't a solution that suits everyone; there are the originators, currently active maintainers, occasional contributers and end users to keep happy - and each group has their own priorities and goals.

And if that wasn't enough, each project is different. Some are more or less zero-touch, "completed software", while others are under heavy development; some wish to follow copy-left, some wish to follow copy-right; some view their work as merely a hobby, some view it as their job, and some view it as purely altruistic. There are even those who are diametrically opposed to receiving any payment for their OSS work.

There simply isn't a one size fits all solution, so let's not be too negative when ideas are put forward.
Why Not Airflow
A lot of ML problems are already solved fairly well and people want to use them in their products. For example, say you wanted to make a smartphone app that had some kind of image recognition. You aren't trying to invent a new machine learning algorithm. This tool would be very convenient for making an app like that.
In my country (EU, so gas is a bit more expensive) the government calculates* transport costs at 0.37eur/km. So $0.45/mi would be in the right ballpark.

You have to account everything, not just fuel, from car depreciation, servicing (oil changes,...), normal wear (brakes, tires,...), occasional replacements (batteries, wipers, ...), etc. If you drive 20.000kms per year, and a yearly service (oil, filters,...) costs 200eur, just that adds aditional 0.01eur/km. Two sets of tires (winter/summer) are ~2300eur + 8 changes (8~40eur) adds an additional (almost) ~1k eur in four years, 1 more cent. Insurance, registration.. 3, 4 cents. etc.

*that's the untaxed amount you get reimbursed for if you use your own car for a business trip.
Okay, this seems like a bad faith argument to me. You must be aware that print media in the UK, including The Guardian, also publish stories that are backed by real evidence (e.g. photos, videos, people openly stating, "I personally did/said that", etc.) rather than mysterious, unnamed sources.

Plus, it looks disingenuous to pretend that The Guardian didn't willfully choose to print this story instead of any of the many many stories about Barack Obama being a "secret Muslim" or even "gay" according to some source.

You can further clarify why you think The Guardian is actually good if you want, but if it involves, "Everyone else publishes stories from sources," I'm done taking it seriously.
It's a reasonable timeframe, but not all codebases are actively maintained. In addition, it's concievable that there's some hidden custom library somewhere that crafts S3 URIs, making it near impossible to simply grep for a certain URI type in the codebase. So people may have to scour codebases they don't even maintain to look for random code which may craft an S3 URI in a certain way, then fork that project, fix the functionality, publish it, and use the fork. Then they may need to fork every other project that uses that original project, and do the same thing ad infinitum. If this is a private company, they have to do all that within some corp-wide globally available private repo, which either means (1) making this repo public on the internet, or (2) adding it to every security group they have that pulls code. It may even require adding direct connect or privatelink. So that means a long research project, followed by a project of fixing, testing, and releasing new code, followed by a project get network access to the custom repos and change software to use them.

So, surprisingly hard, but doable. And from the customer's perspective, a huge pain in the ass, just to save Amazon some pennies on bandwidth.
That is quite the extraordinary claim.
That is an extraordinary claim, and needs some evidence for it to be taken seriously.
Implicit argument from authority.

Just because hardcore scientists are religious, anything about the religion they choose. They are mutually exclusive.
The "Ancient" art of spearfishing requires a wet suit, snorkel, and spear gun? I don't think that word means what you think it means.
I was recently introduced to the idea of gluing and/or stitching one's own body parts or open wounds in case of a severe injury due to the costs associated with US healthcare. I found the nonchalant discussion of such horrible suffering absolutely incredible and would advise everyone to try some medical tourism. Here in Bosnia&Herzegovina, abdominal ultrasound is 20€, colonoscopy is 100€, one tooth filling 15€ and a tooth implant 600€. Nearly all my friends have settled outside B&H but I stayed simply because healthcare is so cheap compared to other, wealthier countries.
Hacker News definitely does duplicate detection, but if enough time has passed then duplicates are allowed.
You didn't understand what I wrote. I am talking about the group of people that were uninsurable because of preexisting conditions. This group of people was used as a reason for the ACA. However when a pilot program was run before the ACA went into effect, the size of said group appeared to vastly over-estimated.

So the reason for a special program would be to help the people that need it and not mess with the entire country insurance.
This paper was very accessible as compared to other academic papers, is there a way to find other papers like these ? Maybe its the lack of math equations and benchmarks.

I like how most of the statements are supported by examples, which makes it easier to understand (after some Googling ofc), especially for someone like me who is a million miles away from academia and a programmer who rarely has to think about kernel/CPU/memory intricacies, mostly due to working with higher level languages and abstractions on top of the OS itself.

My uneducated and naive thoughts on this paper: Instead of replacing the kernel with `parakernel`, is it possible to implement a POSIX compatible kernel layer over the parakernel itself ? So that drivers, linkers, and other abstractions don't have to be re-implemented again for the parakernel.
> closed-source

Focusing on the technical implementation of e2e is a distraction.

For the sake of argument, let's assume that Facebook actually implements e2e and they really cannot read the cleartext or make it available to fbi.gov.

My argument is that this is a dystopian outcome as bad or worse than WeChat's model of 100% state surveillance and control.

It's a devious way for Facebook to avoid responsibility for the harm its platform amplifies and accelerates.
A date doesn't really change anything. Someone could say, "We open on October 1st, 8 am local time worldwide".
Is it possible that they didn't need the extra properties of the "government edition" and ran on public Azure (e.g. because it was cheaper or less red tape)?
Location: Rio de Janeiro - Brazil
Remote: Yes
Willing to relocate: Yes (preferred)
Technologies: JavaScript, React/Redux, TypeScript, CSS, Linux (bash) shell scripting, Node, PHP, C#, Ocaml, Postgres, MySQL, Oracle, MSSQL, MongoDB
GitHub: https://github.com/hervan/
Résumé/CV: https://drive.google.com/open?id=1-g9zw0Qmnk2HTWMQ_i6cfgYlecjmQUkS
Email: hervan@gmail.com
It's very easy to see if they got infected by their partner. Their hiv resistance tests, which everyone does prior to starting treatment, will match.

Not sure if that's the part you're having a hard time with or not.
As much as I liked Clojure when I dabbled for a few months it didn't really fix my dislike for dynamic languages, but I imagine core.typed / spec would fix that for me if I gave it another shot

I loathed dynamic typing mostly because you had to jump around code to understand what the shape of anything was, and it distracted me from the problem I'm trying to solve

In ML influenced languages types actively help me plan a solution, and rarely get in my way
According to the article, it's because the new CEO is really trying to purge any vestige of the loose-cannon "bro" culture that he (rightly or wrongly) feels Kalanick fostered.
Your dad was half right: the world owes you nothing. Unfortunately, there’s no guarantee that you’ll be fine if you understand that.

The universe is a cold, uncaring place. Part of the reason we create societies is to improve on that.
Yann LeCun and Leon Bottou had one of these in Lush ... I think back in the 80s. It's still in there!
1. Not everything that's communist is bad: see single payer healthcare and social security.

2. Abolishing private schools does not imply state control of education. There are plenty of public schools that are either controlled by local authorities instead of central government, or controlled by an independent foundation.
Ask HN: Investor didn't pay up. How to cancel SAFE?
We're part of a startup accelerator in NYC that is having cashflow problems. Payment was due over several tranches via SAFEs.

Second tranche never happened. It's been more than a month now with nothing but excuses.

Is there a standard way to revoke a SAFE that is signed but never paid?
Can body cameras protect NHS staff and patients from violence?
The Scott Trust is not a non-profit. See https://expressiveegg.org/2017/02/07/guardian-bothering/ and https://www.jonathan-cook.net/blog/2015-03-03/hsbc-and-the-s...
This is the US man. We didn't pay the British Crown a cent, and no one saw any reason to change that policy for southerners. Paying for freedom is not something America as a nation was given to doing in the Late 18th and 19th century. Heck, vast majority of us wouldn't do it today. This country was literally founded on the principle of not paying for freedoms. And this history is the very reason we carried so much caché and influence through the 20h century. People knew our history and admired it. Historically, the incrementalists have taken a back seat to us, not the other way around.

And I mean come on guy? What's with these ideas? Any violence against slaves just "drops out". But other violence does not? We should pay off slaver owners? A million lives is too much to pay to end slavery?

A million lives is far less than the body count of 400 years of the slave trade. How many lived and died as slaves? How many were killed, beaten, or left for dead? Or maybe just thrown overboard? etc etc etc.

As to the question of paying off slave owners, what part of our history to 1860 would lead you to believe that it was our policy to pay money for freedom? You either didn't pay attention in history class, or you are willfully ignoring the nature of how we got our start. Presumably because it is inconvenient, and doesn't fit with your narrative.

And, yeah, on the question of just ignoring the violence against slaves, that's just not even worth commentary.

But hey man, we can just agree to disagree. Obviously we're just different people. You have a nice rest of the day.
Joincoincircle
Free $500
https://coincircle.com/l/iVbulB16HK
It means undetectable, so the hiv rna test has a lower limit. Say 12 copies per ml. Undetectable means it is below the level.

You'd normally want to be UD for 3 months before engaging in unprotected sex with your informed partner.
Why single out transportation? One could imagine a cheap house in a small town with no jobs, high taxes, expensive utilities, pricey shopping centers, in a flood plain, in a country with an exceptionally broken healthcare system. Transportation could be the least of your problems.
If you buy a $30k car, and manage to get 120k miles out of it before you scrap it, you are paying $.25 a mile just in capital depreciation expense. That's before fuel, insurance, property taxes, maintenance and repairs.
Agreed. The only times juice is appropriate for a baby is if they are at risk of dehydration (at which point give them anything they’ll drink) or if they’re constipated (the sugar in juice can stimulate the digestive system).

In general juice isn’t particularly healthy for anyone. It’s sugar water.