skysight-inc/HackerNews huggingface dataset:
As long as there is any structure or internal logic to what the program does, it can be reflected in its types.

For your example of a server, look at the Servant library in haskell. It allows you to define type safe routes and links, ensuring that your program exactly matches the API, and that no links are ever broken.

https://haskell-servant.github.io/
It is not illegal to talk of, and organize around, hateful and morally reprehensible beliefs. If they act on these beliefs or create credible plans to act then that would be the line.

We also have civil authorities - like the police - that we bestow with the power of violence to protect these lines. Additionally, we have civil rights and hate crime laws that bestow additional punishments for groups like this acting on their beliefs.

I think we will be better served reinforcing our shared beliefs in these civil authorities rather than acting as vigilantes and undermine our moral stance and possibly reinforce/embolden the support for our enemies.
How a single feature could finally hook you on UberEats and Postmates
So yes, you got it! They use the word "tag" in two totally different ways which is confusing.

When you create a gitlab-ci runner you can "tag" the runner. Basically, this is like a named server. For instance, I have a general gitlab-ci runner which I use to run most of my builds. However, I found that I need a special runner just for building docker images. So most of my jobs in my gitlab-ci are marked with:

tags:
- general

Where as my docker build job is marked with:

tags:
- docker-builder

This basically pushes the job to a specific runner and has nothing to do at all with the git ref (which could be a branch name or a tag or whatnot).

Now when do I build docker containers? I actually don't use "git ref tags" (i.e. git tag v.1.16.001 or something). I have a development branch, a staging branch, and a production branch which tie to my environments (dev, staging, and production). So my job runner looks something like this:

stages:
- test
- build
- deploy

docker_build:
stage: build
script:
- do some stuff
- docker tag container-name:$CI_BUILD_REF_NAME $AWS_ACCOUNT_ID.$AWS_ACCOUNT_REGION.amazonaws.com/container-name:$CI_BUILD_REF_NAME
- docker push $AWS_ACCOUNT_ID.$AWS_ACCOUNT_REGION.amazonaws.com/container-name:$CI_BUILD_REF_NAME
tags:
- docker-builder
only:
- development
- staging
- master

So basically once the tests pass, and IF the branch is development, staging, or master, it will build the docker container, using the CI_BUILD_REF_NAME as the tag and then push that to my private aws container storage system. The AWS_ACCOUNT_ID and REGION are both environment variables I have injected previously. If that succeeds it moves to the deploy stage.
Security Risks of the President's Android Phone
Can you recommend any soft token U2F implementation, especially if there's different "best" ones per-platform?
Yes I keep a journal and have done so for over 5 years now. It's interesting to be able to go back in time and see what exactly I was thinking. However the most useful benefit is immediate/short-term introspection. I tend to first just dump my stream of consciousness into text form, and if it's an interesting topic I'll take another pass and read through it and start shaping those thoughts with critical thinking. This leads me to more balanced opinions and also helps me deal with personal issues.

I use plain text files where I just prefix every entry with a timestamp. Whenever some major topic starts reoccurring I create a separate file for that topic. For example I have separate files for various project ideas, a file with a list of things I want to teach my children, a file with a list of things to consider when choosing a residence country.
class = X is just an anonymous template type parameter with default value X, just like

auto foo(int = 0);

declares a function with a int parameter with default value 0. In this case, it's just a conventional place to stick an expression in the declaration to trigger SFINAE. If you don't need SFINAE, you can also just place the condition in a static_assert in the definition

template <class T>
auto foo(T&&) {
static_assert(!is_reference<T>::value, "call me with an r-value");
...
}
If the topic interests me I quickly browse through the comments. Quite often I find them interesting / added value. Sometimes they are also just rather white noise of the internet.
This use case will still work. If your connection is interrupted the resource will not be cached. The new reload behavior will still cause the resource to be re-requested.

What if the resource is corrupt -- say a bit got flipped due to a hardware error. In the old version of reload you would send a conditional request to the server "has this resource been modified since date X". The server would say "no it hasn't" with a 304 (unless the bit flip happened to affect the header and changed the date to a much newer date). Thus a normal reload would cause you to continue to use the invalid resource. The only way to fix this situation is by doing a ctrl+shift+r -- neither Chrome's nor Firefox's approach makes this worse than it was in the past
Instalacja Oracle ApEx
Yeah, and then they ask for a ransom. Not really the same as destroying stuff just for the thrill.
Reality. I'm not saying the threat is low and you should suck it up, I'm saying the threat is nonexistent.
Is there any contact information for the site itself? The "APPLICATION GUIDELINES" and "submit application to" information for one of the positions I just viewed is inaccurate...
There is a lot of argument in this thread that seems to boil down to whether or not this technique (or an analogous technique for another field) is something a competent person would do.

