skysight-inc/HackerNews huggingface dataset:
I suggested no such thing.

The minimum wage is a burden for companies. Walmart having to pay their employees in USD and not Walmart credit is a burden. Workers having a lunch break and bathroom breaks are "burdens" as well.

If you're presenting the argument that cheap products of slave labor is a good thing, then... I'll pray for you.
>... umm those people are bat sh!t.

Why? I don't have a real opinion on getting into Manhattan from JFK given that I haven't done that trip in years.

But I go to and from my home airport with a private car service all the time.
Am I committing thought crimes?
>HN has always been at war with TurboTax.

"Snarky trivialization of activism on this issue" seems like the very kind of thing you'd normally discourage.
> What is it that makes you think formal methods will become more popular?

I have an MSc where I focused in formal methods and I worked pretty extensively with them both in academia and industry before moving to machine learning, getting another MSc and a PhD.

There are many formal methods industrial users, especially those dealing with hardware and safety critical systems. For them, the cost / benefit ratio of using formal methods makes a lot of sense.

My hope is that lightweight approaches become more polished and it becomes feasible to use them in more mainstream applications. There is a whole range of methods going from type and effect systems, model checking, data and control flow analysis all the way to abstract interpretation and theorem proving. For example, refinement types as implemented in Liquid Haskell are a nice promising area.

I also think there are potentially very interesting combinations of deep learning and probabilistic inference plus formal methods that might push both AI and software engineering further. For example, an intelligent agent that is trying to infer (synthesize or induce) a program that models some function [1] might be able to carry a much better search by using abstract interpretation.

[1] https://www.sas.upenn.edu/~astocker/lab/teaching-files/PSYC7...
> No, it is no longer a tech demo.

And the only reason I discussed that is because earlier in this thread someone claimed "The project is part tech demo for fun, part shut up the people who complain about moc."

> Because the meta object generated by the verdigris macro will continue to work with newer version of Qt. But in Qt6, the binary format will change so some adaptations will be required.

If it Qt6 retains backwards source code compatibility then verdigris should still keep working I guess. If not then yes verdigris will need to change but in neither of these cases do I see binary compatibility as being relevant - if you compiled something for Qt5 and the binary compatibility breaks to Qt6 then this will affect you regardless of having used verdigris or not no?
Which is why proposition 13 is such a wicked law: it insulates property owners from the downsides of increases in property values while giving them all the upsides. It takes skin out of the game.
A majority of tech workers are on visas? I find that hard to believe.
While I agree there is a money problem, it's not quite so simple as just "paying people off". The money goes to their campaign funds which I'm sure get abused sometimes, but they also get called out and prosecuted for it. Additionally, money donated directly to the politician's fund is limited. Money paid to a PAC is very much separated from the politician. They can't so much as coordinate with the PAC.

So it's more about having money to get reelected than a simple personal bribe.
fgBlox - an OSX Safari Extension. Prevents common ad-trackers from loading.

https://apps.apple.com/us/app/fgblox/id1460509929?mt=12
Do you work at Google, or is this just a blanket denouncement of all designers and their artsy-fartsy, latte-sipping ways?
2019 end-year book review
Detach your code from your ego. Learn that there's always something someone else knows that you don't. Having them show you is a chance for you to learn, not to be ridiculed. Once you realise that most other people feel the same way you do, you'll be free to not only grow, but to work with other people to help them grow, as well.
> Google [has] experience working with unions and [is] committed to working through this.

My impression is that Google's experience is mostly in seemingly illegal union-busting (well, preventing) efforts. Then again, my impression is wholly based on reading HN articles on the topic, generally related only to engineers.

But I suppose they'll do what they're legally forced to do, more or less.
Ask HN: How to monetize a game and not make a pay to win?
Dear HN, I'm making a game, a mmo based on fast paced fight. I'm looking for ideas to how to not make a pay 2 win but monetize the game in an interesting way. For now there is only fighting between knights.

