skysight-inc/HackerNews huggingface dataset:
ah, the assumption is that even the remote call (for example, in the case of async) is pure
> It's not a pretty history.

So we are here to change it to pretty one.
I agree. I've seen some electrocardiogram peripherals for phones and they apparently only support lead II. Ability to instantly start recording a long II anywhere anytime is awesome but it is not a complete electrocardiogram.
Ethical standards.
The first option on the settings menu (click the gear icon) is "Go back to classic Gmail."
He admits freeely that he sold out and has expressed public regret for doing what he did. He’s also committed something like 1 billion dollars to charity and drives a minivan.

All things considered, seems like a pretty good dude who saw an opportunity to create enough wealth that 10 generations down the line will be taken care of and he took it. Can’t say I would do any different and I doubt many others would either.
The Diner Capital of the World
Yep, I miss the PS2 days when you just put a disk inside and play for the whole time you're in front of the console..
I was just working from the principle that lightweight ground drones containing pizza will get nicked and flying pizza will get shot down and nicked, but it isn't fair to use weaponry just to defend a pizza and a drone, so the best approach is to make it heavy enough not to get nicked, at which point you might as well put the oven in there too.
> I believe many people nonetheless consider SQL a programming language

Yes, but I don't think anyone considers a SQL join to be a description of a linear-time algorithm.

> Coq executes what you term the specification parts in a very different way than trying to exhaustively enumerate solutions--one that is actually quite efficient and can be mechanically executed.

I never said you always need to exhaustively enumerate solutions. Nevertheless, the problem of extracting a computation from a specification (e.g., an inhabitant from a type) is undecidable in general[1]. Hence, specifications cannot be generally compiled, therefore they are not programming languages.

They could be a new kind of programming language, where some search algorithm could sometimes find a computation, but that would be a "programming language" in a completely different sense; Lamport does acknowledge that possibility (I know some people are researching program generation, but the results so don't look very promising, and in any event no one expects them to ever be more than heuristic, even if they're ever effective).

