skysight-inc/HackerNews huggingface dataset:
That's true, though I'm increasingly wondering whether that's a bad thing. Emacs can be run in "batch mode", so it could be used just like every other stage in the pipeline (a bit heavy, though not much compared to modern tools). Then again, I never tried it.

When I started writing a static site generator powering my current personal site, I wanted to parse .org files in the generator. I very quickly gave up and decided to manually export my .org posts to HTML, and parse that instead (see [0]). I didn't realize back then that Pandoc can handle .org files; I probably would have decided to shell out to it instead. Then again, if there's one thing I learned writing a static site generator (twice), it's that the next time around, I'll pick up one that's already written by someone else :).

--

[0] - https://news.ycombinator.com/item?id=19622751
Same with real mail. The more markings on the outer envelope (“Urgent”, “Time Sensitive!”, “Important Information!!”), the more I know it’s shit.

Real important mail is usually in a plain white envelope, with first-class postage.

I would gladly pay $2 per stamp if it meant obliterating junk mail. Hell, charge me $5 a month just for the privilege of not receiving any. Just, somehow figure out what the true cost of delivering my mail is, and allow me to pay it instead of having to trash all the “subsidy” crap.
The good news: we now have the ability to create one of the greatest achievements in human history – a huge digital library, much larger than any physical library in the world, available to anyone with an internet connection. In fact, Google and others have already done so by scanning university libraries and the library of congress.

The bad news: we aren't making this available to the world because it would make it harder for publishers, distributors, and authors to make money. (And perhaps we're afraid of giving Google more power than they already have.)
The failure to monitor and avoid wash sales is very much specific to being a robo-advisor.
> So the algorithm wasn't tested on dark-skinned people. Is this really something new?

No. Racism in the legal system, and our society overall, is not "new." However it's still a real problem in our society. As such, race- and gender-bias that's "accidentally" hard-coded into software sold to police is problematic. Every new product containing this flaw is news.

> Why should it come as a shock that facial recognition product developers suffer from the same bias?

At the very least, it should come as a shock that one of the biggest software development firms in the world is attacking critics in defense of buggy behavior. Especially since, as you note, this phenomenon is common knowledge and there's a simple and well-known workaround.
Classified ad providers accept no liability for what people post on their site.

Example if I post a car for sale its up to you to ensure the car exists, have it checked out by a mechanic etc.

The due diligence required to actually verify the buyer/seller would be expensive and would require them to take a cut of the proceedes to fund it.

You can't have the price of Craigslist and the customer experience of Ebay. Plenty of people would rather do the due diligence themselves and not pay an intermediary.
It doesn't really matter what you or SciAm think Kuhn believed, I'm telling you that the humanities faculty have used him to cosign the most outrageous anti-realist ideas imaginable. If you don't believe me, just take a class and find out!
In my experience, this effect is most noticeable while learning an instrument.

Practice until you start to see diminishing returns, take a short break, and then return to practicing. You’ll notice you’re slightly better than you were before taking a break.
Yes. Before I read Kuhn, Popper, Polanyi and Feyerabend, I had naively thought of science as a means to a higher, more solid 'truth'. Over time I realized that (verified!) observations are more fundamental - bricks - than the interpretations (temples) made of those bricks.
Well, sure, that's broadly true. But the specifics are relevant and the actual false statement made is related to the business of being a robo-advisor (TLH & monitoring for wash sales).
Not exactly what you meant, but I’ve been working on the F#/Giraffe server generator for the OpenAPI generator project.

Write your OpenAPI Schema and run it through generators for the server/DB/client It won’t give you a frontend, but I do believe there are libraries out there to do so for React/Vue.

My fork is @ https://github.com/nmfisher/openapi-generator and you can follow the links back to the original project.
I'm curious what is considered a break. Is HN fluffy enough?

says projektir, checking HN as a break from typing practice

says projektir, typing as a break from typing practice
Not sure reading HN is "restful" ;)
+1

Especially in a discipline that requires solving new problems.

