skysight-inc/HackerNews huggingface dataset:
First, generalized static invariants that are either correct all the time or computable all the time are, impossible, of course. Even of the simple form you are trying.
Second, Ada 2012 has static type invariants (enforced at compile time) and dynamic type invariants (enforced at runtime)

You should be able to do, at the very least, what you are doing, in a much simpler way.

Plus, it has procedure level pre and post conditions that are checked

In any case, the tools ADA has allows it to go further than what you want, actually.
https://en.wikipedia.org/wiki/SPARK_(programming_language)

There is a formally verifiable language that is just a subset of ada (IE compilable as normal ada) but can formally verify what you want here even if static predicates can't.

(Now all of the above said, i'm not sure i'd go this route, but yeah)
She also just published a novel, The Idiot, and is promoting it

I loved The Possessed, her essay collection, but that love does not extend to The Idiot: https://jakeseliger.com/2017/03/23/briefly-noted-the-idiot-e...
STRANDEAD

Strandead is a trick-taking card game in which players must survive the longest by discarding cards that their opponents can't match or raise.

The players must choose their plays carefully, in order to survive the next attack and sabotage other players in turn. An ever-growing number of zombies continue to make the attacks more vicious as the game progresses, leading to a fast paced, hectic and unique experience.
Sure... but when you choose Electron, you're starting off with a 200MB footprint before you've even done anything. And there's so many gotchas, where doing something seemingly innocent causes poor performance (e.g. what the VS Code guys did was totally reasonable, but the underlying Chromium engine did something stupid)

I get that there's a lot of things that Electron makes really nice for doing app development, but there's a tradeoff there: how good is it going to be for development vs. how well is it going to perform? And in a lot of cases, it'll perform just fine. Not nearly as good as the same approach would in an actual native framework, but good enough and with a lot less work.

Re: the 60fps thing, that's exactly what happened in the VS Code example, except it was triggered by CSS. They weren't trying to redraw the window at 60fps, but they were because of a simple chunk of CSS that should have only caused the cursor to change every second.

Anyway, I'm totally speaking from my own experience here, and I agree that it's possible to make software that runs like shit in any language, but every Electron app that I use does run like shit. And these aren't little one-off things, these are apps built by established companies. Toggl is a frickin' timer. How is it possible to make a timer app that is slow to show a pop-up?!

The other question is: if they all have shitty performance, why do I use them? And the answer is: because they're useful. I tolerate them because despite the frustration every day, I still find utility there (and I'm working on a desktop where battery life isn't a concern).

If you've got a good example of an Electron app that doesn't perform poorly compared to an equivalently-designed native app, I'd love to see it! And it'd be awesome if the author of that app could start sharing their techniques, so that all of these well-established companies using Electron could stop making their apps suck at being responsive.
It can do both.
It was open source before we started using it, but we're friends with the creators, so I can pass on the compliment.
> What exactly would be the advantage of Calexit?

Plenty, for Russia.
http://www.politico.com/magazine/story/2017/01/why-russia-lo...

> The chance of a civil war would grow significantly as other states consider following California.

Not really, because California attempting to secede would guarantee civil war, both within California (which, has a very large and disproportionately well armed minority that would rather be governed by the current federal majority than the current state majority) and between California and the Feds (the latter spurred by the former if it didn't happen for other reasons), and chances can't increase beyond 100%.
Personally, I have never met an adult[1] in my life who can start a sentence with "Wow" and come off as convincing. "Wow" just sets off my bull shit detector (rightly or not).

Albeit that doesn't prove you are wrong. It could also mean I haven't ever met a "good conversationalist" who has used that word with me.

Seeing as I have read "How to Win Friend's An Influence People" (twice) and 90% of the people I know do the exact opposite of what the book suggests, it could indeed be I have never met those people.

It's not that there aren't things they can say that would be convincing, just the specific quote the OP used -- "Wow. That sounds hard” -- would not only be not effective on me, it would be detrimental.

[1] I have to specify adult because I have met children who use it convincingly.
It's not so much morale (although that is important) as it is about effectiveness: someone effective at Marine combat won't be effective at Air Force combat, and vice versa, and similarly for the Navy and the Army. They're different jobs, and different people do well in them.
For what it's worth, I usually find your links very interesting. Thanks!
Where does the author give a battery resale value for the Fiat 500e? Since it has a small battery, it degrades much faster per mile than a large battery.
Analyzing electric load profile data using machine learning?
I think of PR as having a fundamentally reactive posture, even when they're ahead of the messaging. Marketing, where there are many freelancers and consultants, would be a much better spend towards creating a strategic approach.
Typically a directory in your home directory (~/Maildir on some distributions) which is written to by an MTA like postfix and read using an IMAP daemon like Currier. IIRC, Maildirs became popular with qmail (were they invited by the qmail dev?).

Before Mairdir, mail was stored in a single file in the mbox format (typically in /var/spool/mail/<username>). Maildir uses directories and individual files per e-mail, eliminating a lot of the complex locking issues with mbox.
In catalogue chất lượng, giá rẻ, cao cấp, sang trọng
Not OP. But my startup is pre-launch and I have answers to those questions. Where can I send them?
I think the solution is much simpler: don't put an open web server in your dishwasher, and use standard authenticated, encrypted channels between the application and the appliance so that at least only somebody with credentials can use your dishwasher an espionage device.

And failing that, some Good Old All-American Common Law suits should do the industry a world of good. This product surely has an implied warranty of some kind.
Công ty in tờ rơi quảng cáo thương hiệu cho doanh nghiệp
Very cool to see Stockfish up here :). One of the cool parts is that the testing framework is fully open as well, at http://tests.stockfishchess.org/tests. It's been pretty amazing to watch the progress of SF since it was put on github by Marco and Joona. http://spcc.beepworld.de/ has some nice graphs. Those graphs are in ELO scale as well, so a linear line is getting exponentially stronger.

