skysight-inc/HackerNews huggingface dataset:
I think "would have sufficed" is a strange choice of words in this case. I do consider macros a lot stronger than "deriving", but I am not sure they are entirely appropriate in a language which is so much rooted in type theory as Haskell is.

I think of "deriving" in Haskell as a form of automated theorem proving, and I think it would be beneficial to have better theorem prover integrated in the language (I think it is in languages like Coq).

The reason why I think theorem prover would be more appropriate than macros is because with macros you, as a programmer, have to do the proof explicitly, and you're responsible for it being type correct. Whereas with a real theorem prover behind the scenes, this work is not needed.

In general, I think it's still quite unclear how to well integrate macro system of Lisp power with type checked language.

So risking "moving the goalpost", I am not really satisfied with your answer. Are there some uses cases for macros that do not involve theorem proving (i.e. having compiler build some function automatically based on type signature alone)?
accidents are accidental.
> There is also the fact that in modern CPU-side development you will find it almost always is a bad idea to try to drop to assembly micro-optimization. Your compiler is going to almost always do a better job optimizing the general case into an optimal set you won't be able to easily implement in raw ASM, especially when you start using vectorization instructions.

I agree. In fact, the fact that it's not even a good idea in most situations to write in assembly on x86 CPUs proves the point even more. GPUs are less willing to spend die space on things like sophisticated branch prediction, complex superscalar architectures, register renaming, and so forth. This effectively means that GPUs punish naive codegen (which is the kind of codegen that humans without in-depth knowledge of the architecture tend to produce with their brains) significantly worse than x86 CPUs do. For an extreme example, look at the vector part of the low-power VideoCore IV architecture [1]: compared to a compiler, I don't trust myself for a second to program this optimally.