One can appear unproductive, because it is hard to get a metric on thinking about a problem.

It might take a few days of writing junk then deleting it, no commits coming for review, whiteboarding the problem, slowly learning best how to solve it. Then a week later light bulb comes on and you can solve it.

Code then gets written at high speed. And your manager thinks you're lazy, but worth keeping you around because when you work it's fantastic.

But really, you've been working all along. That writing of code was only possible because of the time it was took to think about a problem.
Like he said, the public product is called Azure Data Lake, and internal product names aren't brands (that's kind of the whole point of them).
Just as a counterexample that is well-known to me, in 2017, Greece, my country of origin, spent 2.4% of its GDP on its military budget. That's the second highest rate in NATO, second only to the US that spent 3.6% of its GDP on its military:

https://www.forbes.com/sites/niallmccarthy/2018/07/10/defens...

It just so happens that the US has more money, overall than Greece (to put it mildly). But the willingness to buy armor and aircraft, unfortunately, is all there.
Multi Turret – Three Lenses at Once on Your Camera
I drink tons of water, I try and drink my 32 oz bottle once an hour when I'm working. I feel more productive for two reasons because I do this: 1. I'm not dehydrated, 2. it forces me to get up to use the restroom a lot more than usual. This forces me to have lots of mini breaks almost every hour or so to walk and fill up my bottle and use the restroom.
Isn't that Instagram?
Yea except you lock your users at an old version, for what?

Are you supporting old versions?

You don't have to break backwards compat to release new stuff.

It takes some serious design flaws to create a situation where you need more than a handful of foo2 and foo can't be augmented with sane defaults for whatever new side effect is created by foo2.
I imagine that comparing sources would carry telltale clues whether or not it's a clean room implementation.
> on more timeless knowledge

Like interpreter and compiler architectures, type systems kinds and their meaning, ways of specifying the semantics formally, and also the structure of novel kinds of abstractions proposed by researchers in some experimental languages.

If you learn all of that today, the next time you'd need to learn anything new about a mainstream PL would be in 10 years, if not twice that.

Example: many modern languages only recently started supporting some of the Algol-68 features. That's 50 years to get a lambda into the language...
I have never worked at a company that didn’t manage their own vpcs, where having it generated the Vpc for you would be an option. Hell at the current place I can’t even create security groups or Iam roles or policies.
Pete for America Design Toolkit
Dissenter Extension Removed from Firefox Add-Ons Gallery for “Abuse”
Are your sure about this? Trump had been a fraud from the start.

"The Apprentice" is literally produced by him. He has gone broke ( stock market) and everything seems to be way too shady.

He just rents out his Trump name, as a real estate agent. Buildings are owned by others.

The only thing is the Trump tower, seemed to be a lucky shot with Daddy's money and the first thing he did that succeeded.

Fyi, we'll see afterwards if he succeeded as president.

We'll only know for sure when his IRS is released. If he's smart, not releasing them was a smart move for misdirecting everyone. Because it will get released one way or another.

We'll see then.
> uplifted as many minorities out of poverty as, say, McDonalds franchising.

I appreciate your overall message, but I believe that one would need to have non-poverty level assets to even be considered to open a McDonald's franchise. Odd example.
> I just think there is some mental disconnect with how org mode is represented and discussed on hn, and those discussions almost all seem to miss the majority of org mode abilities that absolutely depend on living in the style of environment that emacs provides.

Honestly, part of it may be just baiting people :). The plaintext markup parts of Org Mode format are really just a Markdown equivalent; the true value comes from the features provided by Org Mode the application itself, and most of these are what they are precisely because of Emacs environment.

These days, with new Emacs users the story usually is "Come for Org Mode and/or Magit, stay for life"; personally, I love to encourage people to take that first step :).
You're conflating CosmosDB and Cosmos (which has been publicly released as Azure Data lake Analytics and botched imo).
Linux Online goes to open source
https://kernelultras.org
I've been working on this project for five years in my spare time. The project is actually done, I only need help with the completion so I can dedicate to it fully and it would not take another year or more before I will finish writing the documentation, I will debug the encryption, I will do check of code and I can release it as open source.
‘Treasure’ of a different sort turned up in one bunker in 2004. Some 16 tons of mustard gas canisters were found in a bunker only 40km from Tirana – the US had to pay the Albanian government some $20m to safely dispose of the weapons.

