skysight-inc/HackerNews huggingface dataset:
I agree that we sometimes need to (voluntatily) commit to extreme conditions to get big things done, but I don't think selecting for commitment can fix another problem: no plan is perfect, and they tend to get worse as the planner is separated in time and space from the action.

On Earth, we make sure command structures are hierarchically self similar and afford some tactical autonomy to people in the field, even when we are asking them to put themselves in a lot of danger. Sounds like NASA was (is?) still working out what the level of autonomy and negotiation should be.
Screen vs. tmux
It sounds like you really hate free speech
Type-two theory has a huge disadvantage: it elevates the type of all operations by a level. For example, real numbers become functions. Hence addition becomes a type 2 functional. Integration becomes type 3. It is very hard to reason about the efficiency (and computability, come to think of it) of type 3 functionals. There's some esoteric example involving the fan functional [1].

The complexity theory of type-2 functionals is a theory which is natural to ask for, but after results by Cook, Bellantoni, Kapron, Seth, Pezzoli and others, has come to an impasse and now seems abandoned.

[1] https://pdfs.semanticscholar.org/3888/cc2d3c44fb051067581e39...
50Hp is a bit low for a car - a Vespa Scooter has 22Hp Btw
This gives me hope!

programming for smaller companies that can’t afford or attract/hire staff

Could you talk a bit about how you got your first client? What does your typical project look like?
The Supreme Court of one nation. Part of the problem is that not every nation agrees on the foundational principals to base everything else on.
Compilers can only tell if programs are internally consistent, they can't help ensure that they are correct. Compilers don't know about inputs. Compilers don't know if the branch you wrote goes in the correct direction for a given input.
The color fits copper very well. I don't know whether the white is due to an electrical arc or the burning of some magnesium alloy.
They effectively change the structure of your code. Every time you do an operation on a real number, it essentially launches a new process that runs indefinitely in the background. I would file that under speed problems. To control the speed penalty, you need to make deep changes to your code. I think Andrej Bauer came to this conclusion.

Regarding computability, it's not so bad. Basically a continuous operator is usually computable. Example: Integration is continuous, hence (likely, and in this case actually) computable.
Show HN: Writango – Make Presentable Notes and Blogs
40% is about right for jobs in higher ed where the large majority of employees make less than six figures and some benefits, like health insurance, are not not proportional to salary. Regarding health insurance, $6K/year is only a reasonable estimate of the employer's outlay for an individual, family plan will be at least three times that.
The inside story of Bandersnatch, the weirdest Black Mirror tale yet
Ask HN: What is your primary database?
Really curious to know your single, most important database tech? SQL or NoSQL? Postgre, MySQL, Mongo, Elastic, Redis, ...? Are you happy? Would you choose differently today? Thank you for sharing!
They're extremely rare in the real Western world, though. And even when they do operate, it's on a connections basis.

Certainly compared to how appallingly routine domestic violence is, and how long a red-flagged situation can be left alone by law enforcement.

