skysight-inc/HackerNews huggingface dataset:
While I find the book to be written in a sarcastic tone, some people take it at face value. Your friend might be among them and enjoy the read in a very different way.

Choice quote: "and if he emerges victorious from a contest, he owes it very often not so much to the correctness of his judgment in stating his proposition, as to the cunning and address with which he defended it. "
Oracle Pits GraalVM Against Google Go – JavaWorld
It also happens to disable quite a bit of tracking. Yay for selectively whitelisting JS!
Tooting my own horn a little, I recently wrote a short guide on setting up a home VPN, it’s working great for my needs: https://mikkel.hoegh.org/2019/11/01/home-vpn-server-wireguar... :)
> This reads like a commercial, but I'm not going to downvote it

Is it possible to downvote a submission? I thought you could only upvote and flag?
And so maybe Assembly finds a "this one's just right" spot between minimalist Flask and maximalist Django.
I get an error 500 on steamlense :/
Also, the copypasta is itself an over-the-top parody of a family of myths about a righteous True Christian having the courage to demolish the beliefs of an atheist professor. One version of this myth is also the origin of the "That man's name? Albert Einstein." meme. [1] [2]

[1] https://rationalwiki.org/wiki/Atheist_professor_myth

[2] https://www.snopes.com/fact-check/false-einstein-humiliates-...
So are you suggesting because they’re Cambridge grads they are the authority on “polite?” I am not a Cambridge grad, but I find it quite rude to assume a gendered pronoun when one has not been provided.
Ah, well said, that will teach me to give unsolicited advice to strangers! :)

You give very good reasons for quitting and if there is such a basic disconnect between you and the activity of coding, it absolutely makes sense to pursue other career options.

I wish you best of luck on your future endeavours, wherever the future might take you!
Hate to see efforts go to waste.
I've seen all the episodes of the "Up" series. And I think it's affected the way I approach and talk to people at my high school reunions. 30th and 40th were the most interesting -- seeing people at their peak maturity (in the 30th) and starting to decline (at their 40th)
You can drive, you just can't drive professionally. Getting to work is not driving professionally.
Thanks for writing this. This is awesome.

What I see missing is an ecosystem of interoperable tools.

It would be great if I could have a location/format in which all my digital knowledge is stored. And then be able to use different tools which support multiple processes/flows:

* a flow for discovering content

* a flow for archiving the highlights I take on the web

* a flow for writing notes

it would be great if I could change any tool while keeping the flow intact.

The only thing that somehow mirrors this is Evernote + Readwise + IFTT. There are tons of integrations that allow you to populate Evernote from tweets, Highly, Kindle highlights, etc. What I would love is if I could easily swap Evernote with any other editor (e.g. Bear) without changing much.

I wouldn't mind paying for these tools I would just like this personal knowledge software to work in a way in which you can natively add blocks/functionality to it. Most of them have huger vendor lock in.
They do stream from satellites; that's why it's called "satellite radio". That doesn't mean they can use as much spectrum as they want; they only get so much spectrum to broadcast in, so they can either have fewer higher-quality channels, or more lower-quality channels, or (what they did) a scheme where different channels can have different quality levels. But of course, they assume that most listeners can't tell the difference between good quality compression and poor quality (too-low bitrate) compression, and aim for more channels to satisfy more diverse tastes.

As an aside, SiriusXM isn't just broadcast from satellites; they also broadcast in cities from terrestrial towers, because in cities the reception from the satellites frequently isn't good (too many tall buildings and tunnels, too much multipath distortion, etc.). This doesn't change the spectrum allocation they're granted though.
Besides the security implications, if there's no way to legally stream Disney content in my country and I desperately want to watch it for some reason I'll pirate it. Why should I jump through hoops to give them (and an unconnected third party) my money if they don't want me as a customer?