Cheers
It was a tongue in cheek sarcastic comment, my friend. Whole new paragraph, smiley face at the end, fun link to the "me, too!" history, you know - lighthearted and jovial.
> Thermoelectrics have terrible efficiency

I agree with what you're saying, but the point is that the woodstove is running 24x7 in the winter, and the solar is very pool. Whatever energy I can get from the TECs is an order of magnitude more than I'll be making without them - i.e. zero.
When I've guessed wrong, I've also been rewarded with unexpected large dollar figure checks in the mail. I did once make an error that cost me, and someone at the IRS was excellent in working together over the phone to get things square.
The "penalties" are just what you owed plus interest. I think the IRS will only charge an actual penalty if they think you were deliberately trying to avoid taxes.
In fact, they did see the writing, BMW for example developed the Hydrogen 7 [0], Mercedes Benz produced Fuel Cell cars[1]. What they didn't expect, was, that simple Lithium based batteries would take over. Obviously they wanted to retain the range of the combustion engine cars

[0] https://en.wikipedia.org/wiki/BMW_Hydrogen_7
[1] https://en.wikipedia.org/wiki/Mercedes-Benz_F-Cell
They're very noisy, and you have to get them above the trees, which is quite high. Also where I live is not very windy.
I believe similar ramifications should apply to the uploader in the case of a valid DMCA complaint to make this fair.

There are some logistical issues with enforcing that. I admit that upfront as I don't think those are a fruitful topic if you wish to discuss my initial "belief."
Thermoelectrics you can order from a catalog have real world efficiency ~6%, which is on the order of what a well engineered practical Sterling engine will do for converting heat to electricity without any moving parts to wear out, exotic working fluids/seals, or ... complete lack of supply chain for any of the above. If this new material pans out it could be on the order of 24% efficient, which would be preposterously better than any heat engine you can fit in an Alaska cabin.

I hate the computer programmer weeb meme of suggesting a Sterling engine for every damn thing. None of you jokers suggesting this has ever built a real world heat engine, let alone attempted to engineer an efficient one from scratch, which is what you'd be doing in the case of log cabin Sterling engines. There are excellent reasons they're not commonly used, and less thermodynamically efficient external combustion engines (like steam) are used. The problems with making them work efficiently are immense.
I despise Kaloev for what he did, but Swiss prosecuted Kaloev, put him in jail for 8 years and released after 2, didn't they? So, for Swiss the justice is accomplished and the punishment for killing their citizen is done.
"forcing companies to pay workers more than what a free market dictates inevitable increases prices"

Does it inevitably increase prices, or could its millionaire/billionaire execs just maybe own a few less private jets and McMansions?

Anyway, even if prices were increased, what's wrong with a market in which all participants earned a living wage?

Or are the absolute minimum prices that markets can bear something we should be striving for even if it means those at the bottom can barely survive?
I daily chafe under the yoke of a government that restricts my right to sell myself into slavery. And they enforce that onerous infringement of my rights, ultimately, by threat of violence! Which clearly makes government the slavers, actually, the same way taxation makes them identical to muggers.