I think that's missing an important point (which is also a point that TFA doesn't cover). Competent people do what makes them productive. If you start worrying about what specific things "the best" do, you're going to end up with a process that works very well for somebody else, and that very possibly won't work for you. You'll optimize for status, but you won't get near your potential.

The idea in TFA seems to be clearly worth trying if you have the problem it purports to solve. Maybe it works for you, maybe it doesn't. Maybe it doesn't, but it gives you more data on how your brain works, and helps to come up with something that works better for you.

But don't let anyone convince you that because you use this method or that, you're less competent than someone who uses other methods. Results are what matter.

(Edit to add: That doesn't mean you shouldn't pay attention to what competent people are doing. They are competent for a reason. But you shouldn't be discouraged if their techniques don't work for you, or if different techniques do.)
I don't believe Spotify is an electron app on any platform.
Yup this is my favourite way too. The annoying thing is that the audio and video codecs are supported most likely by the problem device just the container that is not. My Samsung TV (KS8000) supports MKV though which is superb for me.
I'll check the comments if I'm interested in the topic, but aside from that I tend to avoid HN comments. The comments as a whole seem to be overly negative and contrarian...to the point where often there isn't a whole lot of value to be derived.
6 steps to creating inbound digital campaigns
I pledged to do so monthly. Hope it helps. It's a really cool tool.
> “the fact” and “probably” are mutually exclusive.

I don't see how; statements about probability can be factual and we have plenty of evidence that Google, Microsoft, and US telcos do; why should AV vendors be different?

As far as companies usually following the letter of the law... do they? What makes you so sure?
> you can override this with a keyword to take all captures by value instead

that's what I meant by modifiers :). It is not unlike [&] and [=] I guess (except for the "tiny" detail that lifetimes are checked).

BTW, I'm not sure what the [1] reference in my comment was supposed to point to though.
A few things that seem to work:

1) Define a single, easily understood high-level goal. Something that's easily understood and can be accomplished in a timespan of days or weeks. It's important that this is not defined technically, but in terms of what the application can actually do.

2) Repeatedly ask myself whether what I'm doing is directly contributing to the current goal, or is required to reach it. If it's not, stop doing it and figure out what's going to get me there the fastest.

3) Wake up early and work on my project before doing anything else. Every morning I wake up, take a shower, kiss my partner on the forehead and then I am out the door to work on my project at the cafe down the street. This is the part of the day where my mind is the most fresh, and it's not possible that something else has taken my attention and distracted me from the goal at hand, or tired me out so much I don't have the energy to work on it. Also once you get in the habit it's hard not to work on it once you wake up.
I think that supports the article's thesis? My understanding of TFA is that inequality remains until a violent event. If Singapore has had no such violent events, then by TFA's thesis, inequality has been free to increase.
That sucks. If I was in your situation I'd look into having the webservers rewrite caching headers to just disable caching completely in the internal environment.
> Taxes should not be a means to redistribute wealth.

Isn't that more or less impossible? The whole point of a tax is that you take money from the broader population and spend it on something (a war, a road, libraries, public transit, food stamps, etc) that benefits only a subset of that population.

Taxation is, by definition, wealth redistribution.

Furthermore,

> Why is it ok to tax profitable businesses/people for the sake of equality?

This is a common misconception. Businesses don't pay taxes, people do. I don't mean " Apple doesn't pay it's fair share". I mean that the burden of the tax falls on the shareholders/owners of a business, even if the business is remitting the money. So, at the end of the day the question is not do we tax business versus individuals but rather a class issue: do we tax shareholders (who earn income from capital) versus labour (that is, people who earn their income through wages/salary).
I would caveat that to add if you're planning on running linux, 64-bit in the upscale ARM chips makes a lot more sense. But if you're running in the 'deeply' embedded space, there are plenty of 32bit ARMs (without MMUs) in the -M/-R family that are used for developing bare metal or RTOS that will be around for a long time and the experience will carry forward just fine.
In the Google security setting you can create new App-Passwords, use those in your Apple Mail or whatever. It should work fine.
I was using Handbrake to rip the DVDs of a certain low-budget 90's TV show (I am too embarrassed to say which) and noticed that certain special effects could confuse/anger Handbrake. Specifically, some cheap effect used to give a flat image the illusion of depth by making its outline gyrate back and forth combined with a lens flare, the effect was muted/eliminated when Handbrake ripped it, as though Handbrake was trying to stabilize the video or something. The effect was still visible on the raw MKV rip, but not after Handbrake's transcode.
If you use the Wayback Machine you should be able to verify that the Obama website didn't have a page on climate (or on lgbt, for that matter) when he first took office - it took years to put one there.

