skysight-inc/HackerNews huggingface dataset:
Giant hole opens up in street with no gate around it. Have they actually spent time thinking about this or is this a joke?
All that matters is having a good conversation and not appearing completely incompetent.

After an enjoyable conversation, the hiring person will rationalize wanting you all by themselves, even if they have to make up / project qualities you've never demonstrated.

95% of the time, there's nothing rational about hiring.
It's a well-known trick across googlers....

1. IRA Backdoor: Contributed to traditional ira with after tax money, capped at 5500, then converted to RothIRA

2. After-Tax 401k Mega Backdoor: Contributed to After-Tax 401k, capped at 26K, then converted to RothIRA.
TLA+ is not a model checker. It is a specification and proof language. However, it has verification tools that include a model checker (TLC) and a mechanical proof system (TLAPS), both support a large and useful subset of the language. There are also other TLA+ model checkers under development or already available with some effort. In many ways it is more similar to Coq and Isabelle than to Alloy. For one, it has proof of relative completeness: anything that can be proven about a system, can be proven in TLA+.

But because a model-checker makes a huge difference in productivity (it is usually the difference between worth it and not worth it), it TLA+ is similar to Alloy in terms of the effort required. Also, while it is harder to learn than Alloy, it is much easier to learn than Coq or Isabelle; partly due to design and partly due to the fact you can use it without learning how to be effective at writing formal, mechanically-chcekable proofs. It takes about two weeks to learn TLA+ well enough to start getting real work done.

OTOH, while TLA+ can in principle be used to prove general mathematical theorems, it was designed with a focus on discrete systems (i.e., software and hardware) and targeted at engineers, not mathematicians/logicians, so if you want to do general formal math, Isabelle or Coq would be a better choice.
I also advise you not to keep a jet engine in your house.
My favorite graph is this one: http://i.imgur.com/ZgJaXCy.png - you can clearly tell 2016 was the year we broke away from all the others.
Well I wrote this quickly, and shouldn't have used the word philosophy. I was intending to point towards things like materialism and modernism more than _all_ of developed western philosophy.
What's a crown worth though?

Dentists have been successful in limiting the number of dentists, so decent ones can charge good money.

The terrifying thing is that they tend to do a lot more out of pocket business than doctors/hospitals and so the prices for dental care are generally lower than the prices for similar healthcare (they often do first appointment x-rays for free, or for cheap; hospitals will charge $200+ just for something that needs 2 or 3 x-rays).
municipal budget problems are only a problem for the people in office when it goes downhill.
It's one thing to reject special characters at password change time, that's silly but not massively insecure. It's another thing to modify passwords at rest to delete the special characters. (However, the backend could easily have always been doing that, and the frontend changed from silently deleting what you typed to refusing to accept what you typed.)

It's silly but probably has to do with some percentage of customers not realizing that - and _ aren't the same character or something.
No I'm going to need a cite for the EITC claim. I speaking about how it specifically aligns motivations and interests, because it is different than other welfare programs.

Or are you just saying all welfare programs are bad? That's not a discussion I'm willing to engage in.

On the edit - yes I agree that part of the subsidy is split, as with all subsidies, but I think the EITC uniquely incentivizes those in the program to work themselves out of it, unlike other programs. That's why I like it so much, because I think other programs do fall under your critique.
Financial Independence (FI) achieved and DONE working for other people by end of 2021. Pursuing my own projects and making a bigger dent in the universe.
there is cool new technology called a "barrier" that could be used
People complain about this book a lot but I enjoyed it for the most part. Having no philosophy background, I generally struggled through some of his more academic points though.

But I generally enjoy books that have "quotable wisdom" in the narrative. One of the quotes that has stuck with me the longest is from this book:

