skysight-inc/HackerNews huggingface dataset:
Sure, thanks, I know where Haskell's type system will ask you to try again if you haven't provided all the information it wants. I'm asking for examples where it genuinely wasn't sensible to change your code to match what the compiler wants.

> Pattern matching for one. I can prove that 3 cases won’t be met but I have to ‘fill in’ them anyway.

This is a funny one because, no, GHC will not ask you to fill them in! You have to turn on a warning for it to complain. The fact that the warning is not on by default is one of my pet peeves with GHC!

> ADTs with non-Maybe fields. I can prove that all is fine if this ‘slot’ isn’t filled in.

Another funny one, because you can just use `undefined` or `error` and GHC won't complain! Personally I'd probably prefer that it did.

> Trying to pass an opaque reference down a function call chain.

I don't even know what you mean by that.
Those are quite obvious things to control for, and it's not a good bet that the collective of world scientists never thought of them.

The established way to classify people's personality traits is the "Big Five"/OCEAN model: https://en.wikipedia.org/wiki/Big_Five_personality_traits

Systematic gender differences show up across all cultures: https://en.wikipedia.org/wiki/Big_Five_personality_traits#Ge...
> > say $150,000 to not teach 2 classes for a year

Is that why she is teaching two classes in her first semester, including one which is lower division?

