skysight-inc/HackerNews huggingface dataset:
I get what you mean, but it’s worth remembering that TLA+ is a language that is designed foremost for thinking about CS stuff, and at the end of the day, it’s “just” an improved notation for mathematics (particularly the kind of math that’s relevant for describing systems). In fact, Lamport didn’t even believe it was possible for TLA+ to practically run on a computer when he invented it (someone else did TLC).

So, here are a few reasons that recommend learning TLA+:

* If you already know how to program, you can learn it pretty quickly; almost certainly in less than a month. Just use TLC as a highly responsive yet infinitely patient teaching assistant.

* Once you learn TLA+, you’ll not only find it easier to think about systems and algorithms, but you’ll also have more opportunities to practice since you just need pencil and paper. I find myself doodling in TLA+. I'll even go so far as to say that TLA+ has a Tetris Effect[1].

* This is probably true of most esoteric technologies, but since TLA+ is pretty obscure, the community is still in that sweet spot that is the intersection of smart and friendly. Lamport answers questions in the mailing list.

* Just my opinion, but TLA+ (or something very much like it) is part of the future of CS pedagogy.

[1] https://en.wikipedia.org/wiki/Tetris_effect
If you’re already keeping your social media protected/private, that seems like a pretty good sign that you’re not a political troublemaker or activist.

How do you figure that? I keep most of my social media stuff private but I would happily participate in, for instance, a unionization campaign and I will vocally support the sorts of folks that people like Damore seek to condemn.
I find that location to be easily findable, there are even two logical paths to the subscriptions page (One through Settings, one through the AppStore).

Where would you put it?
I'm a long-time yEd user. I think its secret sauce is the incredible time and effort its creators put into its automatic layout algorithms. I have yet to see anything else that matches it in that respect.

In particular, yEd is what I would call critical for quickly generating easily readable dependency diagrams with more than, say, 50 elements. The heirarchical layout supports octilinear edge routing (like subway diagrams), which makes resulting layouts readable even with hundreds or thousands of elements. Also, I have printed out large yEd dependency diagrams on a plotter -- so if you can "print to PDF" (like on a Mac or a recent Windows version), generating a PDF should be simple.

I just counted the number of options available on the
"hierarchical" layout. This isn't a competition, but it does give you an idea of how thoroughly their developers built it: there are 51 configurable options. And in addition to "heirarchical", there are 19 other automatic layout types available, each with their own options.

Additionally, yEd's native file format is graphml, which is an open standard and can be generated programmatically.
Yes, that's organizational discipline, not legislative decree.
Yes, exactly that. Also Google doesn't take actions when you report something or they just dismissed the reports: spam-blogging, spam results when you're looking for references, badly translated news sites copying content from legitimate sources, and the list goes on.
MacOS users are happier because ignorance is bliss
Ugh, every single time someone comments this :/
Alternatives to lynx: links, elinks, and my preferred console browser, w3m.

Like links/elinks, w3m supports tables and other layouts. It adds in vim-like keybindings, which I find vastly more memorable than lynx's keybindings, or the menu-driven approaches of links/elinks.

If you're now using lynx, you'll probably keep on prefering it. If you're coming from the vim camp, you may well want to try w3m.

Other features I like: the extensive configurability, colour schemes, and numerous URI handlers which can be specified. Nominally, those are for launching other browsers, but you could just as well chain in scripts or processes for various workflow uses.
I’ve been learning about Bonsai from Nigel Saunders on YouTube for a few years now. This spring I finally started trying to do some propagation.

Love it, great fun. The first year is tough though, there’s a lot of days where you’re just watering, no “fun stuff” to do, and everything looks basically the same as last week.

