skysight-inc/HackerNews huggingface dataset:
> start times is something the district had wanted to do for a long time

So, was the real motivation here one of efficiency and cost-savings then?

That is a clear thorn they might have wanted to solve.

Is the added sleep beneficial to students, all other things equal? I'm sure it is, but was the real motivation a cost savings and the sleep deprivation a nice cover for the real motivation?
"Best" is a combination of...
- minimizing cost to the district (number of buses, etc)

- high school starting later in the morning (adolescents need more sleep)

- ensuring adequate child-care options are available for little kids. Early start means more PM care, late start means both AM and PM care, etc.

Then you get compounding factors...
- high school athletics. Parents don't want high school to start too late, because then there is no daylight for football practice (yes, this is an actual argument I've heard... parents would prefer their kids play sports than maximize the kids education).
- race and income issues - either correcting existing disparities or avoiding creating them.
It does need to know it's starting configuration though ! So it starts from a solved cube and needs to record the steps to compute the starting unsolved configuration.
I don't really understand the point of your message, it feels like forced cynicism around the cultural reception of the term.

Perhaps you're saying that the phrase is akin to "big data" or "AI" in that it doesn't really say much. The idea that this concept can be misapplied doesn't serve well to steelman its useful core concept and philosophy which is timeless. My favorite example are electrical plugs [1]. Whatever beef you have with Toyota, Japanese, or buzzwords just seems inappropriate here and lowers the quality of discussion.

[1] https://image.slidesharecdn.com/pokayoke-150112043214-conver...
A Universal Lemma for Security Compliance
Why not have the clinic store a copy and the patient gets a carbon copy?

If something gets questioned, there is another copy somewhere.
like a bop-it!
Medical researchers generally aren't harassing people about lifestyle issues. The concerns over lifestyle come more from practicing physicians, politicians, bureaucrats, employers, and economists. As a population we are increasingly killing ourselves with overeating, substance abuse, and lack of physical activity. Unless we can get a better handle on lifestyle issues then the healthcare system is going to collapse and there won't be much that medical researchers can do about it.
Uber drivers and other gig economy workers earnings fell 50% over past 5 years
The software to see if it's in a valid state is trivial. But like the other commenter said, it's probably just calibrated to a "start" position.
I think this fits squarely into the “rapid prototyping” scenario. Perhaps if you had to design your software to very tight constraints you might find static typing to be a productivity boost.
The National Park service comes to mind. Area's too big and disconnected for cameras + power + network (although you could sat-link the cameras, it'd be expensive).
> The EE world is notoriously closed/proprietary making it incredibly difficult to explore novelty or customize tooling to suit specific needs.

The EE world could use novelty tooling to increase the efficiency by which you create RTL. But that can easily be done today if you consider Verilog to be an intermediate representation.

So I think you're talking about the tooling on the steps to go from RTL to bitstream? What kind of novel tooling do you have in mind?

In Quartus and ISE, once you've set up the pin assignments, going from RTL to a bitstream is a matter of a single click.
That's cool. I'll keep that in mind if I need improvements or just feel like doing something more with it.

I don't think tinkering with the weights is quite the same thing. That happens when the algorithm is doing a good job of optimizing the scoring function, but the scoring function isn't doing a good job of representing what people want.

It does remind me of another thing I occasionally do when I don't quite get the results I want, which is to manually change one of the assignments and then have it climb the hill from there. Sometimes I'll just clear some assignments and re-run, which is pretty much a manual, ad-hoc version of what you describe.
I needed medical records from a hospital across town for a patient on my shift last night. Unit clerk called the hospital to request records. They then printed about 60 pages from their electronic record. Those pages were faxed to our department. Our unit clerk scanned the printed pages from our fax machine into our electronic record.

Some patient notes are a scan of a fax of a scan of a fax.
hmm. That is not what I would have expected. I would have thought it would update the value of the first map with the key "iMac", otherwise, add the key to the top level. The same would go for:

