skysight-inc/HackerNews huggingface dataset:
We propose Differentiable Satisfiability and Differentiable Answer Set Programming (Differentiable SAT/ASP) for multi-model optimization. Models (answer sets or satisfying truth assignments) are sampled using a novel SAT/ASP solving approach which uses a gradient descent-based branching mechanism.

https://arxiv.org/abs/1812.11948
Watching the state of American politics is so dismal.

You mean to tell me all these loyal people working for this guy were breaking the law but the boss man who demands loyalty from everyone above all else is innocent? He calls everyone who questions him as being stupid or corrupt.
Unbelievable that this is even getting upvotes. Anyone with a basic understanding of relational databases could see that nested o(n) ilike filter was the problem. I kept reading in the hopes that maybe something actually interesting was going on, besides ineptitude. Disappointing.

When you have a huge list like that in a filter, the answer is to treat it like a table and perform a join. Then the query planner can optimize the ordering of the loops. But this is just mind-boggling ignorance dressed up as a "debugging horror story".
Web Templates support slots and are analyzed at definition time. All this is native code supported by the browser so big heavy JS doesn't need go be sent across the network and then run even more slowly in order to produce HTML. All web-template based libraries beat React/Angular/any VDOM based alternative in performance and footprint.
"A month to a year, depending on the industry and company, would be a lot harder. With a big company with long product cycles a month might largely be a vacation/autopilot too, but at a startup or in a critical time for a company, even a month could be life or death."

You're right - you would need some extended period of time, especially at a larger company.
The seller is not the customer.
I know someone who minimally rehabs old shacks on the cheap and flips them to eek out a living.

One of his favorite materials for cheap roof underlayment moisture barriers is disused vinyl billboards.

I wonder if any of them will survive long enough to be a similarly interesting artefact when next replaced. They often get corrugated metal over them, in a dry desert environment I can imagine metal roofing lasting well past 50 years.
It needs to be more broadly look at than simply election results. We have had notoriously disingenuous governments which have mislead the broader voting population into believing flat-out lies when it comes to the environment, the economy, and the state of society in general. The fact that people voted in a certain direction is only evidence of a successful yet highly questionable marketing exercise.
> However it was also McDonald's fault.

At the risk of repeating myself: when Stella was injured, McDonalds' corporate policy required coffee to be held at 180-190 deg F [1]. This is pretty well in line with the range recommended by professional coffee associations like the NCA, who currently recommend that coffee be held and served at around 180-185 deg F (~80-85 deg C) [2].

This temperature range was, and still is, used by nearly every coffee shop, restaurant, and domestic coffee machine. Starbucks regularly serves even hotter coffee. My Mr. Coffee machine holds coffee at around 185 deg F. So does your's. Look it up. And like I said, any good tea shop will serve you a pot of much hotter, nearly boiling water. Well over 200 deg F.

So if you really think McDonalds was negligent in serving coffee in compliance with recognized industry standards, then you must think every other coffee shop, tea shop, restaurant, and home coffee machine maker is also potentially guilty of negligence. Is that what you think?

Thankfully, the verdict against McDonalds in Stella's case was a pretty isolated result, and personally injury lawyers have moved on to suing over defective lids, rather than excessive temperatures [3]. Notice that in the linked case, Starbucks served 190 deg coffee, hotter than what Stella was injured by, yet they were not sued for the temperature, but rather a lid that came off too easily.

> Why would you argue that it is a binary choice between personal responsibility, or complete abrogation of responsibility?

That's the choice forced on us by frivolous lawsuits like this. Thankfully, that false choice has been thoroughly ignored, and we can still get appropriately hot coffee from establishments and our own coffee machines.

1 - http://web.archive.org/web/20031223003746/http://www.reedmor...

2 - https://www.ncausa.org/About-Coffee/How-to-Brew-Coffee

3 - https://www.eater.com/2017/5/19/15662790/starbucks-hot-coffe...
And thus we see how the wealthy are able to control our society.

A rich man performs an act of generosity to wipe out the student debt of an entire college class, and you complain. What do you complain about?

Do you complain about how students are being burdened with massive debts before they even begin their careers?

Do you complain that university education is becoming ever more necessary while simultaneously becoming ever more unaffordable?

Do you complain that a skilled chemical engineer gave up his career and turned to moving little green pieces of paper around to make his fortune, because society rewards certain types of paper pushing orders of magnitude more than it rewards inventiveness, skill, and hard work?

Do you complain that the billionaire who made this gift pays a lower tax rate on his income than these students will pay on their part of the gift?

Do you complain that, while a few hundred graduates got an incredible gift, a million other students around the country will graduate this spring with a huge amount of debt and no billionaire to pay it off for them?