[1]: I'm not sure what happens if you know the type is inhabited. I guess it will be decidable in that case (just as finding a proof of a proposition that's known to be a theorem), but the search is still intractable, and there is no way the resulting computation would be efficient.
Is there any way to get into a beta? We're about ready to write our own solution, and would love to give you guys money instead.
I think I might step away as well. There is a very large amount of frustration, it seems, at the lack of privacy concerns, the failures of governmental power to stop it, and the fact that "mainstream media" (I really don't like using the term) doesn't report on privacy nearly enough. There's a lack of transparency that's been apparent for years but has been tacitly approved of. As for a timeline, to me the "privacy war" if we're calling it that began when the US made it legal for ISPs to sell data. Google is just a very large target for collateral damage.
> I think this is interesting because it shows that Facebook isn’t really sucking that much worse than Instagram and that Instagram isn’t going to save Facebook on its own.

I think this is a stellar observation. Fb, right now, is only a dominant force for users of age 30+ and the battle for the next generation(s) is just starting out. Instagram does show the most significant growth but isn't a clear winner, yet.
Except it is nothing like that.
Vimium has this option. Check the box on the options screen " Use the link's name and characters for link-hint filtering"
DNS over TLS
> Do other people feel the same?

I don't.

> Someone suspicious might say there's a concerted anti-Google campaign going on, if you were to look at the stories making the front page lately. I don't think it's quite that simple - assuming there is no campaign being driven by any group of people in particular, I think this is a symptom of some deep-seated frustrations. Frustrations about being early-adopters who aren't in the mainstream market; frustrations about not having privacy-respecting options; frustrations about the metrics-driven, impersonal way that products are developed by big Silicon Valley tech companies; frustrations about simply not being able to vote with your wallet when it comes to vendor lock-in, privacy, etc.

Google and FB are both increasingly doing even more terrible things. Normal users can play the part of the frog that gets boiled slowly over time but people who understand to a degree the implications of technology abuse find it rather concerning.

You seem frustrated a lot yourself. I don't see why HN would frustrate you but do be sure to take care of yourself. I am very concerned about many things but not so much frustrated.
(As good as) No login (if you're logged into Google)

Docs UI -- Editing documents in a proper word processor is better than most blogging platforms

This lets you make a blog of existing docs

It's not a drop-in replacement for everything, but it's novel and makes sense as an option for a lot of people
Wow, I've never seen a more open defense of profit motive as the only possible objective function for business.
The one at the end that fits in the size of a tweet sounds better than all of them, IMO. Including the original.
Safari Content Blocker Evaluations – 9/26/18 Edition
That's really neat.

There is a very good 20 000 Hz podcast on the creation of the THX Deepnote:

https://www.20k.org/episodes/thxdeepnote

https://www.20k.org/episodes/thxdeepnote2
Little bit of HN distorted reality there I think; not many people have rigs, most play games on cheap Android phones. Go to big gaming countries like China but also India is growing there; no rigs for by far most, all mobile, small screens, shitty perf and graphics. People do not care as long as they can play.

I am more wondering who they are targetting; me for sure but I would also pay $1000 for it, not gaming fanatics who care about resolution, fps and amazing graphics and not people who play games on cheap Android devices. Looks to me they are going for the kind of people who bought the Wii when it came out. Is Carmack still involved as at least then we know it will be a good gaming experience if nothing else?
New Apple Watch: The Worst Heart Device Ever?
California has a difficult relationship with prenups. My wife and I essentially have to keep our pre-wedding finances completely separate or they become marital assets and subject to a 50/50 split. Any debts we incur past the date of our marriage are marital debts I believe, and prenups aren’t enforceable.
Couldn't they be connected wirelessly and send the electric signal they receive digitized?
What do you possibly gain from this kind of rage? It's rude and makes for an extremely low quality comment.
Same here (30 years). If I didn’t have so much interesting work I would program in my free time. I just really like it.
“Grit” is an example of redundant labelling in personality psychology
You're putting words in my mouth. My point has nothing to do with someone's relative affluence or poverty. All I'm saying is that in almost all domains, everyone in modern society relies upon the expertise of others. That's equally true for Bill Gates as it is for the homeless person waiting in line at the soup kitchen.

I'm not even going to respond to your second paragraph because it's almost insulting that you thought it necessary to ask.
Fortran is not around for long time. Fortran code is still around, but almost nobody write new code in Fortran nowadays.
I meant the snipes about having sold to Facebook in the first place.
Not saying I condone it, but if you have a Facebook account you should expect that they will collect and use as much data as they can about you.

If you don’t wish to be targeted with highly personalized ads, you should immediately delete your Facebook account and not use their services in any way.

Agreeing to use their services is agreeing to these practices. Now, I think people should be made aware of these things, and they should know when they create an account that this is what they are going to do.

Personally, I don’t really have a problem with it. Also saying that they “give advertisers access to” this data is a little disingenuous. As an advertiser I don’t have access to any of your information. I can only tell Facebook who to target, in this case with information that I already have about you, that you have (presumably) given to me with consent. Facebook takes care of the rest. It’s not as though I personally have access to a bunch of your information. Or even that any human being at Facebook does. No person is looking at your data, it’s all just algorithms.
The method of investigation was to use (mostly) open available sources.

There's a name collision where "open source" means something different in intelligence and reporting than it does for software and technology.
On the subject of actor-concurrency languages, you should check out Pony. In Pony, actors are very common, but they are not the ubiquitous data-type. Actors exist along side regular classes in the language. See https://tutorial.ponylang.io/types/actors.html
Shhh! The last thing we need is some geezer or some kid shitposting on Twitter about how we ruined some damned thing with all of our amazeballs drug-fueled raves and dial-up BBSes.
DNA detectives hunting the causes of cancer
Not anymore :(
I've seen first hand people.I know getting exploited and abused by Google,fb and other bigtech. How bad should things get? Google isn't just a large target,they are an extremely hostile and abusive company.

I'll say this,tech can't fix these companies. 1984 is supposed to be fiction. Even most of HN crowd underestimates how bad things are.
I agree with this point, as I have a strong distaste for the premise the above poster used: "This is the way things have always been". Implying, why try to change them? Women regularly died in childbirth for thousands of years, but do we hear anyone complaining about knowledge of sterile fields and advances in modern medicine?

If anyone is looking for data-driven cases on the scale and negative consequences of the increasing divide between rich and poor, I've found some good resources in Robert McChesney's The Digital Disconnect, Joseph Stiglitz's The Price of Inequality, and probably most famously Thomas Piketty's 2014 book Capital in the Twenty-First century which Gates himself even recommended, ironically enough. All these books come under criticism for supposed ideological undertones, but even skeptics generally respect the underlying economic data.
Vive Pro has the same resolution and the upgrade is ok.. the real need is better FOV.
This is certainly the question in general, and I'd like to know specifically what they thought the first six years at Facebook should look like.
I've gone the route of using another box to do PoE -> 5V USB, but unfortunately the TP-Link converter is outputting 4.8V instead of 5V (the Pi3b will technically run on this, but it's not a good idea).
Because it’s a good way to get yourself sued
Fair enough, but it's simply a fact that certain obvious societal problems begin and end at the boundaries of nations. I didn't choose for it to be like that, I wish it wasn't like that. I didn't create the world we live in.
HackRF clones cost much less, and there is no LimedSDR clones AFAIK.
Unfortunately it's not profitable and I'm not even sure I'd call it a "startup" but I do have a day job and enjoy building web apps in my free time. My most recent project is http://www.famsnap.com. I built it after becoming frustrated with the process of finding a photographer to take family photos while we were on vacation.

I have around 300 members currently but it has been slow growth. Every photographer I've told loves the idea but there's no place to really promote as posting on Facebook groups or forums is seen as spam and deleted. So I'll keep on growing slowly I guess using Instagram to contact photographers and see where I am in a few years.
My understanding is that F&G are culturally different from N&A, but I think you're probably being a little too hard on yourself. The company probably spent a lot to recruit you, they have some interest in helping you succeed and I don't think they'd hide performance problems from you.

You probably shouldn't be idling though. If you can't think of any ways to be more productive, you should ask your manager and your colleagues for their ideas about what problems exist and what needs to be done. HTH.
> This is actually really interesting because in America the boundaries of who is "white" and who is not has constantly shifted from a social standpoint.

This is very, very misleading. You know it’s very misleading, as shown by your next paragraph but plenty of people actually believe there was a time when Italians, Irish were not considered white. There wasn’t. There was a great deal of prejudice against non-Anglos, Nordics emphatically included but there was never legal discrimination against them authorised by legislation in any state or at a federal level. That’s not true for Black people or Asians, both East and South Asians.

The entire shifting boundaries of whiteness literature is based on trying to muddy the difference between whether people were central or liminal members of a group with the question of whether they were members of the group at all.
And have specific FCC reporting obligations - your address must be reported up for e911, GPS tracking (to ensure the carrier owns spectrum there), etc.
The new xtrx is fresh, cool, and modular, but software might be not stable yet.

https://www.crowdsupply.com/fairwaves/xtrx/
Part of the reason they are slow-walking Trump's pronouncements on trans people in the military, is that after getting rid of 'don't ask don't tell', the military will have wanted to know about people's sexual preferences, especially in key roles, so as to guard against cases of blackmail.

I guarantee that they will have key people who have told them all their kinks, that they are really trying hard not to get rid of.
Thanks for the reply. It's more F&G than N&A, culturally I think. Idling is probably a misnomer—I have some minor bug fixes, code reviews, and design docs to work on. But I feel like I've been basically writing no code for the last few weeks.
Whats the better alternative to fit the needs of a shoestring startup (say 5-10devs)?
It's ironic that you think the reason they don't want to create an environment to avoid using a CoC that prohibits mockery is that they are afraid of being mocked.

I also don't think this rejection of PC culture is as silly and as small of a movement as you think. But time will tell.
Boy Thought to Be Nonverbal Can Speak After Dentist Discovers He's 'Tongue-Tied'
So a user who is, in absolute terms, much more politically active and damaging to this site than I am, is permitted to post freely, as long as the majority of their posts are decreed by someone to be "not for ideological battle"? This is an honest question. Because the policy as you've described it so far targets the wrong users. It permits users who routinely abuse the site to promote political and ideological messages--as long as there's enough other activity to cover it up.

I would like a breakdown of exactly which comments of mine have been considered ideological battle, to what extent they're considered so, and how those conclusions were reached. I believe this is fair. You stated I have "clearly" been using HN for such a purpose. Out of the now 60 total comments I've made to HN in over 3 years, with the majority of them being supported by other users, and not once before being told I've broken any guidelines, to now be told that my account is going against and has been going against guidelines is a surprise, as I stated in my previous comment.
> Facebook could have tried innovating with new types of business models and set an example.

Such as? This kind of handwavy "they could have invented something else that no one else has managed to think of" ignores the possibility that perhaps that other business model doesn't exist.

Of course, they could have charged as Acton suggested, but there is no way that model would have supported their $19B purchase price.
Put yourself on the semi-annual targetted channel (for business) + defer updates by a few months. Then the only updates you'll really be bothered with are the occasional critical patches, and any feature updates will have been tested in the field by millions of others way before you get them.

Personally I think they've really nailed this.
Agreed. Not everything needs a "fresh" look. The new reddit design is terrible and once they make that permanent I'll probably just stop using it as much.
I often read complaints that Xamarin is buggy (builds randomly stop working, often need to restart Visual Studio, etc).

How's your personal experience with Xamarin? How's the tooling compared to Android Studio?
Someone who has been put through the wringer.
Another close call: https://youtu.be/ag1-7qnkjv0 ("Pinch Hitting a King Air")

And the recent case of Captain Maggie: https://youtu.be/B229-KLudTo
The existing regulatory framework waits for bad behavior to surface and then outlaws it specifically, which is fine. That’s a far cry from a regulatory framework designed to “rein in” corporations more generally, i.e. with regulatory review and approval steps for R&D allocation and product launches.
> Multiple access points should share the same SSID. [...]. If you use separate SSIDs [...] it will often lead to laptop users remaining marginally connected to an AP they’re barely within range of.

I constantly run into this issue in my home network. Is solving it really just a matter of reconfiguring the routers to share she same SSID or is there more to it?
I'm not sure, it could just be a bad sample size on the free sites I have through Cloudflare. I will hopefully be reviewing those soon to see if it feels more widespread. It could just be a rule set incorrectly in the few I've glanced at. No doubt that though paid tiers can high caching hits, especially if you enable Argo.
There is an awful lot of negativity lately. And while quite a bit of it is arguably justified, it does seem a little over the top at times. And even more disturbing, to me, is that the anger sometimes seems very misplaced, and/or the proposed alternatives (if any) are very misguided.

Most notably you see a lot of calls for "more regulation", and demands for more government intervention in things. This is almost always a bad idea, and it saddens me to see this kind of thinking infecting the HN community.

We're hackers, we can do better. We could be putting out minds to work coming up with clever and elegant solutions to hard problems, instead of falling into the comfortable trap of "let the government fix it". Governments rarely, if ever, "fix" anything. And their actions almost always have unintended (negative) consequences.

So sure, be negative if you want. I can be pretty negative at times myself. But for crying out loud, let's channel our rage towards coming up with insightful solutions instead of abrogating our responsibility to help and just crying "more regulations".
It’ll probably help. In practice it’s always still a little wonky. I think it’s on the OS to determine if to when there’s a closer AP to switch to
This is actually good news. Cisco has been doing real security audits, where they go through the source code with a fine tooth comb and look for hidden backdoors. And even better they're actually telling us about them instead of turning them off silently. You can bet that a significant number of competitors have similar issues with backdoors. This is a case where a vendor is actively looking for security problems and putting in place processes to prevent them vs the normal vendors who just respond to security reports.
Sure. My email address is

barrypcotter

@icloud.com
Another World (video game)
'Mark Twain validates my idea so it must be true' -Mark Twain
I am happy I learned it via reverse engineering. It gave me skills that allow me to learn new things fast and it showed me that nothing is magic. You would be surprised how many uni cs graduates find a lot of computer things magic but do not have the tools in their head to discover they are not.

I am also of the opinion videos are the worst and laziest way to convey deep technical information; yet it is really popular. If someone wrote this into a post, I would he able to digest and try out in a very short period of time, with videos it is pretty uncomfortable. I wonder why it is so popular aside that most people who watch it will never try it out to begin with.
Is it expected that tasks take longer than in the solo/startup world

Definitely. I've gotten a lot more done at startups than at a FANG. Partially due to the reduced bureaucracy, and partially due to the ability to use tools that are optimized for developer productivity rather than scaling to millions of requests per second.

My manager hasn't mentioned anything negative in our 1 on 1's, but I don't know if he's expected to.

Yes, he would be expected to mention if he wasn't happy. And it would be fine for you to directly ask him for guidance.
> Somewhere in the middle is a responsible approach, for example the sponsorship banner you see at the top of this blog. Companies I choose to partner with get to appear there and they get themselves 140 characters and a link. That is all. No images. No video. No script. No HTML tags. No tracking.

Even that is blocked by uBlock Origin with default settings. I wonder how it knows it is an ad?
Same story here. Never got a BA, mainly because I was raised in a culture of poverty. By the time I was working as an engineer in 2000's SF it never made sense to go back. Now I feel discriminated against by organizations who feel it is a requirement. Luckily at 39 years of age with former employer prepping for an IPO I'm ready to go back to my blue collar roots and start building homes in the Sierra foothills.
I know people who have had this part of their agreement removed
yes as we all know, ideas carry moral taint in the karmic dimension if they are not conceived in perfect current year purity according to the book of tumblr
> For good roaming, increasing the minRSSI is critical.

This! I thought the UAPs sucked until I played with transmit power and especially min RSSI.

I’ve been using the UniFi line for about a year now, covering the whole property and house in rock-solid WiFi. It took a few hours of walking around with a laptop and tinkering with settings/placement but I couldn’t be happier now.
I'm now looking for a new email provider.

I hear good things about Rackspace and Fastmail, but I worry about US servers and privacy laws so I'm also considering self-hosting on AWS. Any suggestions?
What kind of compression do you get if you make a (colorized) copy of the dithered version and then use lossy compression on it?
> Kami, a Coq library that uses labeled transition systems to enable similar expressive and modular reasoning for hardware designs expressed in the style of the Bluespec language. We can specify, implement, and verify realistic designs entirely within Coq, ending with automatic extraction into a pipeline that bottoms out in FPGAs. Our methodology has been evaluated in a case study verifying an infinite family of multicore systems, with cache-coherent shared memory and pipelined cores implementing (the base integer subset of) the RISC-V instruction set.

http://adam.chlipala.net/papers/KamiICFP17/