"The place to improve the world is first in one's own heart and head and hands, and then work outward from there."
Ah, interesting; I didn't know that. It looks like the post-tax contributions get rolled over into a Roth IRA when you start disbursement (I think? I am not in the business of financial management and my grasp of the subject pretty much extends to "I should max out my 401k and my Roth IRA every year and if I keep on doing that then probably I'll be able to retire", so there are almost definitely some nuances here that I'm missing). I'll have to talk to somebody to figure out if this is a good option for me or not.
Some years ago (9+) Professor DeMarse published some papers on training petri dish brains cells how to "fly a plane" (or more appropriately "keep a simulated plane from crashing"). I have a copy of the paper at home, but can't think of the title, (it was kind of hard to find a copy since it wasn't publicly available online). You might look at what his lab is currently working on though.

http://neural.bme.ufl.edu/
+1 for Recoll.

Link to the docs: http://www.lesbonscomptes.com/recoll/usermanual/usermanual.h...
Hi Hillel, Not sure if you can help but I am interested in TLA and was following your tla intro website, particularly this part: https://learntla.com/pluscal/toolbox/. I installed TLA+ Toolbox, added the example spec, translated and then tried to "run the model" however nothing happens. No output, the start and end time are still blank, no statistics etc. It is as if I never hit the run button. I don't see any errors in the console and I'm not exactly sure what I am doing so I may have missed something. FWIW the Model Overview view looks identical to the screenshot in the webpage.
>I'm a non-smoker, but I do not mind people having smoking breaks... but some people get really upset by this.

I was in a group where the non-smokers "saved" their smoke breaks and we all went to breakfast on Friday mornings. We'd take about a 45-60 minute break and the smokers were not allowed to come.
New Space-Proof Materials Use Old Ceramics Tech for Next-Gen Propulsion
> Waymo’s cars have driven two million miles in the real world and billions more in computer simulations. But it’s impossible to program for every event.

I wonder what will happen if two people cross the street with a big painting of ... a road :)
It's easy. Just ban individual homes, make everyone live in small apartments along rail routes.

What would we lose?
The use of graphics in this PDF/slideshow was incredibly effective, more so than most articles I read.

The PDF lays out Uber's statements, and either lay it over a real-world analogy (a road on a sinkhole for database corruption) or lay it over a picture that primes their response (like a picture of apples and oranges when they plan to respond that Uber is comparing different features of mysql to postgresql).