>>> del inv['IMac']

deleting the key in the first mapping it appears. My guess is it is designed to ensure that updating a key will not update accidentally update a default mapping? This behavior could easily be prevented though by:

>>> from types import MappingProxyType
>>> DEFAULTS = MappingProxyType(default_dict)
>>> ChainMap(overrides, DEFAULTS)
Haven't kept up with them but Google sold it to Softbank a while back ago. They might have resumed with the DoD contracts?
Nah, I think you were just too young. Sure there were outliers, but it was targeted at an older gaming crowd.
I've said to several of my friends that this would be the killer VR game for me. Just give me a giant world to explore!
First class at my high-school (Fairfax County, mid-90s) was 7:20am. Some still start that early, though the county has moved some to later starts. And some primary schools were moved into the early slot. There are only so many buses/drivers to transport kids.
RediSQL reach v0.7 adding copy commands for backup and reloading of databases
It seems highly likely there is extensive use of this tech by the milInd complex, we probably won't ever hear about the 'contracts' though...
There's a difference between having total surveillance and that surveillance being legal and generally approved of by the masses.
Comments like this are counter productive for the discussion. Competition is always good and some of us like that AWS has competition in the form of Azure and GCP. AWS has had its own share of outages so its not perfect either.
Announcing Automated ML Capability in Azure Machine Learning
Funny, I've heard AlphaGo referred to as the Sputnik moment for China.
The entire US podcast ad revenue in 2017 was $314 million. Stern is paid $80 million a year. Seems like the smarter choice.
That’s a story which I have seen a few variants of before this; I doubt this is really one of the professor’s students, it’s more likely an urban legend.
If encryption was allowed, all that would happen is that people would start to use HAM bands as a cheap way to wirelessly connect to the internet or to build private communication links. Totally negating their purpose.

If you are after this (why would otherwise the lack of encryption be a problem for you?) there are both better bands and cheap hw to serve such commercial traffic needs (and, in fact, regulations in many countries explicitly outlaw use of HAM bands for traffic that can be better carried by other services - including the FCC in the USA - so even if crypto was legal, it would still be illegal).

