skysight-inc/HackerNews huggingface dataset:
> Is this spec and the corresponding implementation that you are working on in public domain ?

Not currently. Maybe in the future.

> Do you believe that your hands were tied because the mapping can only be a projection of state?

Rather than? I'm not sure I understand the question, so maybe. My problem is that some reductions require moving certain transitions backwards or forwards in time. In theory, the idea is described well in section 3 of this paper https://research.microsoft.com/en-us/um/people/lamport/pubs/... (this is pretty much exactly my problem: I wanted to see if a distributed transaction is a refinement of an atomic transaction). In practice, using prophecy variables isn't easy.

> Do you intend to restrict the quantification only over time variable only?

Oh, no, in TLA "temporal quantification" means hidden state, or quantifiers over state variables. Having the model checker handle that would make auxiliary variables unnecessary in cases where the more abstract specification has hidden internal state (unless you want a deductive proof). It will save us the hardest work, and ensure that the implementation relation is sound (no auxiliary variables necessary).

It would have solved my problem, too. Even though auxiliary variables would still be necessary, the model-checker could check that they're sound by checking:

S ⇒ (∃∃ aux : S_with_aux)

to see that adding the auxiliary variables doesn't restrict the spec (and then I could check, as I do today, that `S_with_aux ⇒ Abstract_S`)
They provide monthly reports: https://www.google.com/selfdrivingcar/reports/ (some more detailed than others)
In the latter part of my career, I have focused more on mental health, happiness, and early retirement. The things below reflect that more than how to become 'great' or whatever.

* Remember that people with non-software skills are probably just as smart and hardworking as you are

* No matter how much more qualified you are than your coworkers, don't fight every battle even if they are always wrong