Currently for example, there 87 machines, contributing 341 cores of computing power for testing patches. That's pretty awesome for completely volunteer driven community!
> Is there a paradigm/language that allows you to write the same templates for both the server side and SPA view?

That's the main motivation behind my web framework Sandro. It is just an experiment, but I do just that!

See https://bitbucket.org/aurelito/sandro and https://bitbucket.org/aurelito/sandro-lib

It uses rhino and domino to render server side using the DOM API. I am busy with work that pays my bills, but I would love if I were able to work full-time in it ;).
This seems to be just one of the components of a larger set spread across multiple repos. [1] seems to be the component to access native APIs.

[1]: https://github.com/kivy/plyer
then there is the question of what is a normal upper-body to lower-body strength ratio in pre-wheel times
I agree with you.

But I found the origional Paul Ford source article [1]... and I could be wrong but the way I read it I think it actually is saying to use exactly those words.

[1] https://medium.com/message/how-to-be-polite-9bf1e69e888c#.4c...
I occasionally watched professional Korean Starcraft games for a few years.

The graphics of Broodwar are so much better for the audience’s sake (and I assume also for the players’) than Starcraft 2 or similar 3D games.

Having pixel sprites and a fixed isometric view is a huge advantage in character legibility/contrast.

3D everything demos well and looks more “realistic” (i.e. more like a high-budget space film), but it’s horrible when you’re trying to see past the clutter to figure out what’s going on.

All the rotating cameras and fancy animated backgrounds and tricky lighting and so on are pure gimmicks which distract from the gameplay.
Not a second, but a minute is too coarse
Justification from author:

http://blog.ruleml.org/post/32629706-the-sad-state-concernin...
Disagree. Statehood is an inherent subsidy, what with how interstate commerce is protected and the international peace maintained. Many Federal expenditures are not motivated by per-capita considerations, but rather foreign-strategic considerations. Federal tax income vs Federal spending is not the right way to value a state's membership in the Union, the costs of secession are.

Is the United States as a whole greater than the sum of its parts?
Totally agree that the different balanced factions made Starcraft superior BUT, the beautifully designed interface made TA superior in another way. Coming from clunky predecessors like Red Alert, the removal of micromanagement in TA was a revelation.

You could queue multiple units to build, adding in multiples of 1 or 5 (Supreme Commander later made this into an even more powerful system). You could queue an infinite amount of orders for each of your units - not just pathing waypoints but everything. I used to set my Commander up to do about 15 minutes of building at the start of the game.

You could tell buildings to "move" somewhere and all units coming out of those buildings would go there when built. You could tell construction units to patrol and they'd automatically repair damaged units and collect resources on the way. You could tell construction units to assist buildings and they'd help build new units. You could press Ctrl-A to select all units, Ctrl-W to select all fighting units, and other ones for airplanes, ships etc. And so on.

I think it pretty much shaped the attitude I have today where in game design, I think everything that has one "correct" answer should be automated away, and everything else made as simple as possible.

Of course when TA first came out the battle wasn't yet between TA and Starcraft, but between TA and Dark Reign.
I'd say overengineering and premature optimization are nearly synonyms.
As someone who does ML for a living, couldn't agree more. Usually your initial research only constitutes a tiny portion of your spent resources, it's putting it in production that makes you a 500 mil company. As always the devil is in the details, and it's unreal how much can go wrong once you actually have to ACT using the model and not just theorize. Sounds like someone hasn't left academia yet...
You have to enabled "advanced user". Then on the "third-party" line you can select to block. Be forewarned that your browsing experience will default to a mid-1990s experience as you'll likely have no JS nor CSS since those are now often served by different domains. But for each domain you can now select which third-party sites to enable and then persist those settings. I have Firefox setup this way. In Chrome I have a default uBlock Origin install, so it is not so aggressive with filtering.