I expect after 12 months or so I’ll have enough plants in vigor to keep busy every week. Until then it’s a bit sporadic.
Or to full evil and fill the envelopes with microglitter.
It would be a far better use of everyone's time if instead of returning this to them or sending dead batteries back, we all put that energy into lobbying to permanently kill these types of industries.
Likely ps or top output showing process memory (VSZ/RSS) utilisation.
They usually say not to charge the battery and draw from it at the same time. They never say why.
Yeah, it’s all getting stitched together. I would expect v1.0 of OpenTelemetry coming in March, with W3C Trace-Context headers as the default format for context propagation.
My free time is divided between video games and playing with arduinos and other electronic tinker toys.
Prolonged stress exposure dampens response to stress?
> Finding the settings mentioned in the article is the sole dark pattern I can think of in iOS

How about not being able to simply copy music to or from it without having its paired PC with iTunes on it? How about Apple's cat and mouse game of obfuscating their usb protocol to keep people from using Linux to copy music to and from the device? How about slowing down the OS when the device gets older to “save battery life”?

Apple makes me puke, and their brainwashed delusional followers are worse then the Jonestown cult.
I meant whole-internet search, not local device search (Spotlight) and Siri suggestions.
What's fascinating to me is how Reddit is arguably at the tail end of "the pack" of major publishers. They struggle to monetize, yet possess one of the few remaining bastions of decent quality reviews depending on what you're looking for.

Arguably this is because there is still "full" organic reach possible, and the users govern the subreddits. If there were to be a major throttling of organic reach such that the only way to get prominent visibility on Reddit was to pay based on reach, or mods lost the ability to control and curate their communities, I wouldn't be surprised to see Reddit drop in quality and user base.
I suddenly wondered if the Go compiler would ever insert anything that phones home to Google or if any of the networking parts end up providing data to Google in any way.
"From the people I know " Cherry pick the 5 people you know.

99% of people will join Google on HN. So will most of Amazon. Don't kid yourself.
FYI, it's almost always the dealers that sell your data...and even your financial numbers if you filled them out in their office. They don't even anonymize it.
Like it was a "safety hazard" to have too many people at once in the smoking area behind the textile mill. It is a slippery slope to try to tease apart what is, and what isn't, interference right?

Google also has a clause in their employment agreement that says you agree to them putting surveillance software on your devices, company supplied and personal, as a condition of your employment. I asked about that one, got the HR response "Well I suppose you could interpret it that way, but that isn't what we mean." and I said, "Okay, lets change it to say what you mean." and got the "Well we really aren't in a position to change these documents, it would be a mess trying to track a zillion individual agreements." etc etc. That rabbit hole of pushing back and forth leads to "perhaps Google isn't the right place for you." :-)
So, get two batteries, and charge one while using the other to charge. Plus, you then have a charged backup battery...
You rightfully argue that lowering protection boundaries was necessary to uphold the law. The same logic can be applied in reverse though - there is no practical need to smuggle data into the country on a physical device nowadays, so why search devices?
Google users are not the only target of Google's data mining, so this is extremely disingenuous. I'm not even sure how to define a Google user.

Furthermore the comment seemed in reference to the origins of fascist political ideology in Europe and their relation to what happened when data mining was weaponized against a population.
> - symmetrical crypto with shared key across all clients, letting any VPN client act as any other client

That problem should be solved by signatures or at least a chain of one to one key exchanges. But having a shared key sounds bad.

> - no PFS (straight AEAD with AES-GCM)

What does the cipher and AEAD have to do with PFS,I thought that was a key-reuse problem?

> - alternatively, sketchy home-grown AES-CBC crypto that doesn't seem to be authenticated and as such allows for replay attacks and whatnot

Yup,home grown sounds kinda bad but I don't see the peoblem if they just replicated the process with their own code without modifying how it works and avoid IV reuse.

> - home-rolled SHA-1 pbkdf1 instead of stdlib pbkdf2 with a better hash

Same as before.

> - static routing (ie. no way for a client to decide what prefixes to announce at a given time without updating the centralized config)

Sounds like a feature request. PR?

> - no support for roaming clients like phones or clients behind NAT (currently just depends on being able to send UDP datagrams to a preconfigured remote address)

Again, a PR would be nice,any project adds features as they grow.

You have good critique but I don't think any of this means the project or quality is utterly bad. Issues and PRs will help them a lot I am sure but your first point about shared keys does bother me a lot.
Postgresql > pgadmin