Administrations tend to put up a page at whitehouse.com on issue X when they want to trumpet or otherwise refer to what the administration has DONE about issue X. Since Trump just got elected, he hasn't done anything noteworthy on climate, so there's no page describing what he's done - speeches he's given, bills he's signed, etcetera. Since there's no such page, there's no such topic. Simple as that.

The topics there now seems to be cut-and-paste from his campaign site; it's essentially a placeholder to be filled out later.
Thanks for the feedback, I will test Lumen
You can do journaling in Notes or any notetaking app for that matter. The difference with Day One doesn't really appear in a feature list... it's the user experience. It's built around making journaling a smooth experience and presenting the result as a journal, rather than a collection of notes.

It's not necessary. But, it's nice.
Hi! Intrigued by the Associate Product Manager role - as someone who has been a Scrum Master and product lead for roughly a year at IBM, would this be enough experience to open the door to a Junior PM Role?
Not suprising, this goes beyond republican and democrats. Trump is a first president of the new realignment. He destroyed or will destroy the legacy of Clinton, Bush, and Obama.

Its not democrat vs republican to him. Its nationalist vs globalist. The old guard were globalists. This has Thiel and Bannons fingerprints all over it.
I agree that immutable seems like a better solution. But it still puts a little too much trust in the urls not breaking and puts an unnecessary onus solving a solved problem. Immutable resources should be referred to by some straightforward variaton of a hash of the immutable bytes that form their content. Its similar to how git works for example. [1]

So what does this look like in practice? rather than serve a your css as

<link rel="stylesheet" type="text/css" "ref="https://example.com/styles/site.css"/>

you'd instead use something like[2]:

<link rel="stylesheet" type="text/css" "ref="sha256:abc123..."/>

And all the resources could be verified for integrity after being downloaded and trivially changed thereafter.

For privacy concerns, the url provides the additional feature of sandboxing the content via the origin access controls. As a step 2 addition the urn could still contain the current url style as an optional suffixed parameter, which if provided the browser would use to sandbox that particular hash to that site as a provider of it. Referring to that hash from a site that has not previously provided the data would fail, unless the site is able to either prove that has the data by resending it, or rehashing it some way.

1: I don't mean to be pedantic but a lot of people don't understand that you can take any number of bytes, compute a 256 or 512 bit cryptographic hash for it, and be guaranteed of a longer than the lifetime of the universe level small chance of ever finding any other bytes that produce the same 256 or 512 bit number, even when trying as hard as you can with all the resources you can muster.

2: There are several different ways to do the addressing for the content (magnet uris, IPFS univeral hashes etc). The browser vendors ought to pick one and move on.
1. Tab 2 search - productivity monster
2. Auto translate - productivy monster
3. FF slow rendering - proven by real tests, not useless benchmarks
4. Signal app and other apps

but getting these negatives:
1. super huge memory use and dozens of processes, easy to completely fill memory of a super workstation
2. every keypress and webpage action recorded by big firm
3. lack of plugins in mobile version
4. hated and blocked by companies
If only a comment on Hacker News saying something should work made it so :)
That's awesome! Are you keeping a journal of what's happening with it? Maybe we should stand up an invite-only Discourse site for people doing this kind of stuff.

Also, knowing you only on HN, but also knowing that means I probably know you better than most voters know any candidate for local office --- I'd totally vote for you.
Doesn't seem to list president.
I come here for the comments. The links you can find elsewhere. A calm community able to discuss topics? Now that's gold.
AV causes all sorts of problems for Firefox, such as startup crashes or, in some cases, AV MITM breaking Firefox updates, leaving users stranded on old Firefox versions. In Firefox 53, Mozilla is starting to purposely make it more difficult for extensions to rummage around in native code and external software to inject DLLs into the running Firefox process:

https://blog.mozilla.org/addons/2017/01/24/preventing-add-on...
The discussion is a big part of HN for me. Like early reddit, you often get experts in their field, or constructive, thoughtful criticism of an article.

Jokes and other low-effort replies are thoroughly discouraged.
Nice little blog you have.

I'll be doing some similar. Couple things that I'll likely do different is push to InflexDB host in my homelab and using Pandas to help me analysis data.

Keep up the good work, it's inspiring.
Stale data, unfortunately. I could run for the US federal legislature, with an election day of Nov 8, 2016.

Also, no local elective offices in my jurisdiction.
Don't fall victim to the chilling effect. There are ways to safely keep a journal. If you're afraid of being actively targeted you could even use a airgapped journaling laptop that never gets connected to anything or updated.
3 Common Fundraising Mistakes
Lovelace was probably the first to think
about using it for something other than
pure computation.

