skysight-inc/HackerNews huggingface dataset:
> I am personally very intrigued by ATS

As am I. I'd say this, along with Idris and Agda are showing how useful types can be.

> Do you consider it ready for adoption

People have written non-trivial software in it[0], but because it hasn't yet reached a 1.0 release, I wouldn't say it's quite ready for adoption. It seems to be more of an academic project for now.

[0] https://github.com/xlq/aos
Soldiers, children and old-age pensioners are not productive, yet not pathologised.

Whole swathes of jobs are not truly productive, e.g. marketing and advertising, psychologists, priests, yoga-teachers.
Ok, we've taken the astroturf out of the title above.
Money and power drives leaders mad. It's not delusional if you can retaliate against people who don't toe the party line. Just look at the US destroying whole countries for not upholding "freedom and democracy" mythology... well that's different you say... but is it, really?
> The problem is it'd vanish into a black hole

It doesn't just vanish, it reduces inflation which allows more money to be spent by congress. It would only be able to "vanish" if you were paying your taxes with a non-fiat currency.
My bad - it's actually starling [0] who do post office.

[0] https://www.starlingbank.com/blog/post-office-deposits/
Whether there are damages depends on the context. In 2015 an HIV clinic in London used the to: field instead of bcc: on a patient newsletter, thus exposing the names of 700 patients, many of whom knew each other due to the small geographic area being served (https://www.theguardian.com/technology/2016/may/09/london-hi...). They were fined GBP180K (under the pre-gdpr regime, incidentally, so this isn't a new risk for businesses).
If you search for the requested terms, most of the top links are spam blogs and other junk sites that describe him in glowing terms. It appears that they've successfully pushed most but not all of the critical articles down to the second or third page.
I believe it violates journalistic standards / ethics to make anything other than superficial changes to an published article without notating the change.

That’s not to say that every site should be or is held to those standards, but reputable publishers should be called out and shamed for this practice.
yeah and good luck deciphering their licensing. I'm a SF consultant and SF called the CEO of my company and told him to tell me to stop "socializing pricing" with one of my clients.

It really pissed me off since I have a long and trusted relationship with this client, if i can't give her a ballpark on licensing costs for some feature portfolio then what good am i as a consultant? God, it still pisses me off to even think about.
I wouldn’t know. It’s not like I’ve consumed my “fair free share” of your content, I’ve apparently consumed my fair free share of content across all of medium.

Would you accept to be requested documents when you enter the mall? Would you find normal to be stopped by a security guard that says “sir/madame, you’ve browsed enough stores for free without handing in your id card and personal data, please fill this form or leave” ?

I owe you nothing. If anything, you owe me. It’s my time that builds your audience, not the other way around.
I used to be member of a subreddit where people used to get cameos from people like Chris Hansen and get them to say inside jokes they weren’t aware of.

By far the best purchase was Norm MacDonald which I believe one of the board members paid $150 just to make us laugh.

There’s a real market in novelty with these things.

It’s like gift shop level celebrity stuff with more personalization. But better for social media.
It's worse than zero information. As the saying goes, it ain't what you don't know that gets you into trouble, it's what you know for sure that just ain't so.

15 years ago when I was doing the university thing, I was surrounded on all sides by adults who were chock full of "helpful" information. While this career advice was probably sound back in the 70s and 80s, the world has drastically changed. It's pure lunacy to expect 18-22 year olds to not only recognize the bullshit, but also figure out the actual truth.
Since this is on the Bitcoin SV network, fees are tiny and the blocks are large. This enables all sorts of use cases for bitcoin, as the creator intended.
The Lego/Kinex isle was my personal favorite
and I ask again, how are American tech giants defending their production in this country. Very quick to toot their human rights horns yet show no shame in being in China.
As somebody else pointed out, they're being tracked by the ICO [0]. I think they previously had a blog where they documented enforcement while the UK was still under the older Data Protection legislation but I can't seem to find it.

[0] https://ico.org.uk/action-weve-taken/enforcement/
My understanding is removal by gripping the mouth parts is the only safe way to remove a tick.

Coating them in oil blocks their oxygen exchange, so they release, but sometimes they vomit back into the bit when they do.
Isn't this very similar to how Grocery Outlet operates?
I mean SF isn't stupid -- their software is the tool for the people in your company that actually bring in revenue.
Bold move by the city!
Aaron Peskin got his illegally merged $1.5M “monster” home
That's not putting family before other people. That's asking other people to put your family before themselves.
Many times in programming, someone has given a name to something long after a segment of the population had already
discovered it for themselves. This can lead to a weird effect where people who in fact approve of a technique end up sounding dismissive because of course everyone already does this it's no big deal. Not everyone is doing this and it can be a big deal.

To date myself a bit, the first time for me was Refactoring, and one of the most recent was the Mikado method (a technique for top-down refactoring). The reason I'm book-ended this way, and the point of my response, is that Mikado requires you to be very comfortable both with version control and throwing away a big chunk of code you just wrote.

I don't think I would have ever sussed out Mikado if I were trying to do Poor Man's version control. I think the cost-benefit analysis would fail.

The thing is, the Mikado method, at its best, makes you look like some sort of coding god, because you've accomplished some gigantic change to the system behavior with fifty lines of terribly reasonable code. Instead of five hundred lines of error-prone nightmare.
You’d be referring to the World Solar Challenge a “biennial road race covering 3,022 km (1,878 mi) through the Australian Outback”. Basically running across Australia North to South.

https://en.m.wikipedia.org/wiki/World_Solar_Challenge
Thank you! I try to do what little I can to make these things less of a black box to people who are curious.
This is explained in the article. You can find it in the section "Payment for order flow"

> If you could somehow make markets without informed traders—if you were guaranteed that Goldman could never trade with you—your risk (of being run over) would be lower and you could, therefore, provider tighter spreads. There is a way to do this; it is to trade exclusively with retail traders. They can’t run over you; they don’t have the informational edge or the capital to do so.
Yes! I have used it for years, it Just Works.
Ok, we've acroexpanded it in the title above to take pity on everyone else.
I think people might be underestimating how the meaning of celebrity has changed - I have two kids who follow all sorts of different people on Youtube and elsewhere from whom they would be far more thrilled to get a personalized video message than from some "real" A-list celebrity, and I would even go so far to say the same for myself.

$20 bucks for a 1 minute personalized clip for a special occasion is pocket change (how many hundreds of dollars do we spend on toys that we know very well are going to end up on the shelf with all the others), and for all but the biggest Youtubers, $20/minute (plus overhead time, etc) is easy money. Plus, 3 years later the kid gets to rewatch the video and laugh at how dumb they were for liking that person!

It's a shame it's no longer an option to invest in startups like you could back during the dotcom boom, although any of the big platforms could probably knock off this technology in a weekend or two.
When I first saw the ads I thought it was two flat pieces of metal with circles cut in each. It took a lot of photographs for me to understand the actual shape. So I can see a shift in perspective making a big difference in perception.
That certainly plays a role, especially as soon as courts get involved (or will get involved), see e.g. the pre-GDPR cases against Facebook still bouncing around the Irish court system. Smaller cases can be handled without international coordination, the facts are often easy to determine, ..., which makes them faster to process.

And the rules about international coordination mean other countries have to wait for Ireland in many cases.
I would really love to see an IDE that auto suggests / autocompletes code based on typed holes like this.

Does such a thing exist?
It doesn't necessarily have to be about legally enforceable liability. Companies have insurance for that.

Even just from a data management standpoint, they have a business template that is much better than what could be implemented internally.

But after reading "Bullshit Jobs" [0] I think it's more than that - It's more about culpability and plausible deniability of decision makers in companies. Many companies have a CYA (cover your ass) culture. The higher up you go, the worse it gets.

When faced with a challenge that needs to be solved by tech, people in these companies have two choices: 1. Build it out internally, 2. Use Salesforce.

Salesforce is an incredibly safe choice for these type of decision makers. Because if shit hits the fan on an internally led project approved by them, they are associated with that failure. It effects their career trajectory. If something goes wrong with Salesforce - overbudget, data leak, etc. It doesn't matter, someone besides them is first in line to take the blame.

Ever hear the phrase "Nobody ever got fired for choosing IBM"? [1] Salesforce has grown to the point where they are recognized as a standard across industries by non-tech people. I've heard people from small local non-profits all the way up to publicly traded fortune 500 mention Salesforce. Name recognition on this level is quite literally worth $billions in the B2B world.

[0] https://www.goodreads.com/book/show/34466958-bullshit-jobs

[1] https://www.quora.com/What-does-the-phrase-Nobody-ever-got-f...
So for those interested Mozilla is working on something pretty similar.

https://mozdef.readthedocs.io/en/latest/

They have a set of docker containers which I find very handy for spinning up deploy specific logging sinks or full on SIEMs.
But regular cigarettes are still fully legal?
The classic Commodore 64 is getting a full sized re-release this December
> Buy low and sell high. After selling keep the cash around until things go down again and it's time to buy.

And what do you do when things never go down (below your selling price)? Stay in cash for the rest of your life? The S&P in 2013 was at an all-time high. If I sold then, I would have missed out on a tremendous amount of growth. Today the index is about double the 2013 level (which was itself an all-time high).

So now that I've missed all this growth, what should I consider "buying low"?
It's almost like they could address the heroin needles all over the streets, but choose not to.

Such brave. Wow.
Defining a MVP by Setting OKRs
If you have a Microcenter near you, they often have 'in store only' sales. Right now a Zero W (limit 1) is $5 and a 3B+ is $25. Right now they list the 4GB 4B due in on the 28th for $55. (All $ in US.)
And what happened when you called VISA again and told them that the bank went back on agreeing to the chargeback?
When I was healthy for 6 months, and I felt confident that I was going to remain healthy, I went back to my main doctor of those 20 years. They simply said, “Yes, fasting seems to work really well for some people.” I was irritated that they had apparently known about this but hadn’t suggested it to me.
“I Shouldn’t Have to Publish This in the NYT” Doctorow’s Op-Ed from the Future
Totally agreed, I'm actually pro-Trump and didn't mean it in a negative way
So you are agreeing with me?

The Lusso and the Breville will make great shots if your grind and tamp are even close. My wife and child both could regularly make great shots after a few minutes demo with either of those. I do adjust the grinder from time to time as the coffee ages or when we get new beans, but that's it.

I don't think that would be possible with the Silvia.
Your name is more than enough to track you down if you live in a town. A PO box won't help you.
I'm actually looking to switch to digital from handwritten notes. Just need to find a (phone) app that lets me write and take photos for diagrams at the same time (anybody know any good ones?) instead of having to be switching between the notes and the camera. I've done handwritten notes for years but they have several problems for me: they get lost, i end up with notes scattered across whatever pieces of paper where closest to me, my fast handwriting is awful and i can't read it after some time, they end up getting "transcribed" anyways (which takes a long time).

Usually my workflow is: take notes, if I can avoid things I know are in the book, I will, then a week or so before exams I'll read everything (book+notes_ and make flashcards in Anki. I know I can do 25 pages (of a book) a day comfortably so I'll time it appropriately. Then I proceed to cram for a day or two until I can realiably do the whole deck with ease. This usually takes me less time (1/2 usually) than the reading/making hence why I want to switch to digital notes, to avoid a step. Most of the material that's tested for usually doesn't need to be memorized, which irritates me to know end, but what can I do. So I cram so I can promptly forget.

I find concepts are either understood or not understood, they do not need to be memorized. Things that are usually tested for (at least where I live / for what I'm studying) tend to be facts/procedures. At the end of the year I extract these from my notes / anki cards for future reference.

One other thing I do is the flashcards are written exactly how I will answer the question 90% of the time, sometimes in my own words, sometimes extracted right from the book. Before when I studied in English I didn't do this because I'm comfortable with the language, but because I'm studying in another language now, often the wording is the hardest part (also in part why reading takes me so long). This way I don't have to worry about that. Also this makes exams go lightning fast. I'm always first to leave.
>Anti-money laundering/sanctions/stopping terrorist financing efforts are generally a good thing that not ideal from an economic perspective.

This is the same authoritarian reasoning behind things like China's capital controls, though.
I believe so.

Of course, I can't prove it and I find the question flabbergasting given that I already stated that insisting on condoms was fairly promptly followed by my condition stabilizing and improving.

For the record: I eventually divorced him. I've been celibate for medical reasons for over 14 years, in part because men I dated could not follow the simple instruction to bring a damn condom for health reasons and I was too sick and vulnerable to get up and walk out like I should have. After the third well-educated idiot pulled this on me, I vowed to myself I would be celibate until I was well, basically.

I've gotten off all drugs. I'm gradually putting in more hours on freelance work. I'm mostly healthy when doctors said that was not ever going to happen.

But that's enough about my (utter lack of a) sex life.
So all these people hooked on juul are gonna switch to real cigs. Nice.
Wow, I'm glad we've solved...

- Traffic
- Homelesness
- Heroin Epidemic
- Housing Crisis
- Street Fecal Matter
- Public Transportation

Jesus Christ, San Francisco.
This is perverse given that tobacco cigarettes are still widely available. I can't remember the last time I was actually satisfied with a decision from the Board of Supervisors.
Technically that’s network architecture, not training data... admittedly though humans are “pre-trained” from birth.
I honestly don't see how "using a dashcam illegally" is such a big deal, nor how "hundreds of recipients" on an email are a big deal. The email list seemed to be just rants.

I wish they would tell what the harm of both of those actually was.
Ok, have a space. Anything else?
Exactly. I'm really blown away at how others cannot see how this is a license to print money, now that they have amassed such celebrities who are constantly responding to fans.

Sure it might be a fad, but network effects are already kickin' and they might just win this market. They might very well be cash flow positive and just not lucrative right now bc focusing on growth/marketing.

Personally, like the first response above, I race in an amateur, local kart league, which is not a cheap sport, and we have a site, instagram, video coverage, everything. The list of F1 & Indy race drivers who could do a video saying "hello" to our league, comparing to what we indulge on a hobby already, is peanuts. I'm sure my friends would take doing a few proposals very seriously.

IMO wannabe YT-IG influencers would FLOCK at the chance of having a celeb saying hello to them and posting on their timelines ("look who just sent hi").
>Why don't you personally go do that and get back to us

So, he did that. He works full time as a philanthropist, then came back to us with this blog post and said "I alone can't fix this, we need collective action, in the form of higher taxes on the rich."

The typical argument made by fiscal conservatives is "the philanthropists will remove the need of the welfare state." This rich philanthropist is writing this article to say "that is incorrect, it isn't enough."
Important story that no other main news source is reporting.
The 1/10000 is only for theft. It doesn't include voluntary parting. Thanks kennywinker's comment in thread.
> No need for a signature, just compare the hash.

Then Youtube would have to publish the hashes for each and every file that they encode the source material to. Practically impossible and especially unverifiable if YouTube ever disappears (or the source gets deleted).

A digital signature of the hash, embedded in the metadata and computed similarly to Reproducible Builds... doesn't take much space and especially only requires knowledge of the public key for verification.
The UK NICE guidelines suggest doxycycline, and have a section discussing the evidence for that:

https://www.nice.org.uk/guidance/ng95

"Lyme literate" seems to be a pseudoscience term related to the ME-like crypto-syndrome "chronic Lyme disease" - for example, see towards the end here:

https://sciencebasedmedicine.org/legislative-alchemy-2014-so...
> Both were within a few hours so I assumed based on CDC advice that I was still in the green zone.

I wouldn't trust the CDC data. Notice that there is no primary source on their webpage.

Here is a paper by someone who took an independent look into it: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4278789/
Oh, where to begin? It's a complicated racket. Here are a couple of quick hits illustrating the way that the government has made special rules for student loans that make them unusually attractive to lenders.

http://www.collegescholarships.org/research/student-loans/
http://www.healthcareadministration.com/college/

For a longer treatment, covering the schools' role as well, it would be hard to beat Matt Taibbi's expose.

https://www.rollingstone.com/politics/politics-features/the-...

My original comment was primarily directed at the lenders, but the other parties deserve their share of calumny as well.
I've done 20+ implementations over the last 6 years for small (8 person non-profit) to large ($2B revenue, 5000+ users) organizations.

I still find it hard to estimate implementation times, and I think most people greatly underestimate the time and resources required.

In your hypothetical sales organization with 10 users, I would estimate 2-4 months depending on how completely you want to migrate your business to the platform. You need time to work with leadership to outline broad strategic goals for the new CRM and to sit with end users to actually translate their existing processes onto the platform. This might take 1 or 2 consultants working 20-30 hours/week.

I understand my bias here, but I cannot recommend finding an implementation partner (consultant) enough. Half of my work is fixing terrible half-implementations done internally by the "tech guy" that no one wants to use.
You are presenting a false dichotomy. Eli could dump his money into the US government and advocate for increased taxes for the rich. In fact, if he did that then he would be arguing from an even stronger position since it's obvious that he actually believes what he is saying and he's not just virtue-signaling.
And it took SVN a couple extra years to be performant on Windows, which at the time was still the dominant development environment in many places.

Maybe my second SVN project, we had a monorepo, Windows, and a virus scanner (multiply pull time by five). I'd come in in the morning, log in, do an svn up, go get coffee and say hi to the people I was collaborating with, and be back to my desk all before it finished.

Many days I only synced to head twice because it was a pain in the ass, and the SVN maintainers were not at all sympathetic. A new contributor consolidated the config files and cut the number of file open operations by a couple orders of magnitude. I don't think we ever properly thanked that guy.
It seems pretty clear that they do have insurance for accidental damage, and that's exactly where they're trying to hide the fact that they don't have insurance against fraudulent renters.

The risk profile for fraud is very different from accidents, which is why it's harder to insure against fraud, but also why you really need that insurance (or a deposit, or whatever).
While I don’t doubt that the MacPro was a low volume machine, I doubt that most people buying one were buying it from a physical Apple Store where customization was limited.
What's Your Opinion on Coding Bootcamps?
Wow. Ban the way that so many have people quit their tobacco addictions with. Just enforce the existing no smoking laws. I get it’s annoying when people vape wherever but as someone who used to to quit then eventually quit vaping, we’re taking an extremely valuable tool away from people who would like to quit.
Haven’t seen anyone else comment about this but one of the reasons we stopped shopping at Toys R Us was the ridiculous pricing. Even with discounts, coupons, or sales, they were always more expensive than buying from Target, Walmart, Amazon, or just about any other stores. To the point that it wasn’t worth it because the pricing was always higher on almost every item we ever tried price checking against.

If they want to survive the come back, the pricing needs to be more price competitive with other convenient solutions.
I was thinking something similar. Trump might not be the brightest person, but he sure can't keep his mouth shut... Which is exactly what we need in this instance.
Yes and no, it's the right level of abstract, but it's still Qt. I think the issue here is that it's the unfamiliar. If it had a layer on top of that where you could use json config files, style with sass files, and ad logic in JS, it'd make all the javascript boys come to the yard.
SEO - he doesn’t want Googling customers to find this.
With drilling, the fluted drill bit evacuates material for you. When milling, you don't have the same luxury.
I grew up on Splunk and can’t seem to figure out how to get the same level of aggregations and analysis of ad hoc data out of ELK. Sometimes I think I’d be better served with Jupyter and Spark or similar.