[1]: https://github.com/hermanhermitage/videocoreiv/wiki/VideoCor...
The President also gets the credit for every success. For example, all the articles comparing the party of the President with economic results. Never mind that the party controlling Congress at the time might be the other one.
1.73Vrms / 45 ohms of impedance of headphones = 0.038 mA (doesn't include minor impedance from output)

Power (Watts) = V^2/R, or I^2*R, so a maximum of 0.067 Watts to start a fire. Not much at all.
Choosing the Right Mobile Development Framework
Tinder for Degrees and Universities
Crashes cannot be a subset of all vehicular accidents because not all crashes are accidents.
> It’s pretty clear all of the advantages we can possibly have in the S.F. tech scene. But what about the techies that don’t have it all? No one talks about the lack of privilege for black men and women, or for women in general. What about the people who went to state school for undergrad and never went to grad school? And the people who didn’t get into YC and are trying to raise money?

I can empathize with this point. Coming from a state school, and parents who don't have a ton of money, I've found it challenging to break into a better paying job. I'm doing an internship with a pretty decent company. They are a giant bank, and our application is used by tens of millions & the work is enjoyable. However, just today I spoke with a new hire, and he only makes $85,000/yr. I am unsure if I should look for full-time work in another city like Raleigh, NC, where $85,000 would not seem like a compromise. I am just worried I won't be able to find as good of people to work with/ as interesting of work.

I would love to get into a startup, but found all of the interviews I had at smaller companies to end with, "We do not feel you would be a good cultural fit." I am unsure if the solution is to just be less ambitious, and settle for what I have worked for.
I posted above, but a few years back we received $1k per chapter in advance. Four people co-wrote the book, each taking 1-4 chapters from memory.
Constructors are resource allocation, so they can always fail.
But if Millennials are earning less money, who will pay for socialism?
Should be "get paid less". We really need to end the framing of whatever people are paid as assuming that it's equal to what they earn (as in what they actually deserve given actual work value etc)
Let me guess, you got those "scientific" results from the Scientific Journal of Social Academics, using that "other method that reproduces reliable knowledge", so this must be correct! And it can't have anything to do with the pressure they're feeling now that someone is looking at their work with some scrutiny, because they've been the gate keepers of "reliable knowledge" all along.

And I'm pretty sure those 1500 scientists represent the scientist all over the world from all countries and fields, and those studies must be from the shady physics journals such as Nature and Phys Rev series and not crap journals no real physicist even read. If only they could be like the major psychology journals http://www.nature.com/news/replication-studies-bad-copy-1.10...

You were funny when you tried to justify how scientific psychology was, by using+not using scientific method at will. You sound downright idiotic the moment you tried to imply that physics is a sham (which used to be the de facto science long before any of your "sciences" even appeared).

Anyway, go play with yourself. I've got better things to do. Like actual science. Rumble all you want. I'm done with you.
Perhaps we accept car crashes as a generalized, unspecific life hazard because our lives require us to drive constantly? It's simply too mentally burdensome to do something all of the time and also frame it as a life-threatening activity. I don't know the research on this kind of carefulness fatigue, but I strongly suspect that the more people do something dangerous, the more they consider the associated hazards to be outside their control.

So what I'm wondering is whether this kind of blame allocation really helps anyone. It's not that dissimilar to the conversation that crops here every once in a while about who should take personal responsibility when a critical security flaw is found in some widely used piece of software. We don't typically say "whelp, that's dangerous, you'd better focus really hard all of the time!" because we know that doesn't really work. Instead we say "how can we add tooling and processes to make these inevitable mistakes less likely?" Or even better, "how can we avoid doing these mistake-prone things altogether?"

Obviously, we do that with cars too, but we could do a whole lot more things that strike me, off-the-cuff, as much more likely to have an impact on reducing accidents (that's the point, right? We're not just trying shift the blame back to the drivers for some abstract sense of justice, are we?). For example:

1. More walkable

2. Add public transportation

3. Reduce speed limits

4. Autonomous or semi-autonomous vehicles

5. Congestion taxes

I'm sure the impact of these different things on traffic fatalities have been studied and I'd be curious of the results. But I'd have to be convinced that "no, no, we just need people to think of their driving as their responsibility" is top-priority option.
Emirates gives you headphones for free (standard in economy, noise-cancelling in business), it's not like they make money on this. I don't think Boeing and Airbus care about the headphone sales either.
I was actually pleasantly surprised that the weird style and graphics rendered since most of their article just display as plain text due to my uBlock Origin settings. And I sorta like the weird style, mainly because it's out of character with Bloomberg.
forth was used in the philae lander, http://www.cpushack.com/2014/11/12/here-comes-philae-powered...
This is basically the old EMACS/Vim vs Sublime/Atom debate that developers have battled for years, moved across to the accounting world, isn't it?

Having been involved in accounting system implementation for > 30 years, I understand that people are usually used to doing things one way and find it hard to adapt to change, but even after all my years in the industry, command line accounting fills me with unease - and this is coming from someone who still loves working in the DOS prompt!

I am sure for a simple expense/budget ledger it will work OK, but when it comes to recurring journals, multiple reconciliation accounts, inter company transfers, control account tracing etc., give me a nice GUI any day...
Government at all levels already spends 35% of the GDP. It's hard to see how increasing that will make things better.
Law and Oracle is an adaptation of PKD's short story "Minority Report" in which the Pre-Cog (short for pre-cognition) department polices based on glimpses of future crime. Orwell's "1984" explored the similar, but distinct, notion of 'thoughtcrime'. Both works examine the implications of such policing methods and are certainly worth reading.
Didn't Democrats have control of both the House and the Senate for a period? Also, doesn't being the POTUS mean you know how to bridge gaps and compromise? Sounds like a convenient excuse to point fingers at the other side.
Carly Fiorina?

As per Wikipedia:
"several commentators ranked Fiorina as one of the worst American (or tech) CEOs of all time"

Then as a punishment for being a shitty CEO:
"In 2010, she won the Republican nomination for the United States Senate in California; "

Overall she looks like at least a good challenger to Myers.
Firefox Reader View makes the so much nicer.
Haha, that sounds like me. Except I more so swear a lot after developing too many apps using technology that was meant for adding hyperlinking to text documents . . .
I have a few friends who try and champion both YNAB and Ledger but Mint works super well for me by keeping my thinking Macro level. If you are someone who just needs a broad budget, Mint can be great. But if you think you need super fine grained control to the point that it will re-enforce changing your spending happens Ledger/YNAB will for sure help with that. I just find that I stop using them, and that was worse.
That help section on budgeting only talks about periodic transactions. Is there also some notion of "estimated future, one-off, transaction"? I suppose you could implement that using ordinary transactions.

It's just that after fighting with gnucash, I got the impressions that budgeting and accounting are very different things and that I should not try to use the same tool for both jobs.
Could you recommend some alternative UIs?
Isn't it also true that Millenials put less value on financial success and more value on fulfillment and life experiences than did previous generations? Could it be that Millenials are "set to earn less" because they are actually fine with earning less?

Perhaps they watched their Baby Boomer parents chase after money and accumulate stuff and end up unhappy anyways and decided that they would pursue other more rewarding aspects of life.
I frankly don't see how you could come to the conclusion that Angular 2 components are simpler than React components.
I mean, in React, a component can be as simple as
const MyComponent = () => <span> some markup nonsense </span>;
You get to choose connection mode when you connect to any computer. The entertainment system tries to connect to your media storage so that you can play your own music/videos. (this system is often just a Linux terminal) You can always use the charging-only USB cable if you're worried about the data connection of course.
I also ride a bike and I feel safest when I am on a separate path, well away from the distracted drivers playing with their phones while "driving" their 4WDs...
I wonder if I'd be using a Samsung WP10 model, instead of a Galaxy, still using Firefox, and using the Office365 suite. Maybe MapQuest, again.
I feel like the U.S. is shifting too much to a blame culture.

For every bad or unfortunate incident, we call for blame and jail time and sometimes even public shaming.

And then we turn around and wonder why so many behaviors are criminalized and why so many people are in jail.

Yes, reckless driving shouldn't be ignored, but the article is arguing that accidents almost never happen, and that almost all accidents should lead to some sort of charges.
Obama had filibuster-proof majorities for his first two years (when they passed the ACA with only one republican house vote and none in the senate) then a split congress for four.

When measured by party control, Clinton, GHW Bush, and Reagan all faced more opposition in congress than Obama has.
I feel that stereo makes for more spacious sound. The sound feels like it is filling the room, whereas mono feels kind of claustrophobic.
Do you have any evidence that increased government spending harms economic growth? It seems like an a priori certainty in right wing thought, but what evidence I've seen suggests that the effect is minimal or even beneficial (within the spending ranges that we see in modern developed nations).
Not me I'm on paleo diet.
Let's just call it what it really is: Ignorance of the masses.

I can guarantee most of those burnouts have neither paid attention to history nor basic economics.
I think a lot of us are. My parents are Boomers and we were born between 78 and 82.

Technically being born in 78 makes you GenX. Yet if you have a brother born only 4 years later, it's another generation? We had the exact same experience, Atari 2600 on a TV that is now weird to even think existed. No TV remotes, walk up and change the channel. Rotary phones, city directories and phone books. Need the time and temp? You called the city "time and temp" number. Riding a bicycle to the comic book store and arcade, which were common then. I remember the USSR and my brother and I saw the Challenger blow up on TV at school as if it were 9/11. None of this is the Millennial experience, and they couldn't even describe these details. The world really did change after ~1995, when the internet went mainstream with Win95. Prodigy, CompuServe, AOL, and BBSs were around and used occasionally but I never felt they were significant enough to change society as the internet did post 1995.

In many ways, if you were born from the early 80s back to the 20s you might have had a fairly similar childhood. Stuff that a kid born after the rather dramatic changes the internet caused will never really experience how the world felt different. Similar to how in my grandmother's childhood, she remembers being the first house in the neighborhood to have electricity hooked up. That's a game changer from previous generations.

I think the typical 20 year generational divide is broken with the advent of certain technologies. There has to be a break between those who meaningfully experienced the world prior to the internet and those who don't really remember life without it.
As a commercially-rated pilot, I find this post very disturbing ...

1) Tampering with an aircraft system is a felony. It could very well get you shot.
2) Aircraft entertainment systems have had numerous fires. (A gambling system brought down Swissair near Halifax.)