https://github.com/gorhill/uBlock/wiki/Advanced-user-feature...
Quality ICE cars are pretty trivial to run a long time. I drive a 2003 Honda SUV, which just hit 230,000 miles. I've probably put an average of $500 annual repairs for the last 6-7 years. Mostly drivetrain stuff that wears out like CV joints, sway bars, etc.

If you buy a electric car, you're not doing it to save money. The optimal ROI remains a 12-24 month old car with a certificatation program that you keep for 8-10 years. I'd rather do that and have $30k in the bank than futz with electric cars and unknown service lives.
Yeah that's a good point. When the system is too big there's no way you can run it all locally. The angle I'm coming from is an application that's fairly new and still small and is changing rapidly with lots of cross-cutting changes. We're paying some heavy microservices taxes with development, testing, deployment, and performance, but not at a point where we see benefits yet (IMHO).
I don't understand, are you proposing some new kernel modes for i/o? Because the log file thing probably doesn't work as I don't think O_APPEND prevents multiple processes from clobbering each other's writes. And O_SYNC seems to do what your api/callback thing would do. And this isn't enough locking methods to satisfy all applications.
I don't think that's 100% true.

It's like hiring an NFL player.. you get the talent you pay for (sometimes)
I honestly think that for a long time as corruption has gotten worse in America, so too has America become 'too big NOT to fail'. Every major empire in history -- even ones founded as Republics have fallen. We're not likely to stop history from repeating itself.

If there were 50 different states, hopefully w/ open borders - each state could dictate their own social programs. Some could be a lot more like Denmark/Sweden.. others more like the old U.S.A. where you fend for yourself, and look out for nobody else. Each state would be able to set their own agendas, taxes, etc.. -- There would be more competition between individual states to attract the best people/talent/companies/etc... to grow their economies.

I don't think it's a matter of what if, but when.
You're basically asking if you can outsource your startup. I'm sure you've heard that in startups, the idea is worthless, it's all about execution. Execution is mostly what you just called "product launch." It's figuring out how to cost-effectively acquire and retain your customers, assuming you got product/market fit right on the first attempt. (hint: you didn't)

I'm sure there are agencies that would gladly take your money to do the things you listed, but they won't produce a working business model.

Rather than thinking of it as the product launch, you should think of it as your first experiment to test product/market fit.
Is there some reason you want to see Ev succeed? He sounds like another egomaniacal founder who doesn't care about his friends (Noah Glass) or employees. And it sounds like he's pretty good at coming up with products people love but pretty bad at getting them to have revenue that beats expenses (Twitter, Medium).
A question that's not asked often: Why would California or Texas be more interested in setting each others' <insert-issue-here> policy than fixing their own?
That's not too bad. I see plenty of apps installed on my phone that are 2 to 6x that size, and a few even larger. Appreciate the info.
I don't doubt that firm inequality is a factor worth looking at.

But, the article claims, with the flimsiest of evidence, that "the rising gap in pay between firms accounts for the large majority of the increase in income inequality in the United States."

Really? Do you honestly believe it's more relevant than rent-seeking behaviour, political corruption, monopolistic practices, environmental pillage, tax dodging and evasion?