I'm making a genuine effort to keep all my entertainment above board by being a paying customer to Netflix, Amazon, Spotify, Google Play, YouTube Premium, Steam and a few others, but I have to say that my patience is wearing very thin with TV/movie studios and their idiotic licensing shenanigans.
Evolution of placental invasion and cancer metastasis are causally linked
Sequence:-

1. Try private mode

2. Disable javascript and hit reload.

3. Use lynx

But then, this article is one of those rare ones where I'd like to be able to contribute more directly.

(Edited)
Don’t Do a Healthcare Startup
The expanse is very Low tech in SF terms, certainly when building top end Traveller forces you tend to have individual point defence built into the armour.

Ok at that point the avionics fit for a fire team would buy a small starship.
The line between "unintentional" bugs and "intentional/malicious" escape hatches is quite fuzzy given the extent that most Rust projects rely on outside code. Soundness bugs, at least in stable rust, are serious and should be addressed as such, or Rust developers will end up with a leftpad situation as soon as a popular third-party crate 'unintentionally' introduces some sort of soundness concern.
Learn Two Programming Languages
"Anyone with basic electronics training can build the device at home for little cost"

Depends on how much you value the cost of losing your memories, emotions and possibly sex drive.

This is such a bad idea, please think about what your attempting to do and the huge risks involved before trying or buying this modern snake oil.
How to research, mainly how do we use logic and reasoning to decipher information into buckets of facts, opinions and garbage?
If AMD consistently outperforms Intel's high-end gear, I can easily see a Milan-based MacPro. Everything needed to trounce the current model is already in the EPYC Rome package.
some authors try to distinguish complexity from .. hm.. "chaotic" ? in that, complex means a lot of working parts to form an action chain (or similar) .. contrast to other systems that are not knowable or repeatable, like actual economic systems, or an enterprise of humans doing a business function, including the considerations of humans

Engineers are often taught to simplify and clarify, for great result.. but not all systems are actually decomposable that way .. some schools of business management too..

So a moving, non-trivial, not-reproducible system of systems cannot be considered 'broken' because.. there is no substitute for it to test a fix
Cryptography was both my favorite topic in school and the one that cemented my realization in that I wasn't good enough to do math for a living.
I'm thankful for my dad who survived a massive hemorrhagic stroke to be here today and celebrate Thanksgiving with us. He is recovering slowly but surely :)
Thank you, I already live and work here for 10 years, otherwise I wouldn't dare to comment about stuff I have no first hand experience with. Good luck to you
Numerical and experimental investigation of dough kneading in 3D spiral kneader
Don't forget cell phones and Fitbits.
Can you stop editing your comments to mean something entirely different after people respond to you? Here’s what I have from a couple of minutes ago:

> Basically, Rust just pushes the subtle bugs down a few layers, making them more subtle and likely to bite you at the worst possible time.

> And false confidence in the borrow checker and the type checker will make it harder to find these problems.
I'll pass.

Here is what you have now:

> Rust is different from any other language, considering the care and deftness that its creators go to bring advanced computer science and language concepts to the masses.

This isn’t the first time you’ve done this and it makes it very difficult to interact with you in good faith.
The problem is that many people believe "empowerment" means "do whatever the fuck I want." At any company you are going to have objectives and goals, and empowerment means getting the responsibility to make the hard trade offs yourself.

It doesn't mean you can do something outside of the corporate goals, and it doesn't mean you can just ignore some of the challenging parts of the job like delivering a working product to customers in a timely fashion.
I'd like to point out that basically following this strategy is how you end up being the A-Hole team lead. This could have been the path OP's team lead took at some point in his career because someone else was making his life miserable at that point.

I'm not going to downvote you, since this is blunt, real talk of how politics work in the real world, and I feel like we need to be aware of it so we don't fall prey to it. But I can see why you are posting under a throwaway.

As others have said, this is not the only option and one can just leave & take a break / go somewhere else.
Natural date time parsing for Go
From what I can tell it's available as actual software running on your device instead of an online service. Additionally, it seems to be fully free software.
I'm an advocate for carfree cities and an Australian.