And re amateur radio "dying" - that you don't hear anyone apart from a few old geezers chit chatting on a local repeater doesn't mean it is dying. There is a lot more to HAM radio than this - e.g. stuff like amateur radio satellites, APRS, all that SDR stuff, building digital networks, experiments with radar or even good old HF contesting. Or people simply enjoy building stuff and having the ticket lets them do it legally (some countries don't allow you to own HAM radio equipment without license).

HAM radio is far from dying, just it may not be what you imagine as a HAM radio - a bearded guy in his 60s ragchewing on HF ...

(I am a HAM operator myself)
> don't pretend that we can't have written down norms of decency because of the potential for abuse

I don't pretend that we can't have written norms of decency. But I know for sure that it's not the norms written in "Contributor's Covenant". It should be another covenant.

> You presumably wouldn't accept blanket "potential for abuse/harm" arguments in other contexts either.

A couple of month ago I made a teardown[0] of 17 pages long bill that was pushed in Ukraine and had a lot of abuse potential. It was (and is) my main concern. I see it as a major issue of laws, rules, covenants and other legal or semi-legal documents. You may not see it as big issue, but I do. I see this potential abused every single day by corrupt governments of Ukraine and other ex-USSR governments. Vague rulings as in previously mentioned "Contributor's Covenant" are used to prosecute people for stupid reasons and for personal profit by ones who have power.

> Fight the abusers

It's very unlikely that witchhunt victim will return to community. I'd rather have rules better written than someone expelled from the community because someone likes to abuse the power.

[0]https://www.reddit.com/r/ukraina/comments/8te554/как_власть_...
... and then they started giving away Google Analytics so every hit on every website could be recorded (by them), and then built Chrome, so that every hit on every website could be recorded (again by them).

To think we were so naïve.
Most large healthcare provider organizations already provide patients with online access to their records. Patients can download or print those records, but the problem is that it's still tough to integrate records from multiple different provider organizations in a clinically useful way.

Health Information Exchanges (HIEs) solve the problem to some extent by importing data from multiple provider organizations and synthesizing a single longitudinal record for every patient. But not every provider is part of an HIE, and no HIE really covers the whole country.
You're right, I don't know how my Googlefoo failed me so badly, but I could have sworn I had results from 2010 for Windows 8.

PS: Seems it was because of this: https://answers.microsoft.com/en-us/windows/forum/all/start-...

which appears to be a similar problem on Windows 7.
Radio was cool but they repeated songs too much. The thumbs up and down would ruin the radio algorithm.

I would thumbs down live versions or comedy skits, then it would skew the entire system.

This was years ago.
This is what happens when you have freedom of movement over a log period of time. People are going to love where the opportunities are, especially if it’s made easy. I bet a similar graph for the US would show people moving to states like CA and NY.
Sure. There are niche use cases. But I still can't see a profitable business cse.
Fluid-Schema-Version HTTP Header
Or just not patient enough? Note that the kids from the article were guided by their parent in the game.

My experience is not very different from yours. I remember going back and forth on the first island and playing with the different puzzles. I was just minding my own business in the game and imagining my own story without taking any interest in the game scenario.
Reading about scheduling reminded of a conversation I heard about involving an ER doctor.

In that ER center, the scheduling of ER Doctors was done manually, by one of the ER doctors. Of course not the most senior doctor. But not the most junior doctor either, cause that doctor will be bullied into giving someone a preferred schedule. So the job was given to one of the junior doctors, like 3rd or 4th newest doctor out of about 15 ER doctors.

These are doctors with big egos and with family, and all have legitimate reasons not to work certain days/nights/shifts.

And this new, young ER doctor starting out his career confessed coming up with the weekly schedule to satisfy as many of the doctors as possible was the MOST stressful aspect of his job. And this is an ER doctor we are talking about. Granted he worked in a hospital in a suburb so not as many shootings/etc. I thought that was hilarious to hear.
Possible proof for Riemann hypothesis
No, although the A-lab have a lot of interesting projects. We are part of the Operations Research Center:

https://orc.mit.edu/
Years ago, I was around employee number ten in a database software startup. When the company was sold, my shares were worth about $2000.

(Yeah, that was my last startup.)
How the Chinese Government Is Eradicating a Species and a Way of Life
Did you play it around the years that it first released, or in later years?

I didn't play it until the Windows release, but even then, it was vastly different from many games available at that time. The graphics were very obviously ahead of most games. While many games do so now (and some over do it), Myst provided a very cinematic experience. Most of all though was the immersion. Many games had addicting gameplay, but few tried to captivate the player in the same way Myst did. It is of course a point of preference, but it did a lot to draw in the player. Not all of the clues were known to be clues at the time. You could discover something and not know what it did until later on. Then it became a point of realization. You weren't playing the role of a super soldier or simulating someone else. You as the player were the one discovering pieces of this world and helping it unfold.

This was extremely captivating. Even to those of a young age who didn't entirely get it. It just provided a different experience from most games at the time. An experience that has been emulated through different means like flash games, but hasn't been recreated in a meaningful way.
Here in Seattle we used to do the same as Boston, but a Supreme Court case where a white student claimed discrimination due to the process used to do school assignment ended it. Now we have neighborhood schools again. Although even with the neighborhood schools there is a lot of angst since often more affluent neighborhoods will push their way into a better performing school, even to the detriment of neighbors who are closer to said school.

Coincidentally, Seattle, two years ago, also implemented later HS start times and earlier elementary start times. Our elementary child went from a 9:30am to 7:50am start time. It sucks and there was some outcry, but like so much in Seattle -- there was mostly just a collective shrug.
"Are they a Business or a Research Lab?"

Is there something wrong with being a Research lab that has $100B backed in funding?
Should also be just in time for the New Madrid fault to start shaking up everything from Nashville to Chicago to the Great Lakes:

https://en.wikipedia.org/wiki/New_Madrid_Seismic_Zone

Geologists have also been predicting large earthquake issues in the New Madrid fault in the next ~20-
50 years.
I think we need reusable (formal) specifications for it to become adapted widely. If that could be done in a way similar to how we today use open source libraries of reusable code, findable via a package manager, it might fly.
Writing formal specs from scratch each and every time is too time consuming relative to the gain, except for in a few critical usecases.
FWIW, this is a classic genre of problem to tackle with integer programming - usually in the specific form of nurse rostering, for some reason:

https://pdfs.semanticscholar.org/9d0b/5eb5749a6699a4c43bf808...

It's entirely possible that your particular case has constraints you can't easily express as a linear program. But if you can, go ahead and use the nuclear option!
Same, but after enough time I figured out some cool stuff, never beat the game.

Very mysterious world, I found it very fascinating.

Now that we have youtube, Ive watched how to win.
I can't say I fully understand what you're saying (you use some uncommon terminology without defining it), but expressing algorithms mathematically does not impose any style or order on the exploration of the problem. It just gives you a language that is far more flexible for talking about both your problem and your solution at any level of detail that you choose than any programming language.

TLA+ certainly allows you to describe a system as a set of scenarios/properties (what I assume you would call tests), and also of asserting that a design satisfies them.

There was a system I worked on that was so complex that I was only able to design it using TLA+; engineers at Amazon, Microsoft, Oracle and Intel report similar experiences.
This is an old as time debate of "Security vs Convenience".

It's a lot easier to maintain web servers if they are only using the http protocol and not https. Does that mean I should not enable https? Same thing with letting Google start to categorize and selling your profile to organizations. It might be nice now, but in 5-10 years what will the landscape look like?

It's ultimately your choice to determine how much of your information you are willing to give up for the sake of convenience but you should think a little more about what the future could look like and start putting in some safeguards to protect yourself in the future.
The Node.js ecosystem is chaotic and insecure
Sirius and Onstar are two of the worst things about my car purchase. I wonder the degree to which these partnerships hurt these car brands for short term profit.

Things I want in an OEM receiver: 1) Carplay/Android Auto, 2) Software updates for 1, 3) Radio, 4) To never do anything else (call me, install bloatware apps, reorder menus, etc).
If you want that, there are plenty of ISM bands and loads of cheap equipment you can use to build such "decentralized, no-carrier/ISP, disaster-tolerant medium for private communication" (aka internet ...)