Again, I have no doubt that it might be a good idea to look at antitrust issues, invest in education, and somehow make business leaders look at the consequences of their actions on the economy as a whole. But claiming that these are "unique recommendations" that emerge from "shifting the focus from individuals to companies", while relegating the other factors I mentioned above to a minor sidenote against "the majority of the increase in income inequality" - Straight bullshit. Please.
Qwant is good. Fast and relevant. Don't know about their financials.
Certainly different jobs require different skills, but do the jobs inherently sort themselves into a few branches which ought to operate with some independence? I don't know the answer, but it doesn't strike me as an obvious yes.
Because not everyone thinks rationally, see: antivaxers
Can't California just pass a law that protects all it's citizens and companies from any repercussions of not-paying federal income taxes...i.e. -- stay part of the union, but without the taxation, because nobody in California will enforce tax evasion at the federal level?
In the example on the page, I think the Zerg spike-things (forgot what they're called) stand out. In the remastered version they are a bit too shiny, and look like they're just sitting on the creep, which makes them look more like plastic miniatures. In the old version they appear grimier, and they look more like they're growing out of the creep.
That's a shame, because it is otherwise an interesting and informative article for entry-level ML. It's just really, really poorly framed.
They aren't negative about the Pixel but rather the idea that it was only software wizardry that was the cause of the camera quality improvement.
Perhaps you could actually tell HN readers what Richard Bolles said, rather than teasing it and pointing to a book link?
Committed may be the wrong word. I simply do not believe in God, and I do not feel I have any reason to believe in God, especially as God is -- by any usual definition -- super natural. I used to be pretty heavily religious as a kid, but just fell out of it over time.
Well, my computer won't display an image apparently inserted with JavaScript, although it could if I wanted to grant execute privileges on it to computers-are-fast.github.io

Does anyone have a link to the image(s)?
How does your dishwasher get onto your home network?
Does anyone have experience with job marketplaces? I don't mean the mainstream ones, but ones like Stackoverflow jobs or Github jobs. Do they get closer to solving the problem of resume blackholes?
Disney CEO Chooses AR Over VR for the Legendary Theme Parks
Reverse-engineered a $500M Artificial Intelligence company in one week
European startups need help from family-office investors
Sure, but after who knows how long, Alaska is going to come up. You have to make these rules suitable for forever, because they're hard to change.
I disagree. If you're already defensive about your job, you may be prone to misinterpret that statement as sarcasm, even when delivered perfectly.

I imagine there's safer comments or questions you could go with.
I feel like I can add an n=1 sample here; I'm a Dropcam customer, who would describe themselves as paranoid and gadget-obsessed.

I was worried about office break-ins, so I bought things that include safes, insurance policies, and Dropcams. These cameras were WAY cheaper than the cameras & services offered by the alarm companies.

And in January this year, the worst happened: someone broke into our office, and took a bunch of electronics. Without the videos from the cameras, the building management wouldn't have been able to figure out how they got in, and police to be able to identify/prove who it was and what happened to our gear.

I'd definitely buy them again. The only change I'm going to make now is relocating the cameras to areas where they'll cover other parts of the office, and add additional cameras as well.
Interesting, lichess server-side is written in Scala, but client is straight js/jquery. I'd think they'd switch to Scala.js at some point, but if it works as is maybe no need to change anything...
I like how they have taken credit for implementing HDR along with a smartphone-sized burst camera.

This is purely a technical implementation and is not novel in almost any way.
Facebook activated my dormant account and won’t let me deactivate it
Actually it's a republic. https://www.youtube.com/watch?v=MeTbDdl7XiE
IME over engineering almost always results in far worse performance, like a data stack with 15 layers riddled with n+1 problems instead of some simple sql.
Looking forward to learning more about this new perfect future protocol that you think will solve the problems.

/s
>I honestly think it's a lazy man's cop out to say it makes sense to insert a network boundary because it's just assumed somebody's going to violate a module boundary.

Its not a lazy cop out when the comment he's replying to is the exact example in question.
these fallacies are vague enough that most arguments can be twisted to be in violation of one or more of these and dismissed
Idea 1: less nepotism
All I can think about is any life that was (emphasis on past tense) on that "side" of the galaxy when the gravitational wave that dislodged 3C 186 whipped through. It's all gone now right? Seems we are pretty lucky to have this rock stay in more or less the same place, unperturbed by galactic events, for 4.5 billion years. Doesn't matter if you're a multiplantary species if a gravitational wave strong enough to move a supermassive blackhole comes through.
They're both bad, of course, but beyond that I'd say they're nearly antonyms. Premature optimization trades structure for performance, overengineering trades performance for structure.

You could argue for equivalence under a broader definition of optimization and engineering, but in the context of software engineering the more specific definitions used above seem to be fairly well established.
Seconding this.

1. If you haven't already discovered Termux, do. It's the one thing on Android that doesn't manifestly suck.

2. I don't mess much with Python, but Termux + python + pip allowed me to install youtube-dl and be able to download and play videos (from numerous platforms) on-device rather than streamed-only.
I've tried starting something like this a couple of times, but want to do it full time someday. I would focus on the web building side of things, but would need someone with more charisma to do the promotional side. Regardless, I haven't really sunk the time needed or capital, which doesn't really hold well when trying to start a company :P Maybe some day.
Iarba sarpelui planta medicinala-viper's bugloss herb
Unfortunately, this type of headline is less clickbaity than other headlines I've seen recently relating to Data Science/Machine Learning, even on Hacker News. (although in this case, the clickbaityness is more deliberate)

It is honestly one of the reasons I am cutting down on producing blog articles on those topics, because I can't compete with clickbait-articles-which-peddle-machine-learning-as-magic-when-it-is-not, and it is beginning to get frustrating.
email me or comment here.
So in return for being "liked" by that woman, the listener had to pretend to be interested in her talk entirely about herself for half an hour? Where she wasn't interested enough to even ask the listeners name?

Sounds like a way to raise her self-esteem at the expense of yours.
kumar(at) engineersf (dot) com
Not difficult to beat the iPhone camera.

Why does my iPhone 4S take better photos than my iPhone 7? Modern iPhones photos are smeary smudgy mess. Can always tell on Reddit or Facebook when an image has been taken with an iPhone.

Luckily using RAW mode helps, which means it's some lunatic software noise-reduction in newer versions of iOS that is the problem.