For less technical people > metabase

For automated reporting and storing historic trends > Klipfolio

For near real time automated operational reporting > kloud.io
In my experience on both sides, pleasantness is directly correlated to the number of cars in line.
Unfortunately Spotify is near useless to me now as it is inundated with kids songs polluting my lists, and the occasional listen to a song outside of the norm for me somehow also does the same thing.

They REALLY need a way to easily say "exclude this genre entirely from my recommendations" or from specific auto-lists. I'd also love a way to reset the learning features or specify more clearly "only learn from these playlists."
As nasty and convoluted as they often seem, your remark is a prime example of why I respect the regulations of my country.
Is it pro rata if she leaves Kaiser before 10 years?
Practice handstands.
You can’t possibly know that to a high degree of certainty, especially since you haven’t explained why you think so. I sure hope this isn’t what happens inside of Google - doesn’t sound like an inclusive atmosphere to look down on others!
Measurement of power changed, I think.

In 1971, Car & Driver claims a Corvette with 425 hp did 0-60 in 5.3 seconds[1]. 1/4 mile was maybe 13.8 s. A 2008 Corvette with supposedly similar power did 0-60 in 4.1 seconds and 1/4 mile in 12.5.[2]

Yeah, there's some difference in weight, and modern transmissions, tires, and suspension are better and so on, but there is usually such a big difference that I think most of it is that horses used to be smaller.

[1]https://www.caranddriver.com/features/g15379023/the-chevrole...

[2]https://www.motortrend.com/cars/chevrolet/corvette/2008/2008...
Lurk HN? :)
You are wrong. Dead wrong. Doom does not have a big dumb story, dialogue, cut scenes etc. It has great gameplay, pure and true.
One of the best pieces of life advice I've seen was from Nigel. In the context of bonsai he said to grow a lot of trees. You prune the bonsai maybe once or twice a year and re-pot every 3 years or so. So maybe an hour of work a year for one tree: that's not a hobby :-)

I've realised this is true for a lot of things. I used to worry that my home made cheese wouldn't turn out. But if it doesn't turn out well, I will need to make it again.... and cheese making is my hobby! What wondrous luck ;-)

WRT the original question, it doesn't matter what you do. If you want it to be your hobby, then do a lot of it and have fun :-)
> The logical conclusion, of course, is that Disney should've just bought Netflix

If we're playing this game, Apple should buy Disney. YTD, Apple's market cap has grown by more than the entire market cap of Disney.
That is not in any way untrue... but I understand why they don't care :)
“Wouldn't the moral choice be to just not watch?”

I agree with you here but people grew up with Disney. Certain people have an affinity for Disney like I’ve never seen for any other brand.

They will bend over backwards to justify watching it, even if it means making some serious moral compromises.
Economics for Hard Times
Windows 10 Mobile on the Lumia 950 XL was 32-bit on a 64-bit SoC... because MS did not get an ARM64 OS ready
> there had been forewarning of "Gods" from the east who would conquer the Aztecs

I'm reading a history of Christianity right now, that says this.
Apparently the Aztecs had wiped out an earlier civilisation (Toltecs), and the legend is that the defeated king would return as a god and take revenge. The return would occur in a certain year of the 53 year Aztec cycle, and the avenging god-king would come from the East, and be light-skinned (all of which matched up).
I guess it depends on your definition of activist. When I hear that, I think of someone like prominent tech twitter personalities who are employed at places like google/github and like to get into flame wars on twitter and so on. I assumed that’s what the person was talking about as well.