* Actually read (don't skim) documentation and source code

* After you have some money saved up, quit your job and look for your dream job full-time

* You'll be perfectly happy having never worked in Silicon Valley, or for any prestigious companies

* Read error messages and understand instead of just googling

* Switch mentors often

* Forget about getting rich
Great, the scam is now official
From the explanations offered about why 16GB is the limit it's probably a good thing. If there was DIMMs someone would go out and buy 2 16GB SODIMMs and find out their MacBook Pro doesn't boot, behaves strangely, or just doesn't use the entire available ram.
Peak pricing can spread out demand a bit, and also, people can use much smaller vehicles most of the time. We buy cars for worst case size or conditions. Look around the parking lot of a white collar work place that is filled up with four wheel drive all terrain vehicles and pickup trucks.

Ride sharing for rush hour would use a ton of compact vehicles. Even if the number of vehicles is the same to account for peak usage, the majority of the vehicles will be much smaller and much less capable, and therefore much less profitable for manufacturers.
Looking for a way to un-redact PDF file
I am looking for a tool,exploit, or program that can either read or remove redacted content in PDF format.
Word. I started my current SaaS with the goal of working 10hrs a week and making 15k a month. I'm getting close to my monthly revenue goal but if I'm not sleeping, I'm working. I don't regret it. I'm enjoying the challenge now but it wasn't what I had thought I was getting myself into. I truly underestimated the gravity of emails and support requests. As a one man shop, it can grind entire days to a halt.

Passive info products do seem to be the easier path to a more leisurely success.

Edit: missed a word
> I didn't discuss queues because queues aren't intrinsically a part of a MS architecture.

I find this an odd juxtaposition. On one hand I see what you are saying, but on the other I believe the nature of MS architecture places huge emphasis on State and State management that isn't necessarily as large a focus in Monolithic patterns. Stateless versus Stateful and now the creative application of "Soft"-state design patterns become non-trivial concerns in a MS world.

To that end, I feel like some address (positive or negative) on the impacts MS architecture have on state and the pros-and-cons I think are topical.

I was also wondering, for my own education, if you could expound a little on your points here:

> Also, things can still get lost with queues. Network failures, partitions, bugs in your own publishers and consumers

Specifically:

> Network failures

I had always thought that the delivery guarantees of TCP (and maybe the new QUIC protocol over UDP) were robust against network failures. What kind of edge cases would result in data loss in queue context?

> partitions

I am entirely ignorant on how partitions might result in data loss...so what kind of things have you seen?

> bugs in your own publishers and consumers

Isn't this true across any application regardless of architecture? Or are you implying that MS architecture/Queues some how increase the likelihood of bugs by nature?

Thanks in advance! (I always enjoy learning new things and hearing about/learning from other's experiences)
A longer sampling period could certainly be a potential solution. It could also cause a different sort of user confusion. If I start up a game, play for a few minutes and then worry about battery life and go check.. If I still see 8 hours I'm seeing the wrong info and may make a decision to keep playing that I will regret in two hours.

I still think something like the battery over time graph is a better solution than a single number with so many assumptions built in that are opaque to the end user. The graph can express "you've not been using a lot of power but whatever you started recently has caused it to drop a lot faster."
How to Keep Your ECommerce Website Up-To-Date
In American English, a lot of vowels are gliding dipthongs:

https://en.wikipedia.org/wiki/General_American#Gliding_vowel...

For example, the 'i' in 'bright' is a dipthong that sort of glides from 'uh - aye' very quickly.

Many languages have very few dipthongs -- e.g. Japanese and Spanish come to mind, and Mandarin has some, but they're mostly different from English. If you go from a language that has 5 pure vowel sounds like Spanish to something like 15-20 in English (depending on the dialect), it's hard to keep track of them all and pronounce them correctly [1], especially since English orthography hinders rather than helps you, whereas dipthongs in Spanish are pronounced exactly as they're rendered (e.g. cauda is like ca-u-da spoken fast).

[1] https://en.wikipedia.org/wiki/English_phonology#Vowels
Hands-on? You'll just tell your car, like a passenger would tell a hired driver.
They will get smoked by Tesla.
They should give these away for free so that more businesses would sign up for G suite.

It's been over 10 years since Docs and its shocking how businesses haven't started using it. MS is trying to imitate those experiences but 365 in a browser is still painful.

The fact that you need an app to connect to Surface is so alien in my universe.
Remember parking is often 10+$ a day.

And can be more of a hassle or less conveniently located than a transit stop.
I've had cold feet about Linksys ever since Belkin acquired them.* I'm still running a couple of refurbished D-Link DIR825-C1 units (dual-band N300) with DD-WRT on both, and they work beautifully. I don't see any great need at this time to switch to 802.11ac.

Since I bought them specifically to run DD-WRT, reflashing them wasn't a big deal for me, though it wasn't quite as easy to do as reflashing a classic WRT54G.

* Belkin has been on my "don't buy anything of theirs except cables, and even then look for an alternative" list ever since their 2003 router spam fiasco. Sure, they backed off, but the fact that they even considered doing such a thing in the first place is asinine. http://www.theregister.co.uk/2003/11/07/help_my_belkin_route... (sorry for the Reg link, they weren't that bad in that era)
Nah, having done (a little bit) of battery design stuff, there's no way that the cost of the battery is at all a consideration. For reference, when I'm working on a system that needs "expensive", high-performance batteries with the best possible performance, we pay around 35 cents per watt-hour.

The Macbook Pro is around 50 Wh IIRC, which means if you replaced it with the most expensive cells I use it'd cost $17. And although you do pay more for different cell form factors (typically a decent amount more for flat batteries) the enormous scale that Apple operates at means there's no way the batteries are going to be a price concern no matter their size.
If Tesla executes perfectly they might stand a chance. They don't have much margin of error though. One lost lawsuit because of an accident caused by a bug in their software, and they are out of business...
I really wished Dropbox would give users a way to perform client-side encryption of their data. There are ways to do this (e.g. via Boxcryptor or via EncFS), but they all degrade the usability and are too difficult to set up for most users. Encryption could be limited to certain folders (as not everything is sensitive), and the ability to do full text search could be partially preserved by doing indexing on the client. Especially for businesses this would be a great boon and protect not only against government surveillance, but also against hacking of accounts.
Can you do remote collaborative whiteboarding? I'm looking at this for either having a Hub at each end or a Hub at one end and a tablet at another. Trying to find a way to bring geographically distributed team members (virtually) closer together.
How do you publish them? I had always heard that publishing notebooks was a pain in the ass.
I'm sure it has. I'm not sure they have.
RTFA. The problem was specifically that the time-remaining estimate was inaccurate and causing confusion.
For a book about web design, this surely is poorly designed. I can't resize the text with my built-in browser zoom to make it comfortable to read. Everything seems to be based on the size of the browser window.
And higher than Wall Street too, please.
I really am.
Depends on where you are in NY. A cop sued for his guns back after he was wrongfully attacked by the State [1].

When the government takes away a person's pen as well as their right to self-defense, it will be interesting.

1- http://www.foxnews.com/us/2015/01/04/retired-cop-sues-new-yo...
If you solve the consumer car problem, you own personal transportation. That's why. Besides, your premise is untrue anyway. Otto is the autonomous truck thing. Rolls Royce is the drone ship.
It strikes me as curious that someone who spent a lot of time in the radar industry would make the original statement you made, at least in that fashion. Also, radar is subject to interference as well. In addition, there are many things that act as "natural" corner reflectors that would pose more challenges, I can only think of some mountainous snowy / icey nothern US/Canadian routes and just thinking No way Light sensors and Radar sensors will conquer this.

We need to fundamentally redesign our road systems to accommodate self driving cars. That might happen... in 50-100 years...after we address the already crumbling infrastructure we have. For perfect, sunny conditions, like the roads in Nevada all these self driving startups are doing their testing, with straight flat landscapes, I am sure the tech can work fine. Rest of the country, maybe not so much.
I presume they save a lot of money on space/upload speed if they can verify the hash of your data matches data already in their store. I'd be really curious to learn what percentage of data overlaps between accounts.
We're participating in the on-prem sig now that it's been acked, along with Apprenda, CoreOS, Mirantis, and I'm sure some others.
I have a 2011 MacBook Pro 15". It has two hard drives in it including a SATA III SSD, and 16G RAM. It's still running strong.

I can't imagine why Apple has not been able to improve on the computer's specifications for serious professional engineer use in five years. The CPU increase and GPU increase is unimpressive. (Why no quad core in 13"?) Retina is fantastic, but not a substitute for proper amounts of memory. The only major improvement is the awesome bandwidth of the 1T SSD in the new models.

I use the F-keys extensively in my workflow. I could barely even reliably hit the ESC key at the Apple Store when testing vi. The keyboard was also atrocious, but I would probably adjust if it had F-keys.

The bottom line is this is just not a useful laptop for me. Super sad, cause I would have liked a top-of-the-line computer. I am going to get an Alienware 13R3 or Razer Blade instead. Sorry, Apple, you've taken too long to put out a reasonable professional laptop.
That's interesting, we have a slightly related architecture. SpatialOS Runtime, itself distributed across many machines, acts as your "Master Control Process". It orchestrates Workers, both managed (running in the cloud), and external (remotely connected game clients), to perform the co-simulation of the world.

The key feature of the stack is that you can integrate various Workers to act together, leveraging existing game engines in multiple languages. Checkout https://spatialos.improbable.io/docs/reference/9.0-alpha/wor... if you're interested in trying to port your stuff onto our stack.
Quicksilver, still? Why not move on to Alfred?
I think Otto/Uber and Mercedes are working on that.
Even on the older rMBP (mine is 2012) my system just goes on suspend mode at 15-20% battery, even when I'm not doing much so the estimates shouldnt have been that far off. Did all the SMC reset steps and same issue.
Ask HN: place to get 1:1 help with specific development issue?
I am trying to do some P/Invoke stuff in C# to call a C++ .dll; I have no .h just a .pdf with description and I need some help (AccessViolation probably due to wrong signature of something).

The issue is way to specific for Stack Overflow (tried anyway: http://stackoverflow.com/questions/41127575/system-accessviolationexception-after-p-invoke-missing-info ) and random IRC channels are no help; any suggestions where I could find a fellow developer with enough C# and C++ experience to help with the specific question?

I don't mind if it's a paid option; just really have no idea where to go to move on with the project.

Thanks in advance.
This is so refreshing, loving the layout and simple customizations. Would love to see a new search engine in the space :) Good Luck!
The thing is, it doesn't matter what you say. They'll just write anything they want ^^
Stupidly unreadable. The rest must be bullshit if they can't get "readable on a desktop" right. It's literally the most important aspect of a web design.

Here's a screenshot for posterity: https://s29.postimg.org/5tx77lset/unreadable.png
Wait, you are saying you get less than 6 hours for average use?

Everytime there is a macOS vs Linux thread it is repeated that things are quite bad on Linux. I kind of accepted it as the major downside.

I easily get 6h on my Ubuntu machine (Dell XPS 13, 2015) though. If others don't, the difference must be TLP?

Edit: answered in another response (older MBP)
MacOS Sierra 10.12.2 removes battery life remaining indicator
I worked at a place with $25k/room of cisco teleconference gear. It worked great.

The problem (ime) is with employers unwilling to spend the $25k/room.

The last employer used LifeSize which is great as long as everyone is in a room with hardware. If you have a mix of people dialing in with laptops and people in rooms with LifeSize hardware it's hot garbage.
The response from Jerry Coyne, a professor of biology who has literally written the book about evolution, is definitive.

https://whyevolutionistrue.wordpress.com/2016/12/13/robert-w...
Truth be told, two thirds of America is worthless in a consumer sense. You can be successful targeting literally only the Bay Area. Why bother solving every problem at once?
Authy brings OneTouch to Chrome desktop users
10 Unique Connected Christmas Gifts
It uses viewports units for type sizing. You can always turn off CSS
I'm using a Raspberry Pi 2 Model B with Java set to use a maximum 512MB heap (-Xmx512M). The controller is fast enough for my (rather small) home network.
The headline makes it sound like they are doing nothing about it but in fact it refers to the end-users.
If you are going to do a cost/benefit analysis of drugs, what do you include in the costs? Do you include direct medical care, counselling, crime, and/or insurance? Do you count the financial or emotional costs borne by family members? Do you count lost income? Do you count lost taxes? How do you account for positive outcomes from drug use, such as potential improvements in productivity, or creativity? Do you count benefits to happiness, emotional well being, sense of belonging, or fellow-feeling? How do you count all these? Do you evaluate risks from a straight expected-value or do you use some risk-aversion factor? What is your time preference (i.e. 'interest rate'), and how do you derive it?

I am not aware of any government policy based on science; the ones that reference scientifically derived evidence are mostly justifying intuitive/emotional judgments. It may be a Hume-ian perspective, but I am not aware of any compelling evidence to the contrary.
I could see OpenDoor working with large companies on relocation outsourcing. An employee needs to move, maybe on condition of hiring, and the guaranteed sale provides the removal of an obstacle to say no I can't move and sell my house... or the discussion really devolves not into schedule but money. If it's not the market rate, the company could pay the difference, or part of it.

For bigger companies, Starbuck, HP(E), IBM, I could see Opendoor simplifying the HR conversations. Especially when companies reorganize and want to move people around.
User is ubiquitous only because of its ability to burn an astonishing amount of money. Their bet is that they am do this long enough to make themselves the market leader. I am not convinced that they can continue to lose money at the rate they currently are for the future potential as a monopoly provider. At some point investors are going to ask for a return or bail on the company.
Not that I disagree that iPhones are big, but cmon, "the biggest business on earth?" This is a planet that has Oil business, Telecom business, medical products, rice, coffee, fish, illicit drugs, pharmaceutical drugs. There are other businesses that are in a class well beyond a mere consumer electronic device, iPhone or no.
Once the technology is mature, I don't think it would be any scarier than driving with the average driver as a passenger.
Goo-gol?
PixelSense is a company that Microsoft acquired a couple years ago. It's unrelated to the original "surface" technology they showcased previously (the big coffee table you are talking about), other than sharing the same name. Surface is now just the branding of their whole series of first party touch enabled devices (surface pro, surface studio, surface book, surface hub)
Digging into the Lambda Architecture Layers
"Retooling" sounds like such a great idea when you're a 20-something urban male single software engineer, you've got nothing to lose, and the world is yours to take. It also sounds like a great idea when you're independently wealthy and you don't have to work for a living, so you can afford to bloviate from your ivory tower.

Most other demographics have very a different perspective on that concept, and for good reason.

There will be cataclysmic changes ahead if we don't seriously reconsider, well, everything about society. Under the current way of thinking, millions of people will get sent to the glue factory - to persist in your horse analogy here.
We're building exactly what you're describing at http://www.swish.io (available on both ios and android) We organize clips by plays, teams, and games and annotate videos using the meta data from the play-by-play. We even have the slo-mo slider capabilities you mention, if you check out our app you can press down on any video and move your finger back and forth to watch in slo-mo (works much better on iOS at the moment).

We source our content from social media, not from the league's sites so we do not have every play but we have a lot. Usually 30 or more per game.

If you're a sports fans try it out would love to hear your feedback!
Gas gauges our pretty inaccurate anyways. So are the "miles left" that newer cars display.
(disclaimer: I'm a Cofounder & CTO of Improbable - and massive fan of Second Life)

You're right to see that there are some inspirations from worlds like Second Life with our platform - it spatially distributed the simulation of the world through multiple servers.

Will elaborate on this in a blog post a some point, but some main differences:

-SL is a great example of a product somebody could make on top of SpatialOS: we're less of a 'social world environment', and more of an abstract spatial computation platform. We don't care what game engine is used, what the view of the world is, etc.

-While really impressive for its time, SL's architecture didn't re-distribute its load across machines based upon player & object density - each server was statically allocated a part of the world. This meant concurrent players per 'Sim' were limited to ~50. We can move these boundaries on the fly to deal with higher density. Here is an example (we really need a better one, this doesn't do it justice!) https://www.youtube.com/watch?v=XXhxI4dKU_E&t=1s

-Although a player could cross server boundaries, it was never very smooth, and people in SL would deliberately limit their playspaces to a single server. To create a proper seamless world you have to deal with multiple servers simulating the same physical space, and reconciling with each other. Here is an example of us doing this with Unity3D and physics https://www.youtube.com/watch?v=ysB6bi7QUbw

-Our approach allows for arbitrary kinds of process to be used as the server worker, including existing game engines like Unity3D rather than a monolithic server. https://spatialos.improbable.io/community/create-a-custom-fl.... We currently have SDKs for C++, C#, Java, rather than the slightly esotetic Linden Scripting Language (https://en.wikipedia.org/wiki/Linden_Scripting_Language) SL had (incidentally, the first computer language I ever learned!)
> books were stacking up on my desk

That's a common situation in Chinese high school. I'd say most Chinese high school are equally competitive. I am in a not so high-ranked school in Shanxi. And I literally have less than 1 day of rest each week. Each day it's from 6am to 9pm. Early self-study, day lecture, and night self-study, all in classroom...
The lack of IP enforcement is going to be better for startups. Patents exist only to prevent others from doing what you do, so that tends to be painful for startups who can't cross license or even afford lawyers and legal battles. Of course once you get big then you switch sides on that issue.
All was said is that traffic will be more predictable and safer, not that it won't have any possible negative effects.
First, I'm impressed.

But I'm having trouble believing that it doesn't cost much. Isn't that lot of bandwidth (getting pages and generating previews), especially if you are doing that on the fly? Or does your crawler generate and cache preview images? If the latter how large is your index?

Is the monthly cost minimal simply because you don't yet have much traffic?
Well, they only tested in US cities, so it's unclear what has occurred to them. How will it work in small crowded streets in India, China, or just Italy?
This is my observation: If you're Indian, being "relatively well-off" is not your only advantage: (White) Americans tend to view you in more favorable terms. It's almost as if we welcome you with open arms.