(/s, in case it's not clear)
I wish! No, frequently programs will rely on variables defined in previously-run program. Believe me, I've had the same thought.
Why do you think the information is valuable? It's clearly more valuable to companies like google than the cost of providing services like search and youtube.

It's like saying that TV adverts give something for nothing, where the truth is they are a massive drain on society.
> Only if the 2nd law of thermodynamics holds. When speculating about advanced civilizations building Dyson spheres, why not speculate about the bedrock of science as well?

If the person I replied to qualified their comment with "lets assume laws of physicis is not relevant" then sure...
So, some kind of democratically elected commander in chief who is the supreme commander of the US military?
It's not that trivial. Planned burns were managed by firefighters as well, to reduce the amount of available fuel. Now we're not doing enough of it. Firefighters is not a great name in this case and just having better infrastructure doesn't imply actually stopping all fires.
Ohhh, I hadn't thought of that idea. Interesting. I will be sure to experiment with that!
If you have over $200 spare from operational expenses and the cushion then you can use Robinhood and buy the ETF versions of Vanguards mutual funds.
Has anybody noticed that, starting tomorrow, the current day of the week, day of the month and month will be highlighted, with the highlighting changing correctly every day?
What misinformation is surrounding Renault-Nissan?
They could provide an API to the states that makes doing the state return (once federal is done) very easy. And provide a link, etc.
Once copyright lasts for a reasonable amount of time, then we can talk about making DMCA notices "more deadly". Copyright is a farce, it might as well be infinite in duration right now, because it magically extends when it starts running out on certain IPs.
A Remarkable Mental Hack to Reach Your Goals in 2020
Or if you do find it, you get intermodals with dark patterns upselling the paid service, and once you upgrade you can't downgrade back to the free-file version.
Market-based opposition to unionization is a perfectly reasonable and very common opinion. Looking at how our industry treats people who express this opinion, though, I don't blame the OP for using an alt. Our industry really needs to work on tolerating a wider band of worldviews.
I'd swear this was a meta-satire if I didn't know humor isn't allowed on here.

I say: It's not cool to make blanket statements about a race based on the way he was treated

You say: the state was behind his treatment so that totally makes it ok

I say: Ok well our state does terrible things to, how about we not make blanket statements about races and their morality

You say: omg argumentative fallacy!

This entire thread is a near indefensible comment about a race, you trying to defend that comment on "technical" grounds, but then you want to complain about "whataboutism" as if the root of this wasn't a racist, fallacious, statement.

Thanks for the year end laugh, really.
Windows 10 is a service, i.e. where will Microsoft get its recurring income from. a) Marketing data, b) start charging monthly fees for OS features.
Imagine a gigantic apartment building in San Francisco. Let's say some 400-unit monster. Then picture a campus with four of those buildings.

Then realize that such a campus could not house all the Google employees in the area. Then realize that such a campus could not house just the Google cafeteria workers in the area.
I hope you are joking!

Olympus - Accounting fraud - overseas whistleblower was the one prosecuted!

Lots of other cases - Japanese CEO's doing MUCH MUCH worse face zero prison time and/or prosecution.

A lot of folks posturing here. The compensation charges - which would have been the first to go to trial if they'd ever gotten to trial (the prosecutors have been dragging things out) were laughably weak. If this is what puts CEO's in jail for years it's a total scam - 100's of japanese CEO's do this and much more. These companies are tied together every which way.
Regardless, labor unions would be a feature of any conceptualization of free markets I’ve ever heard of. In what sense is cooperation and organization not compatible with a free market?
Re: artificial coffee substitutes are you talking about something like Postum? I’m trying to imagine a palatable take on modern energy drinks adapted to be served hot but my imagination is failing me.

https://en.m.wikipedia.org/wiki/Postum
> If it can technically be done and it is valuable in any way

Insider trading is illegal
> "Once fusion is cracked" is almost on par with "once perpetual motion machines are cracked." It presupposes that fusion being "cracked" is a reasonable thing to expect.

Oof. One need only to peruse your comment history to see where this sentiment is coming from, but even that is no excuse for that obtuse argument.

"Perpetual motion," on the one hand, is quackery outlawed by straightforward thermodynamics, breaking the rules of which allows assertions like "chair seats and door handles should be spontaneously heating up to incandescence essentially at random." Fusion, on the other hand, is a technical problem.

Fusion researchers at MIT, ITER, and other institutions at the top tiers of academia across the globe are not a cabal of greedy grant-dependent charlatans bamboozling their way through careers in bad faith, deliberately ignoring the lone rational voice of Lidsky and his Johnny-Come-Lately-The-Baptist on HN, u/pfdietz. It's perfectly rational (Sane, even!) to cast aside internet naysayers (no matter how zealous) in favor of deferring to, you know, actual experts.
Well, it's a good thing if you want a service to be more popular, which is what people here are complaining about: that the centralized services beat the decentralized ones.