No, you complain about the fact that some of these students won't benefit from this gift because they were fortunate enough not to have any debt to pay off. Never mind the systematic problems that led to this situation, never mind that a few hundred people got an incredible gift and the only person who lost anything was a billionaire giving up a negligible fraction of his wealth. The important thing is that some of the peasants are getting more than the others, and they must be destroyed!
Because they are chicken goop cooked in a microwave.
I think you're going to need a bigger budget to establish your new proposed standard through consulting fees. Do you remember what happened to GCC's CHILL frontend?
i believe that the last 2 points are what is required by the chinese gov't (iirc). But if you're operation is small, i m not sure if there's enough checks and you can slip thru!

And you could make a deal with the overseas buyer to give you half the money on one account, and the other half under the table/off the books. Then repatriation becomes just another cost of doing business.
The CEO of Aurora (who previously led self-driving cars at Google) agrees with you...

https://www.theverge.com/2019/4/23/18512618/how-long-will-it...
I don’t think it is PresenceLearning as they still have a founder who is described as the Co-CEO [0].

0. https://www.crunchbase.com/person/clay-whitehead#section-ove...
Four years at UC is about $55k.
The system seemed relatively alright when I used them before Uber was a thing. Using an app is easier than calling a taxi company though - although the main difference is just that Uber and co are much much cheaper than the taxis used to be. (I can only assume taxi companies must have lowered their prices to compete by now, but I'm not sure).
What percentage of people legitimately make financial decisions on the assumption a rich benefactor is going to cover them in the future?

This is the benefit of being in the right place at the right time. I'm sure people would be salty to not this windfall, but who knows maybe they will be lucky somewhere else.
So glad to see this stated publicly, and actually getting some positive responses. 25+ years of software development and the best "pattern" I can identify after dozens of projects is just one: simplicity.

If you can't follow the logic by just reading the code, then maintenance will be slow and cumbersome. New development will eventually taper off as more and more time is spent fixing issues. I've written production systems, still in operation today decades later, that hold true to the simplicity principle. I wouldn't do it any other way. But, the battle I frequently face is with upstart devs who want to use some new pattern or principle because they read that it was "better" than straight-up code. And yes, they can implement some new feature quick, but 2 years down the road all hell breaks loose.

Some of my pet-peeve anti-patterns:

* "Plugin" systems only used by the primary development team. There's power in being able to follow the logic for any call stack by just reading the code; plugins make the flow much more challenging, and provide little value.

* Large (and complicated) run-time configuration IOC systems which make any debug session a dreadful process.

* Rules Engines. 'nuff said.

* Piles of abstractions, one atop the other, because teams had no time to find commonalities and/or sensible use-cases.

* 25+ new source code files to respond to a /heartbeat endpoint.

* Fixing a problem in 3 lines of code is not fixing anything if it complicates the debug process, forces a re-write of the unit test drivers, enables mysterious build failures or taxes the DevOps team.

And some of my favorite simplifying patterns:

* AOP for logging; but NOT (dear god) for business logic.

* 3 levels of abstraction, and no more. If you can't figure out a way to do it in 3 levels of abstraction, then something else is wrong.

* 3 systems of state: config (global), current request and persistence (database). If you need more than that, then something is wrong with the architecture. (Ok, compilers may not be able to get away with this, but most applications can, in my experience.)

* If you use a pattern (MVC, for example) apply it to the whole system. E.g. doing IOC only in the upstream API system when the rest of the code doesn't, just makes a mess.
I assume 'Interim CEO' is also acceptable
I work 9 to 6 on one of the most prestigious companies of the country, write high-quality C++ and Java for a complex domain almost on daily basis, and only make $15,000 a year.

You people live in a great country.
Although this is in Scientific American, it's an informal article about an informal pop-culture topic. However, I'd still prefer it to make its claim, and make its case.

Here, that means first defining "sociological/institutional storytelling" and "personal storytelling", then arguing that GoT is the former and not the latter, by reference to the source material (i.e. examples).

I can only infer these definitions: "sociological" means reacting to circumstance; "personal" means agency.

If we take the first season, the climax shows the two main actors acting with agency - against sociological forces: Ned chooses honour, against all circumstance, advice, sense and customs of the world. Joffrey chooses execution, again against all circumstance (protocol, advice, expectation of others - even self-interest).

The article mentions another aspect, of characters being killed off, and that this shows the story is sociological rather than personal. But not all characters have been killed off, notatable, the Stark children have only been top-and-tailed (Robb and Rickon), leaving Jon, Sansa, Arya and Bran. They were present at the very beginning; they are present at the end. The story is about them.

The standard argument is that character deaths make us fear for the main characters, instead of assuming plot armour. Minor and major characters routinely die. Even within the family, Ned, Cat, Robb and Rickon die. Further, Bran and Jon also appear to die, though live on. But most of the children, the core, remain.

The claim of sociological storytelling would have more support if all major characters died, and were replaced with other characters, who behaved in similar ways under similar forces. Then the story would be about those forces.

Therefore the story is personal, not sociological. Of course, the world is deep and interconnected, and makes sense. In this sense, the novels are "sociological". But the story itself is not.

It is not a story about circumstance and institution forces, but a story about personal agency.
I don't totally understand the idea of forgiving student debt. Isn't it fairly healthy to take out a loan to invest in yourself and then pay it back?
I'm European with a huawei phone and I don't trust either side a lot, but it's the US gov. who spied on my country's officials from their own embassy a few years ago and it always seems to be the American gov. that somehow ends up bullying someone around.

I don't pretend that the Chinese have any better intentions but they're long term greedy enough to not accidentally brick my phone because Google can't ship updates to it any more.

If I actually lose functionality on my phone because the US government pressures Google into doing things that affects European consumers I'll be pretty pissed.
This appears to be accurate.

http://admission.universityofcalifornia.edu/paying-for-uc/tu...

The Cal State system is basically the same:

https://financialaid.calpoly.edu/coa1819.html

Note, college loans don't only cover tuition (which is not the sole cost of college). They are also needed for room and board. The above links explicitly call that out.
Winter driving in cold regions is hard. Knowing where the middle of the road is and the car's position relative to it is only the very start of the problem.

In regions that have roads not cleared of snow for multiple days the lane positions change. The evolution of the position of the lanes is not strongly defined by where the previous lines were. The obvious spot to drive for a human would contradict the magnetic, ground penetrating radar database, or whatever marker is used.

Markers of any type would be useful for awareness of car self position but not sufficient for what the lane has become. Even as a human you have to guess sometimes because it's not possible to sense it. You just have to know what humans would do. Machines aren't great at heuteristics and guessing what humans might do.
That's great! We will finally be able to buy google-free android devices from a major vendor!
> Another issue is that file handles belong to the process, so if you have a file open for writing in one interpreter, the sub interpreter won’t be able to access the file (without further changes to CPython).

Wouldn't just using CLONE_FILES when forking off interpreters solve this problem?
I expect the other Asian powers and Europe to be sitting up and paying keen attention to these events. Too many of the world's vital technologies are beholden to the US government's interests, interests that may swing one way or the other every few years depending on what the presiding ideology is. In a space as important and all-pervading as internet-enabled smartphones, both parties of the global duopoly of Apple-Android are headquartered in the US, with China playing the crucial role of hosting the world's factories.

I hope this triggers a move towards more decentralization of smartphone infrastructure (and the internet in general), hardware to software.
I love Scheme and Racket. Personally, I prefer Scheme over Clojure and Common Lisp. It supports multiple paradigms well but not too bloated as Common Lisp, having a really good optional gradual type system, really easy to use reader macro system, etc.

I always wanted to use Racket in a bigger project to have a deeper understanding of macro/language creating. I always believe to achieve real 'domain driven design' is to create a layer of real business language which could interpret to a software system.

However, every time I want to do this I found Clojure is actually a much better choice. I guess to be fully practical is not #1 priority for Racket right now. But I really hope Racket can improve some of the following:

1. Encourage efficient data structures by default. I know lists are the soul of lisp but it's not good to use lists for everything. Clojure by default let you use highly optimized persistent data structures -- namely vectors and hash maps. These two data structures are highly practical, performant in most of the cases.

On the other hand, lists are more like write-heavy data structure, with really bad reading performance. This is like, a plain file system writes faster than databases, but most of the websites use a database because most of the business has much more reads than writes.

2. ClojureScript. JavaScript is a big thing until WASM fully arrives. Clojure has several really solid ClojureScript workflow, which makes me feel ClojureScript is really a first-class citizen.

3. IDE and debugging. I use Emacs + Geiser for editing, but Drracket for debugging. Drracket is really good, but still not great for editing hundreds of files. For Clojure, Cider and Cursive are IDEs makes me feel solid and complete.

4. Frameworks. I guess if the other 3 points are really good there would be many good frameworks come out every day.
who doesn't have food clothing and shelter in the US?
It means you never have to worry about message passing or locks, because they aren't a thing at all. On the other hand, what looks like concurrent code often isn't, and is actually run slower than single process code, also because of the GIL.
Nah, it's absolutely cultural, not about the money paid. Large accounts may make them more responsive quantitatively, but the qualitative lack of care is still there. Google is the opposite of Amazon, cares about its engineers, does not care about its customers. They operate on the model of letting a well engineered product (as determined by Google engineers alone) capture users, and this you can see through and through in the difference between GCP and AWS.

It has worked so far, but as soon as the day their technical quality starts to flag, they are probably as good as dead.
When I was a young kid I came across a mini golf game for the computer (can't remember which platform, could have been Atari 130XE, IBM PC XT, or Apple iigs) that represented sloped surfaces as vector fields. So I knew if there were arrows pointing left, my golf ball going right would slow down and roll back to the left.

That kind of early exposure made it much easier to understand vector fields later on.
I believe you missed my primary point.
The outrageously great prices comment got me thinking about all the IP theft allegations [0]. I wonder if the relatively lower prices are a reflection of the reduced R&D overhead compared to other companies that would otherwise need to recover that initial investment.

[0]:https://www.androidauthority.com/huawei-theft-bonus-program-...
The tuition for UCLA is 13k/year for in state residents.
And here I am debugging TCP stacks, reverse engineering custom network protocols, writing ISRs in assembly, and doing fullstack, embedded, and native development while making that same amount.

I feel underpaid. :(
Thoughts on Dexter?
Perhaps things changed in the 20 years since I graduated, but based on the college aid packages offered to me, it was less expensive for me to go to MIT than it was to go to UMass Amherst.
The consistent requirement has been that Python will drop the GIL for anything that doesn't make single-threaded performance suffer. There has been substantial work to this end but no solution to date has achieved this goal.
You could just audit the hell out of people who consistently lose money (e.g. expenditures without any declared income).

If someone's doing that for multiple years, they deserve a microscope.
Are you willing to say what country and what company you work for?
One of the things the article names is the challenges caused by snow, ice, etc. I realize I'm in the minority, but I actually think there's lots of conditions that we shouldn't be driving in -- conditions where the obscured lines of sight, slipperiness of the road, etc, actually mean that we should either be off the road entirely, or traveling at speeds far far below normal. I know this happens, but I honestly believe that it should be far more common -- so common that it would likely take a chunk out of the economy.

For instance you're driving on the freeway and it starts to rain -- can you really reduce your speed, and/or leave an extra "car length" between the car in front of you, so that you'll still have time to stop if needed? In my experience, no one else wants to slow down, so it's safer for me to keep up with the slowest traffic than to go what I would now deem a safe speed.
What happened to UWB as an alternative for Wireless PAN?

I remember it being proposed as an alternative. Is it any easier to use/secure? The high frequencies should work fine for short ranges, no?
Frustrated?

In this situation, YOU got a free education regardless.

I paid every freaking dime for my education out of pocket by sacrificing my nights and weekends during college. For plenty of people, college was a time where they made a ton of life-long friends. For me? College was a time where I spent half my time on campus passed out in the student union or library trying to get a bit of a nap between classes so that I could work an 8-6 schedule at night.
As another poster said. They are only needed if you don’t work while in college or at least go to a two year college that lets you stay at home and then transfer.
It was always clear to me that to accelerate the arrival of autonomous driving providing more consistent and controlled roadways would be key. That is why freeway driving will come well before any autonomous city street driving.Even the freeway is not consistent enough, but could more easily be adapted to some standard much more easily than, say, the roads in NYC.
Defn: Smear: a usually unsubstantiated charge or accusation against a person or organization — often used attributively.

Edit: My comment above, the definition of a smear, was posted in reference to a NYT article regarding Deutsche bank staff who supposedly saw "suspicious activity" in Trump/Kushner accounts. After I posted I quickly got a few up-votes then within minutes the post was flagged. What is weird is that many minutes later after the post was pulled I got multiple downvotes for an article that is not even visible. I thought people should know that HN is being gamed.
Anything to substantiate that? Or do you mean "not betting" in the sense that you have no insight into either side being an obvious winner?
You can just look at the average returns of the non-peons to see that they're unlikely to be using insider trading.

When I was at university, a meaningful percentage of my Chinese classmates' parents had paid for their expensive overseas tuition by making 'informed' investments in the stock market, and thought nothing of it. Bribery and insider trading (stock tips are effectively one form of bribery) are absolutely the standard in China.
Demosplash hosted by CMU is fairly active.
It should be.

The things that fucks this whole calculation up is that student loans in the U.S. can't be gotten out of via personal bankruptcy, so, in reality, a lot of dumb young people rack up way more student loan debt than they really should. And the people lending them that money have no incentive to think about the student's ability to pay the loan back, due to the bankruptcy exemption. Oh, right, and the loans are often guaranteed by the government, so there's yet another thing which screws up the incentives.
It is a printed poster though - a lithograph. Most likely stone considering the age but I'm sure an expert would correct me.