I think there are plenty of people who might sign onto a union election or unionization at work who aren’t social media bomb throwers. I’d consider it myself if it came up and were convinced it would be good for me as an employee. I don’t think an employer looking through public social feeds would be very effective in screening that out, especially in technology where the majority of employees are openly liberal and Democrat in my experience.
Earn more from your employee stock options
GrowthAdvisorHQ revolves around Employee stock options. We want to empower our users with the perspective and knowledge that gives them the power of choice and negotiation.
We believe that the stock price is not series of coincidences but a data driven science. We use that science to validate your career choices. We also help you discover the future earnings from your stock options. We also help you find and negotiate the optimal stock option offers. check our website for more details. Growthadvisorhq.com
What little I've read about USB sounds crazy complex. I wouldn't bet against remote exploits of the kernel driver by sending malicious packets.
Perhaps put you biases aside? There are white supremacists who don't think they're racist. (It's kind of like someone claiming they aren't homophobic but also opposing gay marriage.)

It's a complicated subject.

IMO, I don't see how someone can be a racist / homophobe in secret; thus I don't see a justification for spying on a co-worker just to find out things like this.
Well, they don't need to care (about supporting DRM), they just need to stop being DRM freaks to begin with and start releasing DRM-free. That's the only real fix :) But of course, it's Disney we are talking about. They never learn.
I learn bluegrass guitar licks. Lots of free resources on Youtube.
They should instead guarantee interest free loan backed by your house if you stay with them over a year. That way if they go belly up you have that loan to so something yourself or while you look for the next gig. Removes some of the risks .
It also sounds pretty unbelievable.

You can't really just walk into some research hospitals and somehow find yourself talking to the right person who will get you in as a research intern. In my experiences, sadly, virtually all research interns are basically just the PI/member-of-lab's daughter/son or a collaborator's children/relatives.

One reason I can think of as to why this is is that you do really need a filter, because not having a filter will cost you immense time. It just turns out that references -- which are bound to be from your close friends and relatives -- are a signal one tends to trust.
Yes, wings' reliance on the Bernoulli effect certainly explains why it is impossible for paper airplanes to actually fly. ;-)

On the other hand, the Bernoulli effect might also explain why floating ping-pong balls held up by an air stream don't fall out of it.
If the budget is $100, then bringing a compact mains charger seems easiest. E.g. https://www.themu.co.uk/collections/collection/products/amer...
I live in India and I get ads all the time for products and services that aren't even available in my country. Like real estate brokers in Texas and car dealerships in Ohio and property investments in Abu Dhabi. I'm not using a VPN and haven't mucked around with my location settings.