Not really sure what you're saying. The fact that she's teaching just means that she isn't using (or doesn't have) a research grant to `buy out' of teaching.

> Usually you don't put the crappy teachers in the lower division classes, you give them graduate seminars.

Again, I don't know where you got this idea from. Usually (in a math research department such as the one at Stanford) whoever's arranging the teaching assignments doesn't look at an instructors teaching credentials at all, unless they are egregiously bad. So all we can conclude is that she isn't absolutely awful at teaching.

The fact of the matter is that many researchers (due to their incentives) view teaching, especially lower division courses, as a chore, so really anyone in the department who wants to teach such a course is not going to get much opposition.
I would not count on those palaces withstanding the collapse of the oil economy.

When the money runs out, loyalty to things like the Saudi regime are likely to run out too.
Forgot to add also the guy from SimpleAnalytics, he's doing exactly the same with documentation [1] in his app.

[1] https://docs.simpleanalytics.com/
Nothing about the arguments in the article are convincing. It seems he merely shoehorning a collection of disparate anecdotes into a predetermined (probably politically motivated) thesis. One which does not have a precise meaning, to boot. What does it mean, anyway, to be "subversive", simpliciter?
It depends on how you're party to that contract - whether you're involved in making it, or you're a consumer in a take-it-or-leave-it situation.

If I'm a consumer of some third-party API, there's no practical difference between intended behavior, accidental mutation and a bug which the supplier won't fix any time soon - all of these things are equally part of the contract of how The Thing v1.2.3 works, and that's what I want described in the documentation. Any part of the documentation that says what The Thing should do (but doesn't actually do) is worse than useless, it's actively misleading; it describes some wishful thinking with no connection to reality.

If the contract documentation describes an interface between two parts of the system that I control, and I have the ability to fix discrepancies between contract and code by altering the code, then sure, that's a different situation; but if I don't have the ability to make these changes because it's an API to code made, maintained and controlled by someone else, then accurately describing current reality is the most important thing.
>My brother interviews for McKinsey and he says the number one thing they look for in new hires is a sense of understanding of someone else's mental state. He had a good technical term for it, but I forget what he called it.

>It's basically though the ability to not think, "this person is a jerk who is wrong," but "this person has his reasons for reaching his conclusions and although I am angry with him after our disagreement, I see the personal factors that must have gone into it."

Avoid the fundamental attribution error?[0]

[0] https://en.wikipedia.org/wiki/Fundamental_attribution_error
About Two Squares: El Lissitzky’s 1922 suprematist picture book for kids
Remote iOS Developers Needed Immediate Start
It goes all the way down to the sharpened stick framework.
Debating whether to consider that.
What browser do you use? It's only using safe CSS animations. (I built it) On my Chrome it's using only 2% of the CPU.
I’m fine with economy in Europe, YMMV

But yes, it’s about how often you fly. Once or twice a year on a midhaul day flight like Uk to east coast or Mid East in a good economy plane (qatar a350 for example) is fine. flying 30 times a year then just say no. It’s not worth the damage to your health.
Russia's Thawing Permafrost May Cost It $2.3B a Year
You’d think, but I have certainly committed (in both the colloquial and git sense) a dummy /// TODO comment to silence this warning... oops
Said committee would be mired in politics of what should and shouldn't be included. Cuneiform? Klingon? Clip art? They are all technically human communication.
Used to be able to do something similar with Gentoo back in, like, 2002, I think. Distribute build jobs to multiple remote machines.
It is even worse than that. I read an article and had discussions with my civil engineer friend. Many of the different techniques used to "Earthquake" proof a building, especially tall towers, vary a lot and have NEVER had a real life test. On top of that, the regulatory oversight in insuring the ACTUAL construction was done properly based on the plan, is... not great. So hypothetically, if a 8.2+ Mag hit SF... we know many buildings like soft first floors, anything not on bedrock, etc, will fall, but even the towers.. it is all based on models. We really don't know what will and won't happen. As some famous (forgot name) architect in SF said back in the mid 1900's, "Don't build anything over 100ft in SF, just don't do it".
A set of new tools can decrypt files locked by Stop, a highly active ransomware
When locales were invented, it was reasonable to assume that the locale would determine the character set. With the subsequent invention of Unicode that no longer needs to be the case, but code standards live forever.
Your job is forcing you to do bad things for your health. Either say no, or leave. It’s not the airline’s fault.
It’s a shame you see it only as complaint, the brilliant thing about the text you’re replying to is that it educates the reader as to the bigger problem, as well as being very funny. Does your complaint do either? Understanding why C locales are broken may very well contribute to the lasting growth of humanity. Did you note that Eric Raymond fully agreed?
Hacked: PUBG Game Script Unlimited Health
Hacked:PUBG Game Script Unlimited Health:
you also click here for download script and install in pubg http://bit.ly/33IH2Dq
I went to Burning Man with Allen Rose's cousin (of "Gilman and Rose" fame), and got to hear two fisted tales of him writing CRM applications in an afternoon that were still in production 20, 30 years later. It's a shame, really; it really is the most productive language I've ever used.
I imagine the same ones available before computers were widely available. You used to be able to pick them up at the local library.
Vue+Pug is a nice combo. If you're going with custom template syntax, may as well go all the way.
...which people in hospital clearly cannot.
A lot of the comments are fairly critical, but I think your move was praise worthy from the perspective of CO2 emissions alone. You should feel good about that.

While Iceland may not be a privacy paradise, I still think Icelandic hosted servers provide a higher barrier than US based servers for government data collection. The US government has a history of high volume warrant-free collection of user data - your setup in Icelandic appears more resilient to this approach. However, as others have pointed out, Icelandic hosted systems are still vulnerable to traffic analysis as well as physical and legal attacks on servers and key holders. The solutions to these types of problems though are more political than technical.
Here's a list of featured projects associated with the nonprofit I buy offsets from: https://www.less.ca/en-ca/projects.cfm
Good point. I wonder if you could pressurize the data center and offset this effect?
IMHO you should pick a right medium for some kind of messages and I dont think git commit message is the right medium in OP example. Most companies have ticketing tool to keep track of additional information like: how long did it take to solve that issue, was there any input from other people, long "marked up" message explaining what was wrong, how it was fixed and tested (markup is a lot easier to read than console log).

Using ticket number already forces you to use "the right tool" to view the message.

IMHO I would consider OP example as a bad practice and your example as a better solution.
100% endorse reading Peopleware.
Reliability over sexiness. There is reason space craft launched when most of the people here on this board weren't even born still work.
https://voyager.jpl.nasa.gov/mission/status/#where_are_they_...
Can the link be updated to https://cloudblogs.microsoft.com/opensource/2019/10/10/micro...

The original link is just a repeat with less detail than Microsoft's own article.
Just put the old ID in the new ticket, then search. Or put commit hashes into the ticket and search by that.

> A git repository .. and the commit log and commit hashes stays the same

If issue trackers are so transient and flaky, and VCSs are so solid, then back up your old issue tracker and put it in git. What if your issue tracker stays, but you VCS changes?
Ah ok I got that a bit wrong. Though he would have been 64 at the time of sale and died a year after so I guess they were around in the later part of his life.
Thanks to all the OpenBSD developers and supporters for making another amazing release!
Honestly, I think better rules are:

- Whenever someone asks a question in a pull request, answer it by putting a comment in code.
- Include a ticket number (for whatever ticketing system you use) in the commit

Why? I find that commit messages are black boxes. They only come out when doing a git blame, but they don't show up in my IDE. Instead, I'm more likely to run across messages like this when they're comments in code or discussions in our ticketing system.

I think if we had tighter integration among our IDE, git, and the ticketing system, detailed messages commit messages like this would be extremely useful.
Sadly it sounds like your options are to leave or to stop caring so hard about your job. I wish I had better advice, I am also familiar with micromanagers who make bad macro decisions. They are too into how work makes them feel. Some people actually enjoy sitting in meetings and watching people carry out their arbitrary commands, because it makes them feel powerful. On the other hand they don’t enjoy asking whether the way they are spending their time is useful, probably because it would make their entire self-worth collapse.
It’s just a bunch of theatrics and virtue signaling. A lot of web users (like the one that didn’t want his requests going to the US) really overestimate their self-importance in the world of national security. NSA/CIA/FBI barely keep up with data regarding actual threats, they aren’t spending time worrying about random people on GitHub. (Referring to the commenter on the EasyList pull request.) Literally no one cares that you watch excessive amounts of fetish porn, visit socialist workers party websites, or have a secret crush on David Hasselhoff or sell a few grams of cocaine on the side. Your browsing history is uninteresting on its own. It might become interesting if you were to also a target of an investigation. But it isn’t like NSA has some red light that starts flashing in their headquarters based on the contents of a web search of some random guy in Bratislava or wherever.

If you are actually a terrorist, smuggler, human trafficker, weapons dealer, you aren’t commenting on pull requests to EasyList.

Most people are boring and, despite what they may think of themselves, aren’t even close to being a surveillance target. It’s also ridiculous theater to think that the country a server is physically in matters one bit.

To be clear, I am not defending NSA, I am just saying that most of us are uninteresting in that regard.
AI Smart Cameras
Not sure why they released a press release about this now. This has been out on Github for like 6 months, right?

If you haven't seen it, SandDance is a graphing component where the elements of the graph (like the bars in a bar chart) are made up of individual boxes representing all the rows in the actual data. So in a bar chart, you can highlight part of the bar and see the exact data point it came from.

I appreciate MS releasing it and it is a nice representation for some types of interactive visualizations. But since it is a "modern" tool written as a jumble of web views, javascript and React, it isn't exactly the most performant thing.
Its also available via BigQuery public datasets: https://cloud.google.com/blog/products/gcp/google-bigquery-p...
The Kanye West method
My programming demographic experience has been 80/20, FWIW.

Yeah, the smartest women go into medicine and law instead of programming. I claim it's largely because they find working with people more interesting than working with machines.

Your daughters being interested in "traditionally female" things might just be because they're female, and that is who they genuinely are.
People that are interested, like me, do know.

But I agree that packaging for products contains multitude of markings and without extensive research it is difficult to recognize which markings are regulated and which are not and what they mean exactly.
Working demo link: https://sanddance.js.org/app/
Well - in C, you can use macros as well as in Lisp. Classically, you'd use X-Macros, requiring a separate file to hold the list of bytecodes; in the modern style you can use Boost.Preprocessor to operate on preprocessor data structures.
Is that completely true, though? Almost all modern games include a (sometimes optional) tutorial, explaining the basics of how to play the game. Some number (a few? many? most?) of productivity apps will have in-app tutorials to get you up and running. Operating Systems... might have a tutorial? It's been a while sine I booted one up, and I'd likely skip it if present.

On top of that, the GUI nature of these apps makes it easier to get started, I think, and even if there are _no_ tutorials, you can use your previous knowledge of similar apps and play around to understand it - click buttons, tap menus, etc, and learn by doing.

I'm not sure where this fits into the documentation quadrant, but it's important, and is _why_ users can get away without reading documentation.
How does this “make a difference?” It’s theatrics. There is a reason there is an accompanying blogpost and HN post.
That article was absolute garbage. They completely over-exaggerated things especially related to the waves considering seattle is in a bay. There's a reddit AMA thread with actual earthquake experts that debunks a lot of the exaggerations [0].

[0]: https://www.reddit.com/r/IAmA/comments/3da1mh/we_are_earthqu...
> In the EU all bank accounts are now required to have an API. This has massively reduced the power of incumbent banks, allowing for rapid innovation in the banking and payments sector. The same would and could happen if platform such as Facebook and Twitter were required to have an API.

I agree with the author's assertion of a problem, but this is really confusing. Both Facebook and Twitter DO have APIs. Granted the APIs are proprietary and subject to significant restrictions on acceptable use and functionality. However, providing even a full-featured API doesn't change the effect of the platforms owning a person's user account and persona, or their ability to suck people in to waste countless hours watching their ad targeting feed algorithms.

Only true decentralization of social graph hosting will really address the core issue of centralized power.
A breakdown of a belief system.
Sick of Ruby, dynamic typing, side effects, and basically OOP (2014)
I wrote a script that monitors twitter for earthquake related tweets and notifies me when a certain threshold is hit. It pretty reliably notifies me 20-30s post-quake. Main problem is that very few tweets actually have location data associated with them. I try to grab the location string users can specify in their bio and infer the location based on the most common occurrence in a body of tweets- works decently well although its usually a broader region.
Agreed - The Flowing Data page is just a short blurb, and you have to go to the Microsoft page to get anything.
With respect to submissions, you might want to review the HN guidelines. All of the submissions I've seen have had heavily editorialized submission titles, which is counter to the guidelines.

https://news.ycombinator.com/newsguidelines.html
Americans already pay a ‘gigantic’ hidden health-care tax, economists say
What is ridiculous is to have blanket rules & constraints instead of guidelines that can be followed or not depending on common sense and the actual case.

It is idiotic to treat, say, the implementation of some kind of complex 3D rendering algorithm in exactly the same way than you would treat an UI view for a login form.
Interesting project.

What is the footprint of this compiled for a MCU, something like a STM32?
That's my opinion as well. A function should have a one job and do that one job. Not two jobs, not five jobs and usually worse 3/16ths a job because some line limit rule.

The line limit rule sounds to me like a CS professors homework assignment instruction that escaped into the workplace.
i3 is one of my favorite pieces of software. I’m currently writing a clone of it for ChromeOS (as best as the Chrome API will allow anyway).

I think it’s a shame you can’t get something like i3 on OSX or Windows. It’s a primary reason I stick to Linux.
Scoring the olives or crushing them speeds up the process. Some green olives with tough skin can otherwise take months to pickle.
And so it seems that cold war tactics are still alive and well in China. This is the kind of story I would expect to read about happening in 1950s Berlin.
Adding ML to your CV with the Mickey Mouse experience and understanding you describe would be a good way to get yourself drummed out of a job where you are actually expected to have the expertise you claim.

Agree with your point about domain knowledge being important.
Well, that blows. I know a good number of the search engines I use have shortcuts in DuckDuckGo, but I felt pretty clever when I discovered I could configure Firefox to search Wikipedia/Amazon/IMDB directly rather than going through DDG intermediary. It also avoided clogging my address bar suggestions with:

https://duckduckgo.com/l/?kh=-1&uddg=https%3A%2F%2Fen.wikipe...

etc.
> To me it should be written, then consumed by the back-end service.

This is an option, but I find that it works better to have OAS documents generated from what the server is actually doing. Specifying routes based on what the server actually does is, IMO, a more rigorous way to create an OAS spec than to hand-write the spec and then generate a server from it.

I've written a couple of libraries that do exactly this:

https://github.com/eropple/nestjs-openapi3 - OpenAPI3 library for NestJS that standardizes input validation

https://github.com/modern-project/modern-ruby - a Ruby web framework built around OAS3 concepts + rigorous validation
Thefuck
Discontinuing Support for NSFW Imgur r/subsections Associated with Reddit
That's exactly the point the parent poster was making.
An important point that the article doesn't discuss is understanding the possible value of your options if the company actually exits.

There are few factors here - what percentage of the company's total share count do your options (vested and unvested) represent. How big of a liquidity preference are you sitting behind. What are the odds the company clears this liquidity preference. What is the likely valuation of any successful exit (i.e., one the clears the liquidity preference, and in the case of options, clears the strike price of the options issued). What are the odds of such an exit. And finally, what are the change of control terms.

In terms of what fraction of the company do your options represent, you'll have to ask how many shares are outstanding and then make a guess as to how many more will get issued between now and success. Remember, each financing results in lots more shares being issued.

What is the liquidity preferences your options sit behind. Usually options convert to common, so that means you are the lowest person on the totem pole. If the company has raised $100MM, there is very likely at least a $100MM preference. That means that if the company exits for $90MM the common shareholders (that's the employee option holders) will get nothing.

In terms of valuations, you can figure out what your options are worth at various exits above the liquidity preference, but only if you know the terms of later financing rounds. Generally, I'd recommend exercising at least 1 share of options as soon as possible so that you have shareholder information rights which should tell you what these terms are so you can calculate the option value.

More importantly, what are the odds of such exit. Generally, a company has more options to exit for $100MM than it does for $1B than it does for $10B. Of course, if the company is wildly successful, the higher the odds of a bigger outcome. The question is, what threshold of success is needed for the options to have enough value.

Finally, you should consider the change of control terms. If a company is acquired, do your shares vest immediately, or are they converted to shares of the acquiring company? What happens if the acquirer fires you? If you are early enough you might be able to negotiate for better change of control provisions. You want to avoid a scenario where the company has a successful exit and the acquirer is not incentivized to keep all the employees that have meaningful option stakes. This is usually less a problem in software developer roles, and more of an issue for sales and executive staff (CFO, CSO, etc.) but it doesn't hurt to have better terms.

In any case, employee stock options are complicated, and often the terms matter more than the price. There is a quote, can't remember who said it, "You name the price, I name the terms."
I read it as an analogy, I think that's what was intended.
There is a port to Wayland being worked on. Note that it's not usable yet. https://github.com/way-cooler/way-cooler
Absolutely. There is already a great deal of work on the metabolic side, such as removing biofilms of cancer with AGE (aged garlic extract), slowing or stopping metastases with bio-availability enhanced Curcumin, up-regulating autophagy and cell apoptosis with the up-regulation of NRF2 via cycling Sulforaphane and Myrosinase, starving cancer cells by removing all glucose and processed carbs via Keto and intermittent fasting, 5 day FMD (fast mimicking diet). All of these things highly complement Chemo, increasing the effectiveness and mitigating much of the damage caused by Chemo Therapy.

On the repair pillar, quite a bit of work is being done with CRISPR to attack cancer cells. There is also research on targeting specific cells using sound (11th harmonics) and destroying them.

Sorry I don't have any links to share. I must get back to work. :-)
You moved your website because of Five Eyes? What kind of website is it?