It's not like IRC went away, lots of people still use it. It was just massively eclipsed by more accessible alternatives.
Yours is the sort of comment I’d hope for. It’s an excellent point of discussion.

I tend to agree with your perspective myself. But at the same time, much of what we discovered about ancient civilization literally came from trash heaps. Future generations after we’re gone might enjoy frippling through what we took for granted.
How exactly is media pressure influencing climate science? Most of the foundational research was done long before climate change was being discussed in the media. And as far as I am aware, the media continues to have zero influence in how NSF grants are awarded.

Another fun fact, Fox News, a nakedly partisan cable network that adamantly denies the existence of climate change is the most watched channel on cable TV. They just recently hit their highest viewership[1]. And the President of the United States has been known to set his policy priorities based on things he sees on Fox News. So who's influence should we be worried about?

In the spirit of acknowledging potential sources of bias and influence that originally started this thread, I will acknowledge that the "mainstream media" occasionally gets it wrong and does have a tendency to sensationalize stories about climate change. But I would like you to acknowledge that the "other mainstream media"[2] like Fox News and Sinclair Broadcasting Group are just as bad (if not worse), and are just as powerful and influential (if not more so) as their counterparts in the "mainstream media".

[1]https://www.axios.com/fox-news-record-ratings-2019-msnbc-cnn...
[2] Calling it "right wing media" does disservice to the fact that these media outlets likely have more collective viewership and readership than the "mainstream" outlets.
To add onto this, learning how to use communicative tools better is huge. I have seriously enhanced my productivity and understanding of my work by learning how to manage my inbox, write and respond to tickets, and share information via effective Confluence posts.
I agree with everything you said, and love the boxing reference at the end.

Anecdote... one of the proudest moments in my life was when I finally did outbox the heavy bag. I put a hole in the side where I my left hooks to the body hit. It probably took me 10 years to make that hole, and even though I needed to buy a new bag. I can't make myself throw away the old one.
I would love to see a citation or source to back up your economically viable fusion energy is impossible
Note the penultimate Lion Air flight had a third-pilot dead-heading in the cockpit. Not a regular luxury.

Also, the AoA-vane was replaced with a faulty part, and never retested after install if I recall correctly. A procedure complicated by the fact the plane would have had to have been started, shutdown, then restarted since the Flight Computer switches from side-to-side each flight.

So a maintenance tech may have accidentally tested the wrong computer assuming the documentation wasn't up to snuff. Can't say as I've seen that part of the documentation myself; but considering they left MCAS out of the pilot docs, I somehow doubt that it was greatly elaborated on in the maintenance docs as well.
Looks like a cool idea! If this worked like Pingdom, where I could start for free and then upgrade based on frequency of checks or number of sites / pages, I’d sign up :)
I'm trying to learn vim, thanks to this thread. How do I "drop the cursor to any character I see damn near instantly."

I'm digging moving things around quickly and all that. But I don't know how to get my cursor where I want it quickly.
Not sure how OC's comment could be considered an egregious example of virtue signalling. If anything, he's expressing a lack of virtue.
Turkey also: https://www.engadget.com/2019/12/29/turkey-togg-electric-cro...

I'm starting to think that the most significant consequence of the mechanical simplicity of electric cars is not the additional per-car reliability or potentially lower TCO. It is that manufacturing cars has suddenly become accessible to a much wider and geopolitically more diverse set of industrial bases. Maybe electric cars will be the new textiles where developing economies are concerned.
Wow I would love to hear the inside story on this one.

I think we're all motivated by both survival and doing good, and I see an overall trend towards more doing good, as survival gets easier. Is this a case of that? Who drove it? What internal processes allowed public service to overcome corrupt lobbying pressure?
While Moore's original, concise expression was in terms of transistor areal density, the faster clock rate was implied and expected, just as lower latency is implied by the faster clock. Thus, the stagnation of clock rates is rightly recognized as the beginning of its end. Allocation of the newly available transistors to caches, functional units, execution units, and ultimately extra cores was also implied: the transistors are not decorative: they are there to be used.

