ocschwar

38 ms·

481.
by ocschwar 8y ago
INRIA, where Coq development takes place.
482.
by ocschwar 8y ago
I don;t know about AI, but when it comes to using formal methods to nail down software development and make it reliable, the EU is already outpacing the US.
483.
by ocschwar 8y ago
You can check data from ERCOT, SPP or MISO, and see for yourself that at least as yet, wind power in the US is not overwhelming local distribution and transmission capacity.In a lot of the Midwest, just automating the operation of water tow
484.
by ocschwar 8y ago
> I wouldn't call wind turbines exactly clean energy, between the need to have thermic power plant on stand-by to pick up the slack Depending on the source of thermal power, the amount consumed on standby can go to 0. If you have a
485.
by ocschwar 9y ago
Gruen did not intend to throw together anything.
486.
by ocschwar 9y ago
Gruen wanted Southdale to be the nucleus around which to build a European style Aldstadt (town center). The parking around Southdale was where he was intending to design apartment houses. That's why Southdale has a feel to it that subs
487.
by ocschwar 9y ago
Casinos work hard to impose the same effect. If you've watched the show The Americans, you probably recall the scene of Nina's execution, and that was based on real life practice: walk the condemned through a twisty corridor with
488.
by ocschwar 9y ago
If your field is narrow, and the participants are collegial, then the peer reviewed journals are mostly there to formalize the banter your colleagues put out on mailing lists. Easy to do for cheap. Other fields, not so much.
489.
by ocschwar 9y ago
Part of the cost is that the editors have to read through everything to filter what goes to the peer reviewers. If you keep sending junk to the reviewers, they drop out of reviewing.
490.
by ocschwar 9y ago
> Journals are very much a profit center for the publishers. For Elsevier, Springer, WIley, yes. For IEEE? For ACS? For AIP? Not so much. > nd it is not all the clear that these profits are commensurate with journal quality THey'
491.
by ocschwar 9y ago
> I'm actually surprised this whole suit is being pursued by a professional society. Closed publications seem to be out of line with the interest of their members. Not exactly. I fully recognize that Elsevier and Springer Verlag ha
492.
by ocschwar 9y ago
That's built in to the medium in question, rather than a tacked on addon.
493.
by ocschwar 9y ago
I think it's more complicated than that. Github isn't toxic. Dreamwidth isn't toxic. The orientation towards microblogging has a lot to do with the toxicity.
494.
by ocschwar 9y ago
Complicated in a good way, because so many Tunisians committed to building a country for all Tunisians. For Lybian Jews, it's not complicated at all.
495.
by ocschwar 9y ago
> The vast majority of hours spent has nothing to do with any editorial functions. Unfortunately, I have to admit that most of the money I pay for scholarly papers goes to Springer/Elsevier shareholders and not the editors who barel
496.
by ocschwar 9y ago
For the same reason that any journal with a full time editor and not a lot of subscribers costs a lot of money per issue or per subscription: The editor has to put in the hours to reject the crap that people submit, and those hours don&#x27
497.
by ocschwar 9y ago
The comments on the article are a fucking cancer. THere are so many people out there who have nothing better to do with their time than to actively call for making life worse for people worse off than themselves.
498.
by ocschwar 9y ago
> Under what conditions would any of these events actually occur? Someone with friends in high places decides he doesn't like your ugly face. So long as that doesn't happen, the government will ignore the omissions you made in
499.
by ocschwar 9y ago
" Obviously more information is needed, but I thought the entire point of having a driver behind the wheel is to manually intervene to prevent this very situation?" I think it's time to point out the obvious, and require tha
500.
by ocschwar 9y ago
NYC? Rush Limbaugh lives there.
501.
by ocschwar 9y ago
If you don't have a driver's license, and you're still living how you want to live, then you can't be threatened by the prospect of losing that driver's license. A lot of people in this country literally cannot fetc
502.
by ocschwar 9y ago
I swear the Empire will die long before imperial units do!
503.
by ocschwar 9y ago
Go home. Take out your wallet. Take out the driver's license, and put it on your dinner table. Put your wallet back in your pocket. Now, step outside your home and go buy a gallon of milk. That's my criterion.
504.
by ocschwar 9y ago
" I am actually skeptical of any plan that calls for us to smash more people closer together." No such plan exists. People smash themselves closer together when it makes sense for how they want to live. There are plans to allow it
505.
by ocschwar 9y ago
Speaking of declining usage, ASCII art is on the same trajectory.
506.
by ocschwar 9y ago
Jersey Dutch died out completely in the US, without any suppression by the government. Cajun French is on its last legs despite government support. And it was purely the result of broadcast radio.
507.
by ocschwar 9y ago
I used to think that. Then an Englishman asked for my John Hancock.
508.
by ocschwar 9y ago
Plus 5000 or so scholars around the world specializing in the Norse sagas.
509.
by ocschwar 9y ago
Hebrew, like Icelandic, is subject to a conscious effort to maintain its character as it modernises. Icelanders want their new vocabulary to stay Norse, as opposed to the far less picky tendencies of everyone else who uses Germanic language
510.
by ocschwar 9y ago
WHo exactly is being forced into a tower? I have a detached house with a small yard, a short walk from a block lined with condo buildings and one rental building. Nobody's being forced into my neighborhood. The working class homeowners

More ›