Why was that something the US had to pay for?
I have a feeling breaks where you’re doing something relatively mindless (walking around the block, washing a dish, taking a shower, etc) would allow the mind to “breathe” and “digest” a bit better than a break on social media or the news.

All conjecture but it plays well for me when I’m using pomodoro to get up, move, get water, do a dish, look out the window; as opposed to when I check reddit or hacker news for whatever new information has come out in the last two hours or whatever.
Researchers Discover Fossils of Cthulhu-Like Creature
I saw a talk by one of the authors of the pedestrian detection study that I think they are talking about, and their results did not seem support the scary racist self-driving car hypothesis that the study clearly implies (only marginal/statistically insignificant effects, with very little controls for confounding factors (I believe they controlled for bounding box size or something, but very little else)).

With that said, fairness in ML/AI is a real problem, and some people are doing some really good/important work in this area. I am not familiar with Buolamwini's work, but I'm much more inclined to believe disparities in facial recognition than pedestrian detection where very little skin is visible and almost everything you're seeing is clothing.
Quick scan through lobsters's source code
Explain why?
"If you've ever used any other applications written in pure Win32 you would know why"

I have written pure Win32 and I know that...
Hackers tricked a Tesla, and it's a sign of things to come to fool AI
Facebook Doubles Spending on Zuckerberg's Protection
I thought it was clear enough that I meant:

> So the new version would be 19.1 [API 2.2]
I use DuckDuckGo for the exact reason. And sometimes when I'm sure I need a wiki for a keyword, I search for keyword !w and it takes me directly to the wiki page.
Yeah, this strikes me as a problematic point to gloss over. Brilliance should not excuse abusive behavior. When an academic's ego gets in the way of honest discourse, that's a fair critique. Indeed, mass-murderers are often "nice" to the people they interact with -- but when people write those stories, this is often presented as a point of confusion and regret -- and never as an excuse for the problematic behavior.
This just makes him look like an ass. He should first call up the CFO and ask when they are depositing the check.
Nanaimo bar gets Canada Post stamp, but critics question base-to-filling ratio
Everything else considered, the closing remarks of the the press release would be useful to keep in mind if you wanted to develop this technique further

> “Our results suggest that it may be important to optimize the timing and configuration of rest intervals when implementing rehabilitative treatments in stroke patients or when learning to play the piano in normal volunteers,” said Dr. Cohen. “Whether these results apply to other forms of learning and memory formation remains an open question.”
Succes Holidayparcs
Would this explain why MIT has an absurd clawback rate for overhead from NSF GRFs?
That is a clever method for embedding, and I like the minimal syntax.

We've been using Plectica[1] for these sorts of diagrams and finding it to be pretty great. Not sure if they support export to svg out of the box yet though.

[1]: https://plectica.com/welcome/technologists
It's going to be pretty hard to defend it. It's built on porous limestone. So water's going to bubble up everywhere - not like defending NYC
Best Project Management Software [2019 Update]
Yes, you can definitely tell the inventor of TLA was also the first developer of LaTeX. As such, it is a language best read after typesetting.

For a good example, see Appendix B in Diego Ongaro's dissertation [1], the formal Raft specification. After a little of the Learn TLA+ book, I was able to muddle through the spec enough to implement it.

1: https://ramcloud.stanford.edu/~ongaro/thesis.pdf
Yep let's overwork our kidneys to learn the guitar

