skysight-inc/HackerNews huggingface dataset:
You can't apply maths as a test for it, you need someone who can tell you when you are wrong. It is not easy like a program crashing or an api returning an error, all errors when doing maths are entirely silent.

Lets take an example from the subject at hand, series in calculus: we want to prove that the sum of a series converges, how to you verify the proof without an instructor? Check that it is the same as the book? Most likely it wont be the same, proofs can come in many different ways. So either students start discarding their correct solutions thinking they are wrong or they fail to discard wrong solutions. Either case they fail to fully grasp the material.

You need to be a genius to properly root out all the errors in your head on your own, doesn't matter how many videos or books or tutorials you go through they can't evaluate your creative solutions like a real person can. Of course the need for instructors mostly disappear as you reach mathematical maturity, but to get there without help is extremely hard.
>I run a collection of websites that all use infinite scroll and serve ~90 million MAUs.

The point is whether those same ~90 million Monthly Active Users would be better served by more traditional page flipping or some other navigation mode.

I believe that it greatly depends on the specific site and its contents, but the original article sounds like good (and often "rare") common sense, if you have good reasons (and can actually provide a working, not annoying, solution) go "infinite scrolling" if you are not 100% sure stick to more traditional pages.
Wael Ghonim: Let's design social media that drives real change [video]
Scientists are concerned. Please read the actual report, not just the BBC coverage. It's pretty good.

> I don't have a gambling addiction.

We're not talking about you. We're talking about a population of about 15 million people.
>I’d probably make the craft change directory

How do you know that the ETs use a hierarchical filesystem?
I don't want to parse Markdown when I read emails.