But in rural parts of Australia, in the early days of cars, people could have to walk a whole day on poor roads to get to the nearest town in the relatively densely populated state of Victoria. Public transport is not an option in the country.

Participation in public life without a car is important and a human right, but it needs to be focused on towns and cities, not rural areas. Cars are optimised to the needs of the country.
Not sure if you caught it, but Ralf does address this somewhat in the thread:

> Good question. We even had a sketch of a formal model for pinning, but that model was always about the three separate pointer types (PinBox<T>/PinMut<T>/Pin<T>). The switch to the generic Pin was done without formal modelling.

> Actually trying to prove things about Pin could have helped, but one of our team actually did that over the summer and he did not find this issue. The problem is that our formalization does not actually model traits. So while we do have a formal version of the contract that Deref/DerefMut need to satisfy, we cannot even state things like "for any Pin<T> where T: Deref, this impl satisfies the contract"

That does sound scary, but I think the point is that this is a known blind spot in the formal model. It also has a known solution; the trait ought to be unsafe, so that the implementor takes responsibility for upholding the contract. The issue with Pin is it’s using an existing, safe trait, on the informal assumption that it couldn’t be unsoundly aliased by users. (Of course that turns out to be false.)

So you can look at that and say “an unsound feature got into the stdlib without passing formal verification”, and that’s true, speaking to a lack of concern for formalization.

On the other hand, you could look at it and say “the unsoundness of this feature is well isolated by formal methods and leakage at this interface is not the end of the world”, which is also true, and speaks to the utility of the formal work that has been done.

It seems clear to me that the answer for Rust is “balance”. Formal verification is important not not to have, and things that can’t be verified shouldn’t be allowed. But formal verification takes up time when everything could be working 100% in production, and the alternative is likely even less sound formally, so it’s better to build an API now with some known risks than to wait for something known to be risk-free.

Whatever your personal philosophy is, it seems clear that toeing that line has been instrumental to Rust’s success.
Trump Is First to Use Patriot Act to Detain a Man Forever
This is also a Cryptopals exercise in Set 8:

https://toadstyle.org/cryptopals/61.txt
Virtually every application of blockchain is better off as an old fashioned RDBMS
Show HN: We used 890M chess games to make an interactive opening graph
Up over 130% in the last 12 months, but up ~20% in the last 13-14 since AMD took a nosedive in October 2018 with the rest of the semiconductor stocks.
> I think that content feeds need to incorporate goal-orientation and move away from right-here-right-now orientation

I think part of the issue with the current inbound content queues (e.g. Instapaper, Pocket) is that they treat all content the same.
There is a difference between content I need immediately from content my future self will find interesting in the future.

there should be a way to rank/aggregate content according to this.
Ask HN: Make money programming w/o full-time job
Whats the easiest way that I can make some income but without starting a 9-5 salaried job.

Really I'm soured w the way that responsibility ( and the politics of collective development ) expands in normal jobs.

Alternatively:
What kind of codified services would you suggest making which don't already exist?
> Second: if you can scale this across markets, and assuming the same return, that investment will turn into 12 billions in 4 years.

Scalability and profitability are orthogonal. If it could scale indefinitely, you'd be right. But no trading strategy can scale indefinitely.

That doesn't say anything about whether or it "works", and it's not a reason to be suspicious of the results, in of itself. All successful trading strategies are capacity constrained.
As a Rust user, I think it's fine for the grandparent commenter to link to the I-unsound tag; even if some of those bugs are only accessible on the unstable nightly release, there are plenty of soundness bugs to choose from on the stable releases. The important thing is Rust's philosophy that soundness issues are to be taken seriously, even going so far as to allow backwards-incompatible changes if necessary to address them (though obviously this is a situation of last resort).