With feature sizes approaching a single lattice unit cell, its final stage will be reached shortly.

To insist that transistor count is the only point of Moore's Law is to be deliberately obtuse: it was the exactly the extra value provided by the extra transistors and the machinery built of them, and the faster clocks, that would (and did) generate the capital investment needed to develop each succeeding, more expensive, generation.
Can I have your twitter handle?
Missing from the list:

Win 10 periodically resets the "default applications", completely ignoring previous user preferences. Starts opening PDF files with Edge (argh!) or TXT with Notepad (double argh!).

Does anyone know how to prevent this?
I assume you mean 1040EZ, as most people aren't in the habit of issuing 1099's. But you're absolutely right; hopefully this news is a precursor to further undoing of the tax prep lobby's efforts.
Windows 10 is/was the slap in the face it took to finally migrate all of my development workflow to Linux, and my Adobe workflow to OSX.
>Truth to be told it's not a problem with HiDPI monitors but few people own them.

It's almost 2020. Apple began shipping HiDPI in 2012. It's absolutely shameful that vendors are still shipping 1080p.
I wonder if they can now help people who lost access to their gmail accounts because they wouldn't give google their phone number
So, there is a hypothesis that those levels "could" be unsafe, but no evidence?
Or Google could just leave.

I hope they do.

Good riddance.
Have you actually gotten a penalty? The IRS is just interested in gathering its taxes, it has no interest in punishing you. You have to mess up pretty hard and/or deliberately to get the IRS on your case.
I think reviewing all code in the dependencies is not reasonable. When i add new dependency to my projects i evaluate how trustworthy the maintainers seem.
Sure. But compare wage growth with the amount you can buy in California. Local inflation is a killer because we do/will/can not develop things like housing or infrastructure.

My housing costs have gone from $700 to $3950 in 10 years.

If I wasn't one of the lucky few, I would be priced out. Hence my point we need much less regulation so that middle class people can afford to live in California.

We could 10x pay, but with the same stock of housing, the poor will do no better.
Do you have a reference for the deduction greater than basis loophole? I spent a few minutes looking for it on google and couldn’t find a reference. It does seem non-sensical on the face, but I’d like to read more.
Solar & lithium batteries are so cheap from scale, it's worth comparing the cost, even though production is very low in winter.
Hmm. Now that we have async functions meybe we could also add the pure keyword in order to help optimizations.
TCS, Wipro, etc. probably skew this but it seems true to some extent at least in the bay area. [1]

[1] https://www.newsweek.com/h-1b-visa-row-foreign-workers-make-...
> There is a whole range of methods going from type and effect systems, model checking, data and control flow analysis all the way to abstract interpretation and theorem proving.

I've seen some informal claims that many of these methods/approaches can be rephrased as special cases of abstract interpretation. This suggests that people who just focus on the multitude of "methods" out there might be missing something important about the "big picture" in the field.
I'm not an American but I've been doing US taxes for 10+ years. There's never been any guessing involved. What were you trying to guess?

I've underpaid precisely once, when I didn't know about qurterly reporting, and the so-called "penalty" was nothing unfair -- just the interest the money earned in my account instead of the IRS's.
> The last 60 years have proven exactly the opposite. Almost every Western country that flirted with socialism in the 1960s and 1970s has move back towards free markets and deregulation.

All of them that moved away from capitalism toward socialism, creating the modern mixed economy, in the early 20th Century (i.e., every single country in the West) is still there, and most of them have moved farther from capitalism than they had by the opening of WWII.

Sure, some of them that moved farther along that path than the average in the group have taken a couple of steps back, and in none of the countries has the change been unidirectional, there's always been a certain degree of back and forth policy, but the long-term trend isn't back toward capitalism.