edit: seriously though I'm pretty sure that's not good for you. That sounds actually being in the ballpark of water poisoning.
Ah, that's a neat tool! I've actually been kind of looking for something like this for work. Thanks for sharing.
Very woke of them to make sure facial recognition works on minorities, unlike Amazon: https://news.ycombinator.com/item?id=19660917
Ad people, scum of the earth.
If there was any niche too small for Google search to recognize, Google search wouldn't be Google search.
Now that goes too far.
Great work! Would you be interested in adding capabilities for PlantUML? The syntax is very similar. If so, I'll donate $50 to you or your favorite charity.

Demo diagrams with syntax examples -- see the final one for an example document that I want to render for my team's devops pipeline:

https://github.com/joelparkerhenderson/demo_plantuml/
> Flexible start dates for jobs that require moving enshrined in the law

This would be an incredibly broad intervention in the hiring process of all employers to deal with a narrow scam that is very rare as a fraction of all job moves.
I think renters are structurally at a disadvantage due to lack of agency — landlords have more power over renters than they have in the past.

Keeping children in school, keeping jobs, etc all are far more difficult for folks in society that have the least ability to cope with change.
I'm sure a lot of anti-vax content has excellent engagement metrics, too.
I for one am ‘not afraid’ of anything, I just find open offices incredibly unproductive and this sounds like an extreme form of it.
Probably because the Albanian government did not have resources (or will) and US did not want to exists a change that this will end up in the black market.
Hey there! Not a bad idea. Can you make an issue on the repo?
The thought is that rising sea levels and/or hurricanes will doom them.
Chew your food more thoroughly. You eat slower and stop being hungry faster.
You said:

> A rocket engine nozzle produces thrust only for the part where the pressure is greater than atmospheric pressure.

This is trivial at best and wrong at worst. When you say "the pressure", what do you mean? If chamber pressure, this is trivial and also not relevant to air launch vs. other modalities. If you mean pressure at the nozzle exit, the statement is false. Most of what I wrote above addressed why the latter is false.
I love the concept of formal verification, but translating my algorithms into yet another DSL and hoping I get that right seems like a waste of time. I'd rather simulate the algorithm with my brain.
I think he means invest in seawall manufacturing companies, as opposed to some bizarre financial instrument that allows you to profit from the demise of an entire city.
He’s fine. A typical developer’s true work day is probably all of one gallon.
Please help me understand how care and instagram pictures are going to stop rising water?

The only thing that may help is quickly lowering CO2 emissions worldwide. I think no amount of care, willpower or even unlimited amounts of federal money can save Miami otherwise.
I routinely skip breakfast and I have an extremely high metabolic rate and my weight stays within a normal range for my height. I just don't feel hungry in the morning.
There is no one rule that applies to everyone.
You may wish to go see your doctor, that doesn't seem normal (excess fluid consumption can be a sign of diseases like diabetes). And more worrying you're bordering on water intoxication at 32 oz/hour:

> Your kidneys can eliminate about 5.3-7.4 gallons (20-28 liters) of water a day, but they can't get rid of more than 27-33 ounces (0.8-1.0 liters) per hour.

https://www.medicalnewstoday.com/articles/318619.php

Also, you don't need 8 glass of water a day, that is a myth, you should listen to your body[1].

[1] https://www.nytimes.com/2015/08/25/upshot/no-you-do-not-have...
MSVC support C11 because it a prerequisite for C++17. The limits are you need to compile in C++, so the very few changes/incompatibilities between C and C++ always bend to the C++ choices.
The preprocessor isn't what people used to have in C99 so some macro still not portable.
> We had proved through testing that buttons with rounded corners looked more ‘clicky’, so we styled our icons similarly

> but, while hamburgers are used on a lot of websites and apps, they aren’t universally understood

Again the fashion for extreme flatness, with square icons and buttons that disappear into the background are shown to be counter productive and user hostile.

They might "look nice" to some lead designer, but they don't work as well.

Now, if only Google, Microsoft et al were to wake up to this.

The icons the NHS have used seem to nod to hospital signage too - the arrow, the proportions etc. Probably intentional, working from the same start point, but not mentioned here.
I guess this is a meta question: do typical US undergraduate university Computer Science curricula not have Formal Methods as a class?