(& hitmen-for-hire is so much rarer than drugs trading that reviews won't work, and escrow is inconcievable)
For the base version of the talk I’m just using straight HTML and JavaScript with no external libraries. Variants of the talk using other libraries (e.g. React, Vue, whatever the flavour of the month is) would be reasonable. All it needs is for the JMAP endpoint to be CORS-enabled (probably a bad idea in general), or for a simple pass-through proxy to work around that (I’ve already made a simple such tool for personal use at FastMail). Other than that, it’s just running in the browser with no external dependencies; that’s one of the great things about JMAP, compared to IMAP: it’s web-native.
I don't think downvoting is good way for showing disagreement.

I disagree with what you wrote. It does not waste developers time, it wastes money of business owners. Developers are usually paid for their time even if they are reading HN instead of working.

Now question is to people who pay money if they want to pay for "something in the future maybe will be useful". They will say hell no! They want time to market to be as short as possible and as much of end user value delivered.

Now you take example of SQLite or Armin Ronacher those are exceptions. There is a lot more software that is not anything done by Armin and is not SQLite.
I live in the Netherlands and disagree with your point about the price. I usually cook meals for 2-3 people. They usually cost less than 3 euro for vegetables (in total, not per person). Meat and/or cheese are usually the most expensive. And those meals contain a lot more vegetables than the typical meal in the USA and southern or eastern Europe.
My Fiat Punto has 54 HP at 860 kg and it's perfectly fine for urban driving.
Hitmen don't actually make their service readily available* like a pizza restaurant's website, and the ones who do quickly get caught - natural selection if you will. I haven't ever heard of a case of someone getting targeted by an online hit ordered through one of those websites, which you'd expect to if even a single one of them were actually legit. Which makes sense from an economic point of view - there's much more incentive running a (relatively inoffensive) scam and making boatloads of money, rather than risking lifetime jail and committing atrocities to make the same amount of money.

As for ordering drugs, the legal consequences vary a lot depending on the country's jurisdiction. There's also such a thing as a priority list in law enforcement, and they presumably care a lot more about murders than drug use, so one will draw much more attention than the other.

*Yes, readily available. There's nothing "dark" about a website that can only being accessible through special software, it's been a thing since the days of Usenet and BBS.
How can I trust the reviews and the escrows, explain it to me as you would explain someone that is not technical (so no crypto terms if possible). I mean we have fake reviews on Amazon and other sites.

I assume you would buy something small, see if all is fine, then buy something more expensive wait and see how things work out, but for something very expensive how will it work, how is the mediation happening if I don't like what I receive or I am evil and report that I do not receive what I asked for?
Reid Hoffman denies knowledge of funding disinformation in Alabama Senate race
الطائر الجنوبي فاروق القاسم .. يحلق في سماء النرويج / الاعلامي علي موسى الموسوي
I haven't been able to find the original files (probably not possible) but it looks like The Guardian has access to at least some of them too:

https://www.theguardian.com/news/series/facebook-files

Note that these were published on May 2017.
This comment feels like flame bait, but FYI the US runs the largest trade deficits of any country in the world.

Our current account deficit is half an order a magnitude larger than the #2.

https://en.m.wikipedia.org/wiki/List_of_countries_by_current...
Kotlin supports nested functions along with quite smooth Java interop.
> Maybe because I try to keep my code composable I don't have to change it in many places? But this isn't limited to Common Lisp for personal projects: also bigger projects with multiple persons at work in C++, Python, etc. refactoring isn't such a big thing that I'd use it as an argument when chosing programming languages.

I find refactoring is the most important part of programming; as the problem (or one's understanding of it) evolves, the code that describes it needs to evolve to match. When I worked in Python I found that I hit a wall where as my codebase got bigger, changes to my model took longer and longer to apply, because I had no way of reliably knowing what was coupled to what else; types solved that.

(I like lightweight syntax but not to the extent of giving up infix operators/methods)
My usage of manpages would increase by orders of magnitude if I knew there were examples of actual working commands in the first page. Most of the time I am not looking for an obscure parameter, but my brain just has failed to take a note of the basic syntax of the command. So why not start ssh manpage with two simple examples, how to connect to a host with username and ssh key:

ssh user@example.com

ssh -i ~/.ssh/id_rsa user@example.com
Tab (YC W15) is hiring full-stack engineers in London
First, to make arguments that rely on syntax, one must use correct syntax. If OP’s syntax were valid, that return in the for-in would indeed exit the closure.

To address this argument: the fact that a ‘return’ within a loop exits the enclosing function and a return from within a closure exits the closure is not a Swift problem.
He goes to the cops who ignore him, because they feel they have better things to do then prevent What enda up being at least two murders.... then later the bad guy buys some SEO and they raid the white-hats place because they think he’s running the site..... the site he handed over to them already... the site they didn’t care about. These cops don’t just seem incompetent, they seem downright moronic.
Pretty much the same as me, I'm full stack so the backend is either PHP or Java, the deploy scripts are ansible (so python/yaml, dev virtualisation is vagrant so ruby and frontend is ts/html, Intellij has first class support for all of those.
If so, it'll weigh a lot more. It's easy to make a light vehicle that isn't reinforced.
> floating point numbers don't really have any advantages over exact real numbers.

With floating point numbers, you can solve quadratic equations, calculate sin/cos, calculate log/exp. These things have lots of applications.
I see nothing wrong with it.
Hostile entity might be a better term considering the times we live in.
Do you consider HIV and STD?
I never said that they don't have applications. And you can do all those things with real numbers. What's your point?
Java API to Extract Tables from PDF Documents
https://learnxinyminutes.com/docs/python3/ could be useful.
Software Multiplexing: Share Your Libraries and Statically Link Them Too [pdf]
Can you give an example of that ?

Generally « Lambda » refers to AWS Lambda , I’ve rarely seen it used another way.

Others FaaS on the market have their own name ( Azure Functions , GCloud Functions ...)

According to this article Lambda is what Netlify uses to run functions.
Ask HN: What's the easiest way to cross-post to Medium, Ghost, and Dev.to?
I would like to be able cross-post to all 3 sites and update posts on them too. Is there any app/web service that can do that?
A while back a local (Netherlands) 25KV transformer caught fire and did about the same as this one only less and smaller until they cut off the power. It happens, but usually the power gets disconnected before any arcing can happen.
To be fair they could also push it far enough to lead to a collapse by competitive disadvantage from choosing stability over progress.

That has happened before at very least once when Commodore Perry came a-knocking with a gunship to Japan.
Thanks! I definitely need to be more DRY in tests.
hardware supply chain security often is placed in assurance work rather than the 'cyber' domain or buzzword.

for a long time now at least for intelligence agencies this kind of work is already done quite thoroughly. (decapping chips, reversing them. x-raying chips, buying large bulks and checking for discrepancies in design vs. delivered product etc.)
Was this at the Big Alice plant off of Vernon boulevard? I spent most of my life living across the river from there and it was such a quiet constant presence.
These kind of Prolog-like systems are actually not very hard to make using Python generators. I think it's a nice exercise to really understand the intricacies of Prolog! My own try is here: https://github.com/evertheylen/logicpy (not as extensive as kanren though)..
With your own business you can contribute 2x the best employee 401k deal and it is also tax free.

https://www.mysolo401k.net/solo-401k/solo-401k-contribution-...
Trump Exposes Location, Identities of Navy Seals in Iraq
Is "Great Wall Motor" a name that's supposed to appeal to English-speaking audiences? It's not my first language, but even to me "Motor" sounds just wrong, it should be "Motors". No matter how often I read it, it still seems wrong.

Sorry for bikeshedding, but I don't drive a car :P
You’re assuming GP read a fake news article saying Peterson was banned. Much more charitable, and a safer assumption, is that this was a misunderstanding by the OP.

Jordan Peterson was the one who, by boycotting Patreon in response to their behavior, created the association which led to this misunderstanding. He tied his leaving to this event directly.

I seems to me that Peterson no longer felt safe putting his revenue stream in the hands of Patreon, because of what he saw as unfair and improper political bias which could one day disrupt his own finances.

That to me is a lot more worrisome than someone being wrong on the Internet.
generally Lambda in programming languages has been another word for anonymous functions, and has been for decades, until Amazon decided it'd be fun to name a product after a general programming concept.
It's best not to sign them. You are signing away your rights to work on and talk about some things. The problem is that which things those are exactly is unknown to you at the time of signing.

From the other side, as to whether to ask someone to sign an NDA, I would just refrain from disclosing key information instead. Way more effective. Or if you need to disclose in order to move forward, keep in mind execution is what really matters, and so you need to be really focused on being ahead, to the point that even someone getting hold of some of your ideas still can't keep up.

These are just opinions... ymmv.
AdoraNwodo: 2018 in review
Functional programming, at its heart, is about imposing a particular kind of constraints with the hope that it will have an impact on program quality. The evidence does not suggest that FP is successful at that goal. Its chosen constraints are likely the wrong ones. There are a few programming paradigms that are "about constraints," and perhaps one of them will end up making a big difference, but it appears FP is not the one.
To be honest, I remember myself back during my first dev seps struggling a lot reading code since a lot of the senior programmers tend to code very effectively, so it was extremely hard to follow an end-to-end solution without terribles headaches.

This is just brilliant, not only because as educational exercises explains perfectly what's doing but the business/thinking process/context.

Never read 1k lines so quickly before, never enjoyed so much.
While I myself am not a purist, some people would consider this an instance of UUOC: http://porkmail.org/era/unix/award.html

> localhost:~$ ssh remoteserver "grep badstuff.php /var/log/nginx/access.log"
Yes, sorry, there was sarcasm involved.
my apologies, lack of sleep and too much exposure to american units. I even read what it said, and thought it was erroneously written as 'motor size' rather than 'battery size'.
The orbitants piece, reminds me of a programming book that came with the commodore 64, but more evolved
Thanks for your support.

My boss has always been happy with my performance as an engineer. He likes people to take ownership of their projects and always thanks me whenever I step outside of my direct area of responsibility to solve problems that would otherwise fester if left alone.

The main problems at work can really be boiled down to a lack of communication and collaboration between employees. Engineers and managers alike. I'm hopeful that the new PM will be able to help improve things where the other managers have failed.

As for me, I'm hopeful that I can communicate my desire to continue to have a role in technical leadership.
ManicTime Pro 4.2.1.1 Crack with Serial Key Free Download
As always, Wikipedia is outdated. And I was wrong too - Fiat Panda was awarded no stars recently, the worst possible score:
https://www.google.com/amp/s/www.fleetnews.co.uk/amp/news/ma...
Response from Ledger : https://www.ledger.fr/2018/12/28/chaos-communication-congres...

nothing critical
What I find confusing about Mastodon is that there seem to be so many mastodons, is there a main mastodon that links to the others?
> remove glue

It's supposed to be "potting compound", which is a form of epoxy, and if the right one is chosen it's very hard to get it off with anything short of fuming nitric acid. Combined with the microwires trick it can be made extremely difficult to get at the PCB without triggering the tamper detection.

See FIPS 140: https://webcache.googleusercontent.com/search?q=cache:HERKv5... (google cache version because the US has decided to be a failed state for a few weeks again)
The Ultimate Women in Science Reading List: 150 Essential Titles
I get where this is coming from but it gets boring fast. That's not how flow works.

You don't get into a flow state because of the reward / regular feedback alone. The challenge must match, or slightly exceed, your skill. Otherwise, you get bored. Boredom kills productivity and, ultimately, the point.

A competent programmer may as well just write out the addition implementation. I'd argue even that's too low a bar. In fact, I don't think it deserves a test (adding two numbers specifically).

That leads me to the second gripe. A majority of TDD examples are trivial problems. A great many are that trivial they wouldn't even warrant the time and expense to test in the real world, which is a genuine factor. If you're spending half your time testing trivial shit that can be verified by sight, you're not spending half your time testing what is crucial that may be difficult to verify without trying out the code.
> you can do all those things with real numbers.

No you can't.

> What's your point?

Floats really have lots of advantages over exact real numbers. Being able to compute transcendental functions is one of them. There're others.

They're freaking fast, my cheap laptop with integrated GPU can do almost 1 TFlops. They're fixed size i.e. you can handle them without dynamic memory allocations.
Show HN: Open source JavaScript library to record and replay the web
It's about time, I hate when I mistakenly press an ad, and quickly go back, just to be harassed all day by random stuff that I don't care about
People tend to confuse the two…
What hope does constitutional free speech have for the future if its citizenry doesn't hold the principle dear? The public must actually practice something that approximates the free speech protections they want from the government or else they will lose those protections.
Is there some rule somewhere that electric cars have to be fugly? (with some notable exceptions obviously)
Tomatoes flavour often gets killed by chilling them too far - https://www.newscientist.com/article/2109336-heres-why-putti...

There are probably other things going on as well, but this seems to be one of the major factors at play.
Election Cybersecurity Progress Report: Will the U.S. be ready for 2020? [video]
If you are interested, I can recommend the Oberon compiler OBNC: https://miasap.se/obnc/
> Keep in mind that some of those viewpoints are "we live, others get eradicated".

Well, that wasn't even close to being the case here, was it.
I once created https://github.com/FabianBeiner/Bela-Facebook-Archive-Theme, but I don't know if this one still works with the current version of the exports. But basically, you can just beautify the pretty decent export of Facebook with some CSS and remove the parts you don't want.
In the right environment a lot more people will have these. A good team lead can nurture them and given the right ingredients and conditions a whole team of these can emerge. On the other hand, just a few small things can completely prevent these people from blooming (overwork, bad morale, badly explained goals, constantly changing scope etc.).

Hire smart people with a spark. Give clear directions without micromanaging. Make sure people are getting enough sleep to think clearly, and enough time to do upfront planning so they don't write those bugs they would get demoralized on in the first place. Be an inspiration to others, then hand them the reins and let them inspire everyone else.
Keep in mind at the time that the world was on the gold standard so the value of every currency was measured against gold (and all currencies were, in theory, convertible directly to gold). The Gold Dollar[1] was an actual coin (made of an alloy of 90% gold and 10% copper) in circulation at the time so it was literally impossible for it to be worth less than its face value under the gold standard.

In contrast Greenbacks (paper money issued by the US government) were only a promise to provide gold in exchange for the note. The value of the greenback relative to hard currency would have effectively been a measurement of how much faith people would have had that the government could make good on that promise. During the civil war, when the government was short on cash due to half their tax base leaving and the enormous costs of fighting the war, it's unlikely they would have been able to redeem all of those Greenbacks for hard currency (and in fact that was the whole reason they printed them: they didn't have enough hard currency to mint new coins) so under those conditions it's only rational that Greenbacks would trade at a discount.

[1] https://en.wikipedia.org/wiki/Gold_dollar
I'd say the vast majority of people in China do support the system.
Since we're referring to Bob Martin, I suspect the answer is through a functional test that captures that requirement. Thus, if a naive editor makes a change that breaks the requirement, it will not pass the test and cannot be committed to mainline.
Do you mean having to reify java.util.function.* classes?
Interesting to run a "blame" on this code, and see that almost every line has been touched by a different commit, and that 41 contributors collaborated on the file.

It seems that the "do not attempt to simplify this code" is necessary rather because the cost of having so many people relearn what they already know is too large, and not because the code itself cannot be written in a simplified manner.

It's a beautiful example of the difference between real-life constraints of a codebase developed by multiple collaborators, and the elegance that we strive for when coding alone.

There is no "one size fits all" coding style in software engineering.
It’s a shame this isn’t possible at the moment, I suppose the safety requirements of cars that need to be able to run on highways means a substantial minimum cost.

I almost wonder whether we shouldn’t have two overlapping road systems, one for residential streets and one for transport routes.

You could have a class of cars that only run on the residential streets which would be half way between a moped and a car, with 1-4 seats, a range of 30-50 miles, and a cost of $5-8k.
The tricky thing there would be those aren't just new instructions, they extend existing registers and add new ones. Where do you fit the extra bytes?
Jeepers - they use the stolen oil to deep fry food!

Why don't they add some things to:

(a) make it taste horrid,

(b) make it smell horrendous when burnt?
The Times seems to have one or more Facebook employees feeding it confidential material in spite of Zuckerberg's threat to prosecute anyone caught doing so. Constant leak of documents/emails/etc.
Women are always hardest on women
Potentially, might be useful if you want small fixed-length keys that are fast to compare, and also you want to be able to insert new items between existing ones.