There are several people working on formalizing aspects of Rust, and though it will take a long time to get there such efforts have already found and fixed bugs in Rust and its standard library. It's fair to take SPJ's critique on the chin for now; Rust deliberately chose the path of eventual soundness in order to produce a usable language in less time, and as long as we keep working towards that goal there's nothing to be ashamed about.
Total sleep deprivation impairs attention and higher-order cognitive processes
We need legislation which deals with the reality of the PII loophole. While the ACR data on its own may not identify me/my household, it absolutely does once it's combined with the rest of my fingerprint in the cloud.
Except git, of course.
I did, doesn't work in Firefox on my Surface Pro 3.
Isn't that essentially just plants with an extra step? Or well worse than plants given it depends upon formate as an energy source.
Noam Chomsky on Language, Cognition, and Deep Learning
University of Cape Town (UCT) Adopts Ethereum Blockchain to Keep Student Records
>I would consider banning slavery as more civilized, but it is an expansion of civil liberties.

It's an expansion of civil liberties for one group (the enslaved), at the cost of limiting the civil liberties of another group (the former slave owners): you're preventing the slave owners from exercising their freedom to enslave people and force them to work.

>Same with having general freedom of expression. Any thug can ban "lies" he doesn't like.

Same here. Even a law that bans yelling "fire!" in a crowded theater is infringing on the civil liberties of people to speak freely and cause chaos.

Personally, I'm perfectly happy with these infringements of civil liberty. It's better for society to avoid needless chaos from people shouting "fire!" and to prevent people from being enslaved. But they are limiting absolute freedom.
Been in very similar situation with a CTO/tech lead. I walked away. Didn't have stock though so was easy to leave. Some people are just hard to work with. I had delivered well over 40% of all code changes in a team of 6 devs, but I felt he was just a bully and chaotic.

I also told the owners why I left, got a muted response. From their position it's just one guy's opinion. That tech lead left a couple months later I saw on LinkedIn year later, he even moved countries (from Europe to Canada). Couldn't care much tbh. It really was a relief to be away from the guy at that time.

Took a couple of months after leaving, took my time seeking a new opportunity. Moved, refurbished, walked a lot.

Now back at it. I noticed I care much less, I was too attached to the product, too involved. Perhaps if I hadn't I would have dealt with it more constructively rather than avoiding/ignoring/getting frustrated. Now I am perhaps even more productive but I don't care much about the product; not caring saves stress and avoids getting into conflicts.

Perhaps just taking a long time off (couple of months) would have solved the issue, but I don't expect people's character traits to change so in the end I feel I made the right choice.
> I looked a little into RustBelt; how would it have helped this `Pin` issue? I browsed [1] a bit and it seems like `Pin` would have to have been proven on its own in an ad-hoc way not covered by RustBelt.

To clarify, we do have a work-in-progress formalization of pinning as part of RustBelt [0] (I worked on it over the summer). We did not discover this issue because RustBelt does not currently model traits, and the problem here is very much about the interaction between traits and pinning. Ralf touches on this in the linked discussion:

> Actually trying to prove things about Pin could have helped, but one of our team actually did that over the summer and he did not find this issue. The problem is that our formalization does not actually model traits. So while we do have a formal version of the contract that Deref/DerefMut need to satisfy, we cannot even state things like "for any Pin<T> where T: Deref, this impl satisfies the contract".

[0] - https://gitlab.mpi-sws.org/iris/lambda-rust/tree/gpirlea/pin...
Just quit and do something you love.

Software is overrated as a career. Save yourself years of depression and find your passion and pursue it.

Your friends and family will understand when they see you happy and enjoying life.
The PRC's pressure on Muslims is hardly limited to Uyghurs. Please consider this recent NPR report ("'Afraid We Will Become The Next Xinjiang': China's Hui Muslims Face Crackdown") in Gansu and Henan: https://www.npr.org/2019/09/26/763356996/afraid-we-will-beco...
The sooner GDPR and CCPA and others outlaw practices like this, the better. I use my TV as a big monitor, and if I happen to have accidentally agreed to something whose fine print allows this, it could have sent some really sensitive information.