The use of the elephant picture to give "elefacts" (sort of a parody on politifacts, where they evaluate the truth of uber's statements) is also great.

The images add humor and reinforce the content - great use of graphics!
>> learn how to have a conversation

> The skills of a con artist are not related to the ability to build good systems.

lol.

Communication is about moving information through someone's senses and into a model constructed in their head. If you can't effectively communicate about yourself, the interviewer is going to make more inferences about you and may focus on areas that aren't your strengths while not even knowing to ask about strengths you think are very relevant.

It would be great if they could just sense your innate value through your aura, but it's not going to work. Being able to talk about yourself may feel uncomfortable or like self-aggrandizement, but that's actually a great reason to practice it. The interviewer wants to learn about you but also has a bunch of other explicit and implicit goals (get through the interview questions, to not be incredibly bored, etc), so there's no reason not to do a good job at honestly telling them about yourself.
We've banned this account for violating the site guidelines.

https://news.ycombinator.com/newsguidelines.html

We detached this comment from https://news.ycombinator.com/item?id=14221051 and marked it off-topic.
If the 100-passenger airplane always had only 99 passengers, there would probably be noticeably lower fuel cost. But a 99-person airplane would be even cheaper.
people who don't want to live in small apartments next to busy rail lines
To interpret Plato as a practitioner of Zen...the other Buddhist sects must be far different from Mahayana Buddhism--anyone who is familiar with Mahayana, especially the line stemming from Bodhidharma, and Plato's thought will know that to compare Plato's philosophy with Zen is patently ridiculous--the one rejects the existence of objects, the other wants there to be a whole heaven of conceptual objects--to think there is any similarity in the 'one' of zen and the 'one' of Plato, or the Neo-platonists for that matter, just shows to me that you've engaged in very shallow reading. Still perhaps there's something in it, based on how absurdly incorrect it seems--plus I only know a bit about Mahayana--no other Zen traditions, so perhaps there are some that are more akin.

In general I am suspicious of all books and articles that insist on modelling their titles off of buzzy cliche's:

"Zen and the art of XYZ"
"How I Learned to Stop Worrying and XYZ"
etc.

It just does not leave a tantalizing impression and stinks of shallow laziness to me.

I suppose this isn't totally fair to this book, considering it came out in 1974--but still!

That's a shame because skimming through this article, this books sounds as though it may prove to be somewhat interesting.

Please, you've worked so hard on your book--for the love of god, bless it with the title it deserves!

I think this is some practical advice for writer's: consider the glittering titles of Nietzsche's works before you settle on a name for your book--is that really what you want to call it?--is that really its name?

Sheesh, I may have to read this just because of how vehemently I disagree with that Plato/Zen analogy--I need to see where the hell this guy could possibly be coming from other than bad, clumsy reading, and poor conceptual housekeeping--if not from here he's picked up on a grand connection I've missed, and has thus created something worthwhile.

(If only the name designated so!)
Basic example: A lot of operations on vectors can be compiled into much more efficient code when the length of the vectors is known at compile time.
GCC has a more though, there's a few people being paid to work a good chunk of their time on it.
I try not to read to deeply into it as a 'Philosophical' text.

And more on the concepts of 'Quality' and the thought process of an analytical person.

The book starts with fairly simple real world examples I'm sure most people could agree or relate with(the author/character was an editor of 'Digital Computer Manuals') .
This is on all of us not just the climate science deniers and the profit hungry corporations, selfish individuals, crazy governments, or, uninformed individuals. It is not enough to protest, give speeches, start "green" companies, and whatever else we do to feel good about "doing something for the environment."

If only we could have enough courage to curb our uncontrolled consumption of resources. Why is it so hard for each one of us to just reduce our intake by, say, just 15% to begin with? How about eating less, not changing cell phones every ear, shopping less, driving less, and a hundred other things we can reduce?

In the end nature always wins. We are either with her or against her!
I have it on excellent authority that if the paint happens of be of the ACME brand, its very hard to tell what might happen.
Well, I'm no academic, but things like modernism, materialism, and scientism as epistemology would be distinguishing factors.
Postgres tips for Rails developers
Taking your app from in-house to commercial by utilizing MVC
Maybe Mexico and Canada could pick up some of that slack?

I was just reading an article somewhere, for example, about how Mexico has increased powdered milk imports from the EU by over 100% over the last couple of months, in order to reduce dependency on the US.

The US currently export $231x10^9 worth of goods to Mexico per year, and $267x10^9 to Canada. That's a lot of potential importers in Mexico and Canada who might be nervous over trade relations with the US and open to some new sources.
2. indeed.

1. I don't really give a shit either way when I encounter one but as a businessman I am against them as something I should have to pay for. My points were twofold:

A> there's a games theory/cartel issue around "best practices", and you basically have no liability if you provide the "standard of care". This is true in security practices, medicine, etc.

And B> there is often an incentive mismatch between the implementor of a process and those subject to it which biases aggressively down or up, against gradualism. The most visible extreme is TSA in which the risk of letting a shoe bomber is extremely high (i.e. the decision maker would lose their job if it actually happened) while the cost is borne by all the miserable travelers who, realistically, fare essentially epsilon risk of actually encountering such a device.
IMO, agree that Redwood City is a leading example. Refreshing given the usual focus being on Palo Alto, Mountain View, Sunnyvale.
With electric cars coming along, and already here in many Silicon Valley parking lots, is this really a problem?

Downtown Redwood City has suddenly become very urban. The city is well over a century old, but until five years ago, had few tall buildings. Now, 5 to 10 story buildings are filling up downtown blocks. The downtown redevelopment plan actually worked.
Well for starters that's probably illegal and would get challenged in court by various jurisdictions.
It's not really predatory, or at least not in intent (you always have exceptions).

The basic rule of thumb when seeing stupid clauses like this is 'Someone did something shift, a lawsuit happened and the words "I didn't know I couldn't" came out of the defendant's mouth and that cost/almost cost the plaintiff the case. So now they make it overbroad so you can't claim you didn't know'.

There have been several cases over the years--one of which got several cow-orkers of mine fired--where the "side project" turned into a real company and it turned out to either be based on the companies source code, or created by looking at the companies source code (in one case a competing product, in another case a complementary product).

In some ways it's an "anti-predatory" clause.

I've mostly been subject to it at much larger companies and defense contractors.

It's also something that you can usually get a 'waiver' (or whatever your company calls it) for. Go to your boss, or whomever and get them to put in writing that "Yeah, we know about this, and it's ok with us".
Lack of money for maintenance is a problem of overextension and overconstruction. Urban sprawls result in the same thing.

Creating a powered tunnel, especially if it can be engineered to be done faster and cheaper, could result in increased urban density?
We detached this subthread from https://news.ycombinator.com/item?id=14220041 and marked it off-topic.
Indeed. They might want to have included that in the video if they were suggesting this as an actual project and not a toy vision.
How do businesses remain agile?
Would you mind emailing me the screenshots at h@learntla? My immediate guess would be that "temporal properties" is unchecked, but I'd have to take a look.
The first version of isync (0.1) was released in 2000.

The first version of offlineimap (1.0) was released in 2002.
If you're single, then you have to make less than 132k a year to contribute to a Roth IRA (and it begins to phase out at 117k); if you're married filing jointly, then your combined income has to be less than 198k a year (and it begins to phase out at 184k).

If you're over those limits, then the website I'm looking at says that you should look into a "backdoor Roth", which as far as I can tell means you contribute money to a traditional IRA and then roll it over into a Roth IRA.

I am not a financial professional and if this is something that you are concerned about, you should probably consult one of those.
I know this is a joke, but wouldn't Lidar detect the obstruction?
Well, we were talking about exceptions in C++, where there is a standard way to communicate nothrow. So yes, you're right that it's no longer a pervasively unchecked error system - but that's precisely why they're not any worse than Result<T,E> at this point. Effectively you can treat C++ as having every function return Result<T,E> by default, with nothrow being an opt-out to just return T.
I hadn't been there in 10 years until last weekend and was shocked at how transformed it had become. It has definitely kept up with the times. (I was also a fan of the weekend parking at Box Inc. Parking with validation at stores.
Who knows if it's untrue? Although it almost certainly is. What's "legit" is the point "lots of other people do it so why should I go to any greater effort? And anyway I don't actually give a shit about my employer's customers."

(I was being sarcastic about "legit" -- it's only legit from the selfish POV of the web admin)
The Rest of the Story
No, this will take into account any changes in spacing which are legit changes that sometimes need to be made but have no effect on the logic of the commented routine.
Yes, most medium-or-smaller sized companies, including ones in fields that should take security seriously like insurance and lending, will have tons of stuff like this. It shouldn't surprise anyone at this point.
Personal swipes are not welcome in comments here. We've warned you before, so if you want to continue commenting here, it's time to fix this.

That includes avoiding snark tropes like "you do realize, right?" (https://news.ycombinator.com/item?id=14213226)

We detached this subthread from https://news.ycombinator.com/item?id=14212866 and marked it off-topic.
That's a brilliant review, capturing the major threads of the story like no other I've seen. But it also seems best suited to those who've already read the book (and can appreciate the relevance of the reviewer's philosophical argot), and perhaps not as suited to those who are deciding if this story would be worth their time.

OTOH, maybe anyone not put off by the reviewer's language and willing to read his entire review will see that s/he indeed does have The Right Stuff to plumb the rich depths of ZatAoMM.

God speed, Mr Pirsig. Your book meant worlds to me.
If you trigger an exception, then you're not paying for something that you don't use anymore.
Ah yes! But the shift or scramble would be at the font level.

So URYYB would read HELLO. Or rather, the reader reading HELLO will have no idea the document actually says URYYB as the contents of that text because the font renders URYYB as HELLO.

Presentation detached from substance.

Without the "key" font it'll just read URYYB.
Was it a French bakery, by chance? The French have traditionally distinguished between bakeries that bake breads and rolls (which they call a boulangerie) and bakeries that bake pastries and sweets (a pâtisserie: https://en.wikipedia.org/wiki/P%C3%A2tisserie).

I dunno how much that distinction still holds in modern France in the era of the supermarket, of course. But it wouldn't be surprising to a see an upmarket French-inspired U.S. bakery using it as a way to signal authenticity.
That sounds like sexism to me. If our culture demands that stories about men and women fit into gender roles then that is a sexist culture. It might not be the direct fault of authors, but we cannot just throw up our hands and say "well it is giving the people what they want".

It is also possible to misunderstand the market. Remember when people said that the reason why action movies didn't have female leads was because nobody would watch them? And then The Hunger Games and TFA were released?
A blockchain wouldn't improve the security of sending a signed message at all it just provides a shared storage of the message.
اتاق سرور گوگل
Black Hole Farming: https://www.youtube.com/watch?v=Qam5BkXIEhQ
This is the dumbest thing I've seen him produce. Reliable rapid public transit is better in dozens of ways.
The way it worked out for me was to first learn it on my own, then model a buggy system at work, then demonstrate how it finds a bug. It's one thing to explain the ideas, another to see it actually run and produce an error trace that maps to a problem in the code.
It's unclear why this centralized control car-train approach even needs to be underground. Seems like you could do something very similar above-ground. It's basically freeways but without human operation.
Agreed. But at the same time to assume the opposite is naive — that Google will always be relevant.
I am not sure the poor state of existing infrastructure precludes someone from building their own new infrastructure. Public transportation outside of the US is often run by private companies, and they make plenty of money.

Even in the US, passenger rail is typically run by the government or government-like bodies, while freight rail is just private companies. I don't think there's an intrinsic reason for that, it's just how it is. (More like, people with goods to transport are willing to pay, but people with only themselves to transport aren't. Or we see public transportation as a "public good" that's worth subsidizing, but of course the government super subsidizes the road network too.)

The fact that your local politician doesn't want to allocate public funds to shoring up a collapsing bridge doesn't mean that Elon Musk can't spend his own money to build his own bridge (tunnel in this case), right?
This is a very dicey subject. I think it's best to keep it loose as long as possible. Introducing a regulatory body into any field is perilous, but something as fast moving as software and security would be frightening. What happens when the regulation is that you have to use the algorithm that was cracked last month? Eek.

Voluntary, socially-enforced customs are better. Things like the MPAA rating system have successfully staved off government intervention. Such standards are much more flexible.

We already have this de-facto via TLS and the browser's angry messages if you don't comply with their expectations, but it'd be interesting if browsers started running a more thorough security verification program and giving preferential treatment to sites that implemented it.

That is also scary because it centralizes more control in browser manufacturers (which, today, means Google almost as much as it meant Microsoft in the oughts). But still better than the government I guess, and blocking a site in software is much more motivating than the risk of a fine for non-compliance.
ACRONIS TRUE IMAGE 2017 20.0 BUILD 8053 DOWNLOAD FREE WITH SERIAL KEY
Even if it was, you still pay regular income tax on stocks which are given to you.
As an attorney myself, I wonder if you are insinuating that participating in lawful government programs conducted by DoD or the IC, like SIGINT or cyber warfare operations amounts to professional misconduct (edit)?

By that logic, providing legal counsel to any number of federal government departments or agencies is a violation of professional conduct. Which, of course, it is not.