(and I don't have common sense either)
> "More housing" does not automatically translate to "affordable housing"

Imagine two hypothetical cites, each with one million residents. The first one has half a million apartments, while the second one has ten million apartments.

Which city would have cheaper apartments?
Is PHP Entering a Death Spiral? Tiobe Thinks So
As amazing as it seems, a lot of far left people in the Bay Area who engage in the housing debate actually don’t believe in supply and demand. Hard to have any kind of discussion on that basis.
1 is a non-negative number. fputs() return nonnegative numbers on success...
It is already there in some form as 'Go Cloud Development Kit' [1].
Though many claim it is not really enterprise scale until a petstore application can be created in it. And a flawless implementation of EJB 2.1 made enterprise fall in love J2EE. I am not sure Go can deliver anything remotely powerful as that.

1. https://gocloud.dev/
I know burnout patients who until breakdown where " at 3". Hire a recruiter to ask them whether they are searching.. More honesty that way.
No, I'm not. Family health issues.
You're gonna be ok. You're starting your career at an awesome time and place for your skillset, and you will only continue to grow in value if you put in a little extra effort to keep learning and keep your skills sharp. Some thoughts:

- Set up a budget, and get into the habit of sticking with it. I just do the bare minimum, writing down (or putting into a spreadsheet) everything I buy with very basic categories: need, want, food. Make sure you give yourself enough 'wants' money, or it'll be harder to stick to. Put the rest in savings/investments, and then don't worry about the next step of house or other big purchases, because you'll be on track to afford them.
- Don't worry too much about the specifics of your commute/living space/job right now. Choose whichever one you feel is the best for now, and keep in mind you're not stuck there. You can always leave for a better situation after a year or two.
- Caveat to the last point: most employers will work with you in the hiring process. Worried about the commute? Tell them that, ask for a bus pass or an extra day of from-home work. Feel like you should be making a bit more than the offer? Say that. Don't be afraid to negotiate a little bit because doing that will get you much farther ahead in the long run.

Just some unorganized thoughts, but you've got this!
I have not tried rocks, but I like buckwheat pillows way more than any feather or memory foam pillows.
Quick and easy way to deal with this: disregard the daily news entirely unless it profits you.

Israel left listening devices around the White House? Big if true, but we have the Department of State, Intelligence Community and Department of Defense to deal with this crap in approximately that order. If it turns into anything big or is part of something bigger, someday there will be a book about it.

News in all its forms is a product. Either the product has value to you, or it doesn’t. If a piece of news has value to you, you will find a way to verify the claims, either personally or getting someone else to do the grunt work for you.
Ask HN: Should I Buy Notion Premium?
I have been using Notion for a while now, and I seem to find it useful, should I go ahead and buy the premium or are there any better alternatives out there?
Yes, rtm is Robert Tappan Morris. He is - as I understand it - one of the co-founders of Y-Combinator[1], so it would be natural for him to have an HN account. Note though, that he hasn't exactly been a prolific poster here.

[1]: https://en.wikipedia.org/wiki/Robert_Tappan_Morris
Yeah, why would something well-written be on Wikipedia?

It's definitely not more notable than a list of butterflies on stamps of Australia https://en.wikipedia.org/wiki/List_of_butterflies_on_stamps_...
Right instead of a society in which everyone behaves accorsing to their own free choices, and incentivized to make a socially helpful choice via some kind of personal reward (profit), we should instead have a society in which people are incentivized to work for others because of what? Force?
Just putting myself in the shoes of someone at Politico, I think they would point out a few things.

Is it reasonable to compare this article to a wikipedia article? The publishing time frame and the number of people involved are way different. Wikipedia isn't intended to be a source for current events. It isn't journalism.

Maybe more importantly, is Wikpedia really an objective or fair look at an issue? For sandals sure, but look up a controversial event page and I bet things start to seem more questionable. That's a point where the reputation of a newspaper is an advantage over Wikpedia because at wikipedia, each page, each sentence can have a different author with a different viewpoint or agenda.

Is the author as important as the publication itself? The editors are the ones making final decisions on things. For example, The Economist doesn't even use bylines. Journalists see themselves as researchers more than authors. The role of the "Author" if there is one is the editor.

An exhuastively cited and sourced article is difficult to read. The narrative is easily lost, and the source content is skipped over by most readers. And you still need to spend a lot of time combing through the source matter for it to be a meaningful improvement over an unsourced article

Last, journalists rely on an idea of common knowledge. They aren't going to provide sourcing on a commmonly reported facts like "stingray-like devices have been found near the whitehouse". That isn't as true in academia where citations probably would be used for that type of fact.

Overall, I'm not unsimpathetic to what you and OP are saying, I think with the internet news media could link articles and sources together better for easier validation.

However, the idea that this type of stuff can eliminate the need for a high level of engagement with the news, critical thinking skills, I don't agree with.
Everything I am reading there screams container service and not serverless. Some Quotes:

> You pay for the amount of vCPU and memory resources consumed by your containerized applications.

How does vCPU fit into serverless architecture?

> Pricing is based on requested vCPU and memory resources for the Task.

Tasks being a collection of Containers. This is simply a container service like ECS or EKS.

> Pricing is calculated based on the vCPU and memory resources used from the time you start to download your container image (docker pull) until the Amazon ECS Task terminates.

This means you pay for the resources that were started for your containers until the container ends. Including all idle time and any overprovisioning you did because you have to tell it which instance type you want. Compare that to the pricing of Lambda where you only pay for the time your functions need to execute when they get called based on external events.

To bring this back to the beginning of the discussion: Complaining about docker because it is not a good tool for serverless architectures is not smart because it is not used in serverless architecture offerings. Fargate uses containers but it is not a serverless service. Fargate is a container service that tries to simplify setup of compute clusters in comparison to ECS, EKS and EC2.
Here we see that there is indeed a subtextual reason for posting content from this site.

It's not about discussing the Carrington event, it's about promoting disinformation.
One example of solving an unsolvable problem: https://en.wikipedia.org/wiki/Erik_Wolpaw#Personal_life
I ain't, that's for sure. I recently quit my job (HPC) without another one lined up, due entirely to stress. Something had to give and I decided that if I wasn't able to manage the stress I wasn't fit for the job any more. Kinda snapped, took a week off and spontaneously gave 2 weeks notice on my return. Wasn't really thinking straight.

It's been a few weeks since I split and I'm starting to run out of money, but sadly have been mostly sleeping and am unmotived to dive back into the fray. I did manage to get to the doctor and get some meds, but they are only now starting to kick in and I no longer have insurance to get more.

I think it's probably too late for me but do yerselves a favor and pay attention to stress management and all that wellness talk. This all snuck up on me because I was too immersed in the work.
Yes, we do if we want to have an idiomatic interface for the application on top of the driver.

Pull requests proving otherwise are welcome
Because inmates live and sleep there, whereas engineer (usually) go home at 5 pm? And the engineer can also just hand his resignation, doing the same thing in prison is slightly more complicated.
Thanks for the link. I have seen it before.

I am very much in love with Haskell build toolchain and different sort of build flag options it provides.
I’ve seen this one mentioned:

https://mycroft.ai/

https://github.com/MycroftAI
Email clients block remote images by default.

If an email client does not, it's a bug.
While that's a fun hypothesis, I think we should remain objective and assume it's probably just a space rock. I mean, in that case you could also assume it's the excreta of some sort of high energy projectile that is currently aligned to collide with Earth, but that doesn't buy us much more than unfounded dread.
If you didn't read all the way down, this was one of the coolest parts:

> Here's an amazing fact: The discoverer, Gennady Borisov, is an amateur astronomer who works as an engineer at the Sternberg Astronomical Institute. He makes his own telescopes to hunt for comets and has discovered seven of them along with several NEOs. He recently completed a new 0.65-meter telescope, the instrument he used to discover the new object.
It doesn't make sense to have AC preparedness when it's only used for 1 week out of a year.

Also the environmental impact of everyone having an AC, that's not good.

In France and the UK hardly any has an AC because it's not really needed. Your suggestion is that they spend billions of dollars for this? Who buys everyone the AC?

I lived in PNG which is near the equator and hot. It's not the temperature that's the true problem, but humidity. We stayed cool by using the fan, resting, removing clothing, swimming.
Wikipedia can be quite problematic if you just look at the page - the way you describe using it, and adding in checking the sources and references, it is a great tool.

But if you want to see an example of "opinionated" people ruining wikipedia, just look at the pages about specific philosophy topics and compare them to the SEP. - On wikipedia a self-learned person is worth as much as an expert, and might be able to push his opinion into the article through sheer stubbornness.
At which company? I work at one of the big companies and undergrads come in at around 150k and phds around 250k. Facebook will give 100k signing bonuses to their top interns but that's a 1 time bonus so it shouldn't be factored into your yearly total compensation.
As the saying goes, it's not paranoia if they really are out to get you.
> they shacked themselves with decades of debt and get a mortgage

A mortgage is just renting a place from the bank at the market price of when you bought the house + some enforced savings. It's hardly a mill stone compared to renting for the same number of years.
> Rationing is not a very fair way to distribute goods or services to people.

So?

No one said life was fair. There is no human-right to vacation in a given destination. I have to apply for lottery hunts for various game animal in my state. It's just a means of controlling scarce resource.

> then you also causes losses when people change their minds but are already locked in by the lottery.

Good! Better be sure you wish to take part.
1-5 with half increments has 9 possible scores which is basically the same as 1-10. I think this is what is meant, not "people say 4.5/5 but nobody is really that stressed, they must be thinking 4.5/10".
IRCv3 is still moving forward and gaining momentum.
No.

I can't do my job without taking adderall, I end up drinking too much to goto sleep, then slacking and falling behind and rushing to get everything finished for a deadline. Then the requirements change with no warning and I'm expected to have had both done.

My Manager and technical lead make development decisions even though they both have zero experience with any part of our stack.

I have a mortgage on a house that I don't take care of, and I work from home so I'm constantly reminded of my personal failures.

Most of my team is outsourced to another country, so I assume the writing is on the wall. But I don't have the energy to start looking for something new. Plus, since I work at home I haven't made as many close connections as I did at previous jobs.

I spend more time being mad at myself for not improving my life than actually trying to improve.

I don't invest any time in my hobbies or with friends. My friends don't even bother inviting me anywhere anymore.

I just placate myself with youtube and comedy waiting until I pay off my mortgage and my kid is self sufficient. Though when that happens I have no plans, or goals, or dreams.

Bleh, it could be worse, I make a very good living, and have a marketable skillset. I'll be fine, but it felt good to have a pity party for a second.
Indeed, if it's possible, marketing is going to ask for it. And unless you have dedicated developers who specialize in email campaigns, ready to brave the nightmare that is fighting against email client formatting, the only sane and cost-effective solution to implement any kind of layout in an email is simply stacking inline images with text included.
Extra comment to add something I left off. There's at least two types of static analysis and solver tools: unsound and sound. The sound ones, especially RV-Match and Astree Analyzer, use a formal semantics of the code, a formal statement of the property, and automatic analysis to determine if it holds or doesn't depending on the goal. Related, SPARK Ada and Frama-C have their formal specs and code turned into verification conditions that check for code conformance to the specs. The VC's go through Why3 which sends them to multiple, automated solvers to logically check them. Far easier to scale and get adoption of these automated methods than manual proofs.

The main drawback is potential errors in the implementations of the analyzers or solvers that invalidate what they prove. Designs for certifying solvers exist which essentially are verified or produce something verifiable as they go. There's examples like verSAT and Verasco. The tech is there to assure the solvers. Personally, I'm guessing it hasn't been done to industrial solvers due to academic incentives. Their funding authorities push them to focus on quantity of papers published over quality or software improvements with new stuff over re-using good old stuff. Like infrastructure code, everyone is probably just hoping someone else does the tedious, boring work of improving the non-novel code everyone depends on.

Also, given my background in high-assurance research, I'm for each of these tools and methods, mathematical or not, to be proven over many benchmarks of synthetic and real-world examples to assess effectiveness. LAVA is one example. I want them proven in theory and practice. The techniques preventing or catching the most bugs get the most trust.
Alright!

I did research for my PhD working towards this. We trapped and laser cooled Th3+ with the intent to isolate and measure this transition optically that way.

https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.10...
This is great advice and something I've done repeatedly in my career.

When you sense that things are going bad (company is downsizing, running out of money, boss hates you, etc.) then it's time to start looking for another job.

It is much easier to land a job when you still have one. It also means the new company will unlikely call your current employer for a reference.

Finally, it allows you to leave on your own terms rather than get fired/laid off.
You can also take this the other way. If they say 1, you can ask " What can we do to take it up to 3?".

Or if you work for a company that puts life insurance on you to profit from your death: "What can we do to take that to a 6?"
I was in a similar situation. Here are my advice:
1. It's just him. Some people are just a-holes. You need to leave. Not all jobs are like that, not all bosses are like that. Abuse is abuse.
2. When I was in your situation, I focus all of my energy to learning a new skill. It's as if I used all that I hate about this job to motivate myself in learning something new. It worked.

Best of luck
"Autonomous" robots kiwibots are acutally remote-controlled by contractors

https://www.sfchronicle.com/business/article/Kiwibots-win-fa...

"The Kiwibots do not figure out their own routes. Instead, people in Colombia, the home country of Chavez and his two co-founders, plot “waypoints” for the bots to follow, sending them instructions every five to 10 seconds on where to go." "Another cost saving is that human assistance means the robots don’t need pricey equipment such as lidar sensors to “see” around them."
Intermittent fasting and carnivore diet
You send me anything other than plain text in an email, and I don't already have a source filter for your address, it gets sent to a folder that I might look at if I have the time some day.
> the most serious is the lack of secrets handling. Basically you have to use environment variables.

That's how I always handle my secrets. (12 factor app)

Am I missing a better way?
Am I the only one who doesn't actually care what anti-vaxxers do?

It's their purpose of life and happiness. If they want to die from easily preventable diseases, who am I to tell them otherwise.
I feel sorry for you. I wish I could help you. Do speak to someone if suicidal thoughts persist. Feel free to DM me.
In the US! Technically, you can extract nicotine from sources other than tobacco.

https://academic.oup.com/ntr/article/21/3/267/5041976#target....
The people of France aren't ignorant. They have just acclimated to a climate that is rapidly getting hotter.

It would be patronizing if French people offered basic advice on not building on floodplains and storm preparation after Harvey. People just plan based on their prior experiences.
Dividing the issue into pro-vax and anti-vax spreads FUD and obscures the real problems: what preservatives are in the vaccines, what growth medium proteins are in the vaccines due to improper filtering and poor manufacturing processes, how many vaccines are administered at what age, and what all of that that has to do vaccines harming kids (which happens all the time)... bring up any of these issues and you'll be attacked as an antivaxxer who's trying to send us back to the stone age.
As I'm getting older I feel the need to make the code as readable as possible [1] to a point where non-programmers would be able to read it, especially in complex business rules enviroments (ex: finance, insurance, health, etc).

The quote "the limits of my language are the limits of my world" [2] shows when we try expressing these business rules in high-level programing languages like C, C#, Javascript. There are (a significant) parts of my code where I wish to not be limited by the syntax of the language.

DSLs helps, but usually takes a disproportionate effort to implement.

Would be great see more natural languages embedded on our day to day programing language.

[1] https://twitter.com/ianmiell/status/1144154072217522176?s=19
[2] https://www.quora.com/What-did-Ludwig-Wittgenstein-mean-by-t...
you can write purely functionally in it[1] all you want

Sure, but it's cumbersome.
Yes, you can be an employee of multiple ridesharing companies simultaneously
I use the phone app every time I go through the Mcdonalds drive thru (in the UK). I order on my phone, drive up, give them the order number.

This is already a thing. The only thing it's missing is number plate recognition, so I don't need to talk to anybody.
https://en.wikipedia.org/wiki/Herd_immunity
I have a buckwheat pillow too. Now I'm in the unfortunate position of having to take my pillow with me when I travel.
This is pretty much the reverse of what happened in mainstream deep learning. Most people learned with Tensorflow, which is arguably functional, and then decided PyTorch (which is like numpy, imperative) was a lot more straightforward to work with, to the point where Google decided to make Tensorflow 2.0 imperative by default in order to stop losing ground
Start interviewing, I know that this is very often thrown around here and in other communities but absolutely NONE of this behaviour should be acceptable in any kind of professional environment.

You know you are being severely underpaid (I'm assuming you are from the US even though I'm not) so finding a place paying the same or a little better just to get away from this fucking horrible situation is worth every single second of effort.
An apartment with roommates can be a real joy if it’s in the right time of your life. Don’t rush the seasons of your life. Why worry about kids when you’re not even in a serious relationship? It’s life, not the cursus honorum.
I worked on a Bitcoin sports betting site. Been there, done that.
This sounds like an awful place to work. Are you a software developer? There have to be a thousand better companies that would love to have you working with them.
There is no such thing as stressful jobs, stress comes when you do more than your faculties can handle.
Seen many OpenWRT installs running upon Intel Cherry Trail, not this particular board (yet), but certainly one of the more easier chipsets to get working over some random ARM SOC for sure.
I don't think I did, but I am very empathetic to pre-coffee reading comprehension woes :) Glad we got it sorted.