HAM radio bands are meant for R&D work, learning and basically hobby stuff, not to replace internet or phone services - in fact, the regulations explicitly forbid such use.
Apparently Myst was released for the 3DS in 2012. Not sure about any sequels.
They probably have per user pricing with some of the content sources so there would be some cost.

There is also the cost of having a call center contact deal with the renewal every 6 months. 20 min on the phone costs at least a couple bucks.
I vividly recall playing Myst, headphones on, snow falling outside, in a time before cellphones and (for our family) high speed internet. Cliche as it is, I felt transported. At times I felt spooked. I also remember getting a hold of every magazine I could that went into the making of Myst, transfixed by the creators’ sketches and drawings. Few cultural artifacts — not limited to games — have had as lasting an impact as those days playing Myst in my bedroom in the mid 90s.
Microsoft Azure: A 10-point IT maintenance plan
I'd advise people to start with a Cypress PSoC MCU, they have the taste of FPGA, but have a lot of useful stuff for various projects, and I bought 10 MCUs for $10.
Thanks! Did take a look at mpipe (its actually referenced in the readme). But mpipe has its flaws:

1. It uses None as the stage terminator, this is VERY error prone, what if you actually want to send None? Pypeline uses a special private terminator.

2. You have to first manually put all the data into the pipe in a for-loop and then manually get it out. In Pypeline all this is simplified: it consumes iterables and all stages are iterables, so its 100% compatible with any function/framework that accepts iterables.
This is pretty cool. Lays the guts even more bare than Perl OO.
That design would have made ordered dict incompatible with dict (an ordered dict couldn't be constructed with an ordered key, same for an unordered dict), and at the time, keyword args were unordered, so an ordered dict had to be constructed with an iterable of tuples instead of key value pairs.
that that's what we do, then upload to codecommit and then do a codebuild which pushes a zip to S3. Theoretically can have it all triggered to do most the work for you.
> but enough legitimate issues come up daily to fill the news cycle

agreed, but it becomes a bit of "boy who cried wolf!" If everything is 'over the top' and 'worst ever', etc, then nothing is.

there's legitimately enough to be covering about policy and real political issues at stake - the 'fist bump' coverage and 'outrage' from anyone was worse than trivial - it gives cover and legitimacy to the folks who are on the fence about 'fake news' charges.
Petastorm: Uber ATG’s Data Access Library for Deep Learning
AX.25 has no FEC but there is FX.25 which is an encapsulation of the AX.25 packet with a preamble at the front and reed soloman at the end. But the issue is the speed of AX.25, 1200baud is dreadfully slow to be adding much onto the packet. The FX.25 protocol is a neat idea that allows for old TNC hardware to still be on the air. However, TNCs can be built with the cheapest of the raspberry pi clones so there really is no good reason as to why things can't progress to something like FX.25. There are certainly limitation to using 1200 baud AFSK but moving outside of the audio band, you could get some higher data rate but maybe loose some dB.
And how would you distinguish licensed users from unlicensed ones if the messages are encrypted?

Heck, the authorities have problems policing the bands even without having to deal with crypto.
Linux users.

Put:

{
"SyncDisabled": true,
"RestrictSigninToPattern": ".*@example.com"
}

in a file called disable_sync.json (for example)

and place in the following location:

Chrome: /etc/opt/chrome/policies/managed/disable_sync.json

Chromium: /etc/chromium-browser/policies/managed/disable_sync.json
>This was basically all done over UAW's dead body. It's not like process engineers working at the big three in the 80s didn't want to do those things. They were aware of what industry best practices were as any competent professionals would be. They just couldn't get those best practices implemented until the Japanese manufacturers created an existential threat to the status quo.

Have you come across this podcast / radio programme episode?
https://www.thisamericanlife.org/403/nummi

It's about a joint venture between Toyota and GM in the 1980s. It discusses the culture shock the US workers experienced and the labour relations at the plant. The people interviewed give their own views on why GM didn't / couldn't adopt the lessons learnt in their own plants.

tl;dl The previous GM plant on the site had had terrible problems with the workers there. The new venture hired the same people (starting with the shop stewards) and brought in a totally different way of doing things which totally changed the culture. GM struggled to adopt the Toyota way of doing things in it's own plants because the entire manufacturing chain and culture across the industry had to change to make it possible. I really recommend listening to the whole thing.

After NUMMI closed the Fremont site was taken over by another US manufacturer that sought to improve on existing methods with a greater degree of automation.
In the mean time it only adds additional ammo to the Cities versus States "Civil Cold War" going on right now. Cities like Miami absolutely know and are tracking climate change, because they have to, and the complaints of City Mayors to State Legislatures with Blinders On show how painfully divorced most US States currently are from their tax bases, having willfully gerrymandered themselves to give a disproportionate vote to rural concerns over urban concerns.
And then find a way to run that and so turn it into a programming language?
"Except in this case nobody is holding a gun to anyone's head."

No, I flat out reject that notion. The fact that one must have a job to survive in this world removes the ability to chose "not having a job". The illusion of choice does not mean that all employment agreements are purely consensual, and as such there need to be many safeguards in place to prevent exploitation.