This is deeply misleading.
For example the idea to have automata make music, and more generally for automata to be creative, predates Lovelace, Music making automata were a staple of the renaissance. For example the mathematician and astronomer Johannes Kepler, when visiting the "Kunstkammer" of Rudolf II in 1598, was amazed at an automaton representing a drummer who could "beat his drum with greater self-assurance than a live one" [1]. Incidentally, Kepler corresponded with Wilhelm Schickard on the latter's "arithmeticum organum", the first ever proper mechanical calculator (could do addition, subtraction, multiplication and division). Automating creativity was very much an idea with much currency in the renaissance. Indeed some of the key advances in mechanical automata, which later evolved into computers, where driven by the desire to automate creativity [2]. The "conceptual leap" that some people lazily ascribe to Lovelace, wasn't hers!
Using numbers to represent syntax (what you lazily attribute to Lovelace too) is much older and can be found for example in Leibniz's 1666 "Dissertatio de arte combinatoria", where one finds a detailed exposition of a method to associate numbers with linguistic notions. I have no idea if Leibniz was the first to do this. Leibniz also built some early calculators/computers, and is thus a cornerstone of the tradition that lead to the emergence of computers. This tradition was known in Babbage's time, and most likely to Babbage.

[1] W. Zhao, Rendering the Illusion of Life: Art, Science and Politics in Automata from the Central European Princely Collections.

[2] D. Summers Stay, Machinamenta: The thousand year quest to build a creative machine.
Asperger's is useful in programming, not so much in Law.
There are accounts of infinitely-running programs as proofs; they have to do with the proof technique of conduction, which has to do with proving properties of infinite data structures; a counterpart of the more familiar technique of induction, which lets you prove things about finite data structures.

Side effects are a little harder to see proof-theoretically; for some effects there are reasonable stories (exceptions, for example, are a special case of continuations, which have connections to classical logic), but for many I think the story is still murky.

The Curry-Howard correspondence is more of a lens through which to approach PL theory, or an evolving research agenda, than it is a settled account of all programming practice.
I'm the author of this document. Now, my hosting server denies accessing from foreign countries because of too many accesses. Please wait for a several hours.
Brute Force Layout
If static analyzers could find all problems in C with a low false positive rate, then that'd eliminate one of the big problems with C and partially negate the need for Rust.
Either I'm dumb, or if that's true it's only true since they added U2F today.

(It's very possible that I'm dumb!)
Also this guide looks good for some general advice:
https://www.reddit.com/r/trackers/comments/wevh2/good_beginn...
Three Men Arrested After Facebook Video Shows Woman Being Gang Raped
> yet the handout probably won't tell you that.

That seems like a major problem. Is there any reason that more detailed information can't be included? Mathematical literacy may be a problem, but that doesn't mean that there aren't millions upon millions of mathematically and scientifically literate consumers who could use this information effectively.
Isn't this comment negative and contrarian?

And this one really.
I know this might run somewhat counter to the point of the site, but I'd love more information about what the effective qualifications for filling the positions are. Obviously any moron can get elected, but that doesn't mean I'd feel particularly good about, for instance, running for SF Public Defender without being a lawyer, or city treasurer without any background or knowledge in finance.
As a huge fan of U2F I really love this. I don't use Facebook, but we are starting to cover more and more of the internet. Facebook, Google, Dropbox are huge.

I would like to see UAF also get some more love.
I work fulltime. Can we filter for positions that do not require a fulltime commitment?
woah dude, fight the power, let's see if we can fit that on a cafepress shirt with a Che-style Stallman silhouette
It's unlikely your local governments have added or subtracted a lot of positions since the last election, so just look at the 2017 elections on the list.
Yeah, and it isn't like it is Nov 9 and they didn't have a chance to update the data. It mostly had high level state and federal ones here (I know all of them already). Where are all of the local ones? Great Expectations on my part I guess...
Solar energy with battery storage provides 24/7 electricity for the most economical new power plants. By 2030, fossil plants will begin retiring as too expensive to operate.

Meanwhile, electric vehicles will replace ICE vehicles.

Regardless of the policies of the Trump administration, technology and economics will roll back CO2 emissions.
Today, We Gave Equity to Every Single Member of Our Team
Seems to me like there are two angles to it:

- Yes, the law should apply equally to the guilty and innocent: the KKK has the right to free speech, and this asshole has 4th amendment rights requiring a warrant before his effects can be searched. According to the article, there was one.

- If you want to make an argument about nuance, do it in a venue where nuance is appropriate. This guy got caught murdering his wife, using evidence obtained from a warrant. The EFF is arguing that the warrant should have been more specific. Perhaps, but this is the wrong case to try to establish that precedence on.

It's human nature to want justice, and letting someone off on a technicality is an affront to justice. If everyone knew that this technicality existed, it's a reasonable defense to use. However, to argue for the existence of a technicality where one doesn't already exist flies in the face of our fundamental desire for the world to be a fair place. I suspect that makes it a much harder case to win, because at the end of the day, someone's going to be thinking "but it let THIS ASSHOLE off? No, that's not OK."
The Doomsday Clock just advanced