I'm just wondering because of the number of fairly basic questions here. I went to a middling midwestern state school 20ish years ago and that was part of the curriculum. Perhaps we have lots of non-CS-graduates here?

This is not to denigrate the discussion. I'm just surprised that this is news.
The loans are also debts from the NYC financial firms (GS et al). If uber goes bankrupt it would like bear stearns all over again.
The first world’s consumer goods come from the third world, and the first world trash gets “recycled” in the third world. First world is just exporting its environmental damage to the third world—and does it in a way that makes it look like it’s the third world’s fault.
Yep my last job my manager moved his desk to right behind mine like a month in. He wasn't slick about monitoring me either. Took a serious emotional tole on me and made every day agonizing.

If you want to micromnanage like that then just be a damn engineer and do the work yourself.
That seems like a shortsighted position because it ignores the cost of selective enforcement. Everyone breaks laws on a daily basis - jaywalking, speeding, etc. - and you could have a severely disproportionate cost by enforcing that more for one group than another, even with every trial being completely fair.

Here in DC there was an example awhile back prior to legalizing marijuana: white people apparently used at a higher rate but most of the prosecutions were of black people both due to heavier police presence and because demographics meant that white users tended to have more privacy (limited visibility from the street, more distance between houses/sidewalks to make smell harder to notice, etc.) which made it harder to get evidence clearly showing that a specific person had been the one using. The process could be fair without changing the fact that the results disproportionately impacted one group.
My first kid has had her own iPad and allowed to use it for as long as she can remember... In some ways, it was very helpful. She learned a lot of skills early. But in some other ways not so much. She doesn't care to play much with other kids for instance.

So my second kid (currently a toddler) will only get a Raspberry Pi. And a controlled amount of total screen time. Not going to do same mistake again.
Important mail also clearly says who it's from. Any time I see mail that's supposed to mimic the appearance of US government forms (a common example being having the current year in a large font with the "20" and "19" visually distinguished in some way, like on a 1040 form) but a vague "Benefits Office" type sender I know it's junk.
Look, everybody is different, but as someone for whom losing weight is pretty easy, skipping breakfast is one of the easiest ways I do it.
Oh how I know about the suggestions to fix. My experience with scrum was basically just the company wanting to retroactively chastise people for investing time in things that didn't pay out but which no one could know that ahead of time.
Not really. The comment counter is more than enough information as to whether a link has anything interesting to say.
Certainly not a perfect one, no, but that is exactly how the process works, so I don't see any pretense.

I voted for Bernie Sanders but pop over to the Wikipedia page and you'll see that he lost the popular vote by 3 million and change in an election 30 million people participated in. Not the narrowest of margins. In a perfect democracy, he'd have also lost. The superdelegate system was irrelevant in this case.
I'm really torn whether to adopt JSON schema validation for a Saas that I run.

pro: It validates API JSON responses based on an open spec.

cons: It's absolutely terrible to work with. XML all over again. Documentation is terrible. Finding examples is, well you get it...
I saw a replica of one of these dome bunkers was at the 2000 World Expo in Hanover, Germany as Albania's booth display. It seemed a bizarre representation of a nation I knew nothing about.
There's a tremendous amount of work that's been done on trustworthy theorem provers (see LCF, HOL, HOL Light, Milawa, ...), verified SAT solving and SMT solving, proof-producing first-order solvers, etc. All of this is cool and interesting.

But from an industry perspective, there's plenty to like about plain old unverified C/C++ solvers and verification tools. They might crash sometimes, and they might occasionally have a soundness problem. But the odds that (1) your prover has a bug and (2) you will accidentally exploit that bug to "prove" something that isn't true are low.

To argue by analogy: plenty of people use unverified compilers, and of course these do have bugs. Even so, when your program isn't doing what you expect, it's still almost always a bug with your own code.
I've seen the boiling frog analogy used on humans in regards to climate change... Knowing the frog had it's brain removed somehow makes it seem even more analogous than less really.