Some of the worst targeted ads I've ever seen are on Reddit and Imgur
Learn You a Haskell For Great Good (http://learnyouahaskell.com/).
Despite Haskell's reputation for its difficultly due to its strictness and fundamental differences with mainstream imperative languages, the book manages to smoothly introduce the purely functional paradigm with tons of effective and concise examples.
The book ends just where the infamous Monad is introduced and doesn't touch any of deeper capabilities of Haskell's type system, but still serves as a wonderful introduction to the language and pure functional programming. A lot of people mention SICP as the book that made them rethink/rediscover computer science, for me this book had the same effect.
As a frequent traveler between the US and Canada, I’ve only ever got grief (including accusations of smuggling) from Canadian officials. Going to the Us side it’s usually a simple “have a nice day”.

And I have Canadian citizenship.
FIDO2 in iOS 13.3 Beta2
> you no longer have to be tolerated by anyone adhering to it.

The point of tolerance is to tolerate.

Just because you have managed to find an intolerant viewpoint that survives our current memetic filter, does not change the reality that you're the one preaching intolerance, right here.

Hate movements throughout history have been supported by logical-sounding arguments for marginalizing some outgroup. I don't think that stoking rage against backwards political ideas is virulent enough to end in killing fields per se, but even the current increased polarization is not good.
I don’t really understand the relation of your comment to mine.

I’ve worked at a (US) company with a prayer room that was used by some Muslim employees. As a Christian myself, I don’t think it would have been considered a problem if I used it when it was vacant to say a prayer, although my religious tradition doesn’t have the 5x/day prayer requirement like Islam does so I never did.
Thanks for that info, I was curious
WebAuthn supported in Safari, SFSafariViewController and ASWebAuthenticationSession.
Your post also exaggerated and extrapolated everyone working there as "slackers". Not too mention the combative attitude HN has toward Googlers anyway. "How can they work their morally" etc .

Anyway I won't engage further. And I won't get personal. I still think it's a great company to grow as an engineer. You should definitely explore if you ever want to move on.
> The oversupply caused by this bizarre fixation was noticed decades ago and a warning was published in the Federal Register in 1983:

> https://www.govinfo.gov/content/pkg/FR-1983-08-02/pdf/FR-198...

...starting on p. 13, for interested parties.
So the only peer-related functionality is allowing a site to share videos with other sites? While I appreciate the project, this seems like a useless gadget to me.

If we want to fix the problems of Youtube we need a service that allows creators to independently make their own video distribution website as easily as creating a Wordpress blog today. It means something that just works without technical knowledge, while the creator has 100% freedom and responsibility about what is hosted.

The www is decentralized by nature, no need to reinvent crazy and complex things. We just need to be able to create a video-distribution-website as easily as a facebook page or a youtube channel.
How quantum teleportation works by Michael Nielsen
Radiation-Hardened Microprocessors
...for the spaceship maker in everyone!
What’s with them mprotect here: https://github.com/byuu/bsnes/blob/master/libco/x86.c ?
Seems like there's a lesson there about sticking to tried and proven solutions even if you come up with a better one. Or maybe it's a worse is better thing?
There are approaches to combine the two. See for example this article about Jupyter and vscode [1].

And to ”close the loop”, you can of course access vscode using browser with Visual Studio Online [2].

[1] https://code.visualstudio.com/docs/python/jupyter-support

[2] https://visualstudio.microsoft.com/services/visual-studio-on...
Does this mean I should throw out my OpenTracing book (which I haven't started reading yet)?
The issue is that many believe that the feature set is the problem. Why do you need consistency across services that have little in common?

The basic idea of an init system is pretty simple: start services in such a way that the system comes up reliably. There are two main approaches here, simple but inefficient or complex and more efficient. The FreeBSD/rsysv approach is the former, while the systemd/launchd approach is the latter. If I just want to make sure services start on boot in the right order, why not just have a script run it all? For 99% of use cases, it's good enough, so why complicate matters?

I do appreciate systemd and the faster boots I get from it, but I still find myself longing for similar init systems.
I keep a stack of things to read on a table, usually a mix of popular press, new scientific papers, a text book or two, and the occasional novel. Ideally I spend 2 - 8 hours a week reading things from the stack. I say that is 'ideally' because if I read less than that the stack accumulates :-).
Has a bunch of PMs or whoever decided that they'll f* up
the business in the long term chasing OKRs? It looks like
they introduce these sort of "features" every now and then
which should spark more outrage but looks like people don't care even if they are aware.
I am unfortunately in the minority who cares enough not to use FB/IG :-(

Also, the hypocrisy [1].

[1] https://www.theguardian.com/technology/2016/jun/22/mark-zuck...
How are they going to determine whether they have "reasonable suspicion"?
Thanks for rooting! I’m sorry it looks confusing. It took several iterations for the humans to converge on a single project, and achieve something like consensus about what we wanted. But it feels like we are there - there’s ~100 working on it now, and I don’t see any remaining blockers.

From the inside, it’s felt like steadily rolling up a larger and larger katamari ball, if you remember that game.
Slow to expand to other countries? I would say they are operating at lightspeed! Think for a moment the colossal effort involved in expanding a car company around the world. And not just a car company, but a direct-to-customer model with a completely new fueling method.
The price peaked at about $12 in July. It has trended downwards. Currently it's about $0.85. Meanwhile about 5% of the 1 million total issue of coins has been deleted or "burned" in transactions, as planned.
I feel like this is very useful for generating Yaml files from bash or for sharing parts of a Yaml file. But not for manual editing. For that my brain needs to be able to see everything at once. It could work with special support from an editor.
Hydropower is actually not so nice when you take into account that it's the reason that many fish species are on the brink of extinction. That's in Europe at least but it seems that it's also a problem in the US, see https://www.vice.com/en_us/article/gvm7vq/power-plants-are-b...