Could you imagine if your smartphone screen or your computer monitor did this? I think samsung makes the iphone screens. What if they randomly sent screenshots with personal identifiers back to samsung? Who in their company possibly would possibly think this is okay?
I’ve been using Inbucket[1] for a few years as a self hosted temp mail service. I wouldn’t use it for permanent addresses but for testing and burner-like uses it works well.

[1] https://www.inbucket.org/
I don't think ML and NNs are at the point yet where you don't need to understand the math.
Deming
Main problem with simply using a different name is that the server has to keep track of the mapping between the producer port and the consumer port. As it is currently the server has almost no state.
Oops I wrote 60Hz but meant 120Hz.
Think a Minute
The recent tic tac videos are the first Salvo to all US enemies of our new technology of our ability to project holographic warfare globably. These objects will appear as solid and get hits on both air radar and sonar tracking devices. Imagine drone swarms appearing in mass in both theaters of air and water? Which ones do you expend your ordinance at? Imagine the speed this delivers combat chaos and ineffectivneeds to all involved in going toe to toe war with us. That type of psychological edge...again appearing real in air and water, will give us the critical time advantage for first strike master deployment of our arsenals to neutralize our enemies most formidable weapons systems. It will all be pretty much over for them as they exhausted they're weapons shooting at blanks that register as real incoming threats.
If you’re using “sketchy WiFi”, you’re still more than likely using https so your traffic is encrypted.
Does it still works if you use DNS over HTTPS ?
I'm curious to see if the traffic is redirected because they dectected disneyplus.com DNS request or if it's destination IP based
Absolutely, I don't think there should be arbitrary barriers to entry for people who wish to dive into the deepest parts of Rust's type system. Finding a suitable replacement for `Pin` would be such a big task that I'd say it's not worth considering for anything short of a hypothetical "Rust 2", but hopefully in the meantime we'll soldier on and get a better idea of the problem space in the meantime.
That just needs a few lines of plot glue to fix that problem! Like, "Warp drives need to be oriented parallel to the ecliptic plane of surrounding celestial bodies to best calculate navigation and maximize their space bending effect. Naturally, ships keep this orientation at all times just in case."
Is that a feature of the JVM? Do you have more info about it? thank you for all your work!
Don't think it was necessarily a plot hole, albeit after the fact. Plenty of sci fi authors have taken similar approaches throughout the years. The idea is that in a spiral galaxy the natural tendency would be to stick with the orientation that matched the galactic plane along the right-handed spin (to determine up vs down) and some authors have even extended naval directional signals into space. This is from The Lost Fleet:

"Within a solar system, directional references were always made to the world outside a ship so other ships could understand them. Anything above the plane of the system was up, anything below it down. The direction toward the sun was right, or starboard, (or even 'starward' as some urged), while the direction away from the sun was left, or port."
> We cannot drop everything, nor stop all development, in order to get proofs.

That kind of contradict some of the reactions, e.g., in this thread about adding an `Ordering::Unordered` to the language: https://internals.rust-lang.org/t/unordered-as-a-solution-to...

Where it is essentially argued that "all development should be stopped until we have formal proofs".

I guess it depends on which parts of the language things touch. `Ordering::Unordered` touches fundamentals parts of the memory model, and well, `Pin` touches the fundamental kinds of values that Rust has: owned, shared, mut shared, and with pin, also pinned.

When people complain that things are stabilized too quickly, I don't think they complain about async / await taking years. The `Pin` API was unstable for like less than half a year in its final form before being stabilized, that's quite a short time for people to try to find holes in it, given how fundamental it is.
Yes. But this is only the start of the journey.

Maybe in a decade or three, it will be possible to pay taxes in a cryptocurrenty too.

For now, we should be careful and observe as the technology evolves and the impact of cryptocurrencies on markets and society increases.