If you're even thinking of stripping insulation off an aircraft wire, just don't.
Venezuela is nowhere close to what Bernie Sanders believes in.
I have a t450s running Ubuntu and it's awesome. Plan on buying a 16GB DIMM, obviously. I wish they'd add more slots for RAM. Also, get the option where you can cram 3 SSDs into it. Then you can swap to "slow RAM" if you blow out the 20GB. Just a little 20-40GB slice of an SSD but it can save you a lot of hassle if you start to thrash while running simulations or merging huge tables or the like.
Why not use React native? Putting a browser inside your mobile or desktop app is always going to be bloated and slow compared to using JavaScript to drive native views.

(Users might not notice that bloat and slowness if they're on a desktop system with a fast CPU and lots of RAM, which is one reason why Electron seems okay in certain cases.)
Not needed since android will ask you to verify PC fingerprint before exchanging any data or allowing debugging.
That's not an argument. You're just asserting that it's not possible.
Eh, but in exchange we lost affordable health care, affordable schooling, and other things.
I in turn don't find an attempt at a straw man all that convincing.
Aviation "accident" statistics include deliberate acts of destruction.

Also, once the cause is determined, it becomes an almost inevitable progression of events, not some heisenberg quantum accidental effect.
You can easily summarize transactions with ledger. Just put a transaction where you move $X to cash when you make a withdrawal. Then at the end of the week add another where you report that your cash balance is $Y. Since transactions always balance to $0, it knows how much you must have spent.

All you lose is the ability to later find out what you spent your cash on, but that's a trade-off most people are willing to make; rent and utilities and groceries are both easier and more important to track.
You're entirely right, government spending does not harm economic growth.
Well for AWS Lambda, they offer three languages: Java, Javascript, and Python. Even then, its really just running in a container and you have access to anything in their standard Linux AMI and whatever else you include with your code, so you could really use almost any language you want. I'm using wkhtml2pdf with my Python code which is a c++ executable. Also, although the Python is 2.7, you can easily use the existing Python 3 environment or include your own.

As far as lock in, it is trivial to utilize the same code on your own servers. I do that for my Python code for development using a simple Cherrypy setup in less than 100 lines of code.
Something similar happened to me going through the Startup Bootcamp incubator in Europe. In the end, the best leads come from your network. As you said they are already vetted and you have already worked with them through the program so the decision becomes much easier.
Aviation has its own set of bureaucratic language, but if I remember correctly they are occurrence, incident, and accident, in that order of severity. Crashes are a subset of accidents in which there is an actual collision; if e.g. a plane sitting idle in the airport suddenly bursts into flames[1], that's an accident but not a crash.

[1] http://avherald.com/h?article=44078aa7/0000
Army SOF to Trade in Its Androids for iPhones
You mean all of 2 years out of his 8? Remember the big healthcare reform bill that got passed and the American Recovery Act that prevented the American car manufacturers from closing up shop?
What do you know, things can get passed when that party has control, but since then the GOP did everything possible to block all their efforts. So yeah, not much help for those millennials from the GOP.
I'm not suggesting that I'm in favor of this, but the idea is that the country has plenty of wealth, it is just concentrated in older generations who were able to build it through decades of economic largesse, so, well, that's who should should be paying for it.
They _did_ buy Tumblr and all you ever read about that is Yahoo writing off more of the Tumblr value.

How are their other acquisitions doing?
I've used both Flipkart and Amazon(India) sites.

1. For me, Flipkart's introduction was only due to the huge discounted prices. Also it was new, better and trusted experience compared to Ebay(India). And Amazon came late in the game. Mentally I associate Flipkart with huge Discounts (and Mi phones). And those discounts don't exist any more.

2. Amazon.in is just a great user experience. Flipkart.com still feels like a site with ads (but those aren't ads :). In its first few months - Amazon.in was terribly slow - but now thats never a problem. Now Amazon is easier to surf and look at and the rates are almost similar

3. Flipkart has a trust problem with many users and its just harder to fix that. On one account they had no-idea where the item was. After a lot of delay(about a week) - they sent me the same item twice and they didn't realize it. After a week I wrote back to them to collect the duplicate item and I got the response below:

"This is due to the fact that most our courier partners are tied up with us for deliveries alone and some of the locations are currently not serviceable by our pick-up partners.

Once the product is reaches us, I assure you that the courier charges you incur will be reimbursed to your Flipkart Wallet and you’ll receive an automated e-mail as soon as your wallet is credited. This has unlimited validity.

Kindly pack the product in the brand box if any with the MRP tag and send it to the below mentioned address with the return ID labeled on it. Also, please mention your address. "

Why would I hustle to courier them back? And "no pickup partners in that area" was a plain lie. I just try to avoid Flipkart after that incident and prefer buying from Amazon even if it is slightly costlier.

4. And when they went "Mobile-only"... I was like - I DO NOT WANT THAT APP (They reversed that BAD decision pretty soon)
Bernie Sanders is a social democrat, not a socialist. It's insane that social democrats haven't rebranded considering how common the confusion is.
That is the typical Indian business model, first be humble and when things aren't working then jack up the prices and stop treating customers as king
The rise in government's share of the economy correlates with the rise in the economic ills. What is the basis for thinking there is an inflection point where the correlation reverses?
I am using Spacemacs so I like the idea of using plain text files. But until there is way to input new transactions via my smartphone easily, I will probably stick with classic YNAB for the foreseeable future. Otherwise, I might have to learn Android programming to create my own app to do so.
> People in India are surely learning the same thing.

Flipkart from circa 2012 had that. The story should probably more about how they lost that trust.

I used to order things on Flipkart regularly (during my WFH years in Bangalore) because the couriers were employed by them, had multiple delivery attempts in a day and items in general came in a day or two to my doorstep.

At that point, it was as if they treated "shipping" as their primary product rather than the box they were delivering.

For my vantage point, the whole process starts to unravel with "WS Retail" and Flipkart's schism.

Suddenly, it looked there was a split-brain between buying, shipping and delivering.
Your implicit assumption is that anyone with a top 1% SAT score would also have good ECs and 4.0+. This is untrue.
Well, is using accident all the time that much better? The truth is somewhere between 100% accidents and 100% at fault. There's no clear win to either side of the spectrum.
What's interesting to me is that this topic has never come up in the nordic countries, and I know for certain that in Denmark, Norway, Iceland, and Sweden the words that are used for this all translate directly to 'accident'

I can't help but wonder if this was a phrase that was borrowed and then translated, but regardless, I think we need to re-think our choice of words as well.
You can't really tell if the stack overflowed in a constructor though, plus that will essentially /never/ happen, so I think it's okay to exclude stack overflows when creating stack allocated objects as failure conditions. In that case no, a lot of constructors won't be able to fail.
Economic ills? Well consider that numerous other developed nations have large amounts of state-owned industry and that if anything their economies are stronger than ours.
> Isn't it also true that Millenials put less value on financial success and more value on fulfillment and life experiences

Where did you get that from? Maybe that's all that's left when no financial success can be had, and they're trying to make do with the lemons.