skysight-inc/HackerNews huggingface dataset:
I'm setting up to hire right now but a few weeks ago the HR "compensation analyst" would only approve a lower salary range. Skip to a few days ago when I got final approval for the position and HR calls me up to say they think the salary range is too low because they have had problems filling jobs, "would you consider raising the salary range." So I did-- back to what I originally requested.
This does not work as you need some way to keep up to events be they scientific discoveries or shifts in power.
I personally know 20-30 people looking for new jobs due to the vaccine and masking mandates. At least 3-4 families I spoke with around my home in Illinois are leaving Illinois out of concern (in various levels of moving). It’s why I bought land and started a farm earlier this year.

I don’t think people realize how much fear and anger there is under the surface. People don’t move their families for fun, they do so for opportunity.

The New York City vaccine mandate alone is massive. There’s no medical exemption and impacts employees and consumers alike.

https://www.yahoo.com/entertainment/restaurants-gyms-suing-y...

I won’t comment on effectiveness or anything else, but a lot of people aren’t vaccinated. It’s not worth it and many people will leave.
Z3-solver is a popular backend for specifying properties about programs. Dafny, Viper, Boogie are all systems built on top of it.

The issue is that much real world software is not written in these languages (or Haskell)

Typescript and python are a lot more interesting.

https://adsharma.github.io/pysmt/

The proposal is to have a programming language and a specification language both with a pythonic syntax living in one file.

Coupled with a transpiler, it could make a capable system vs the C++/TLA+ based alternative.
For serious projects, I find myself typically resorting to making a hand-written parser (usually recursive descent) because it’s the only way I can really get excellent and contextual error reporting and recovery. Parser generators are computer science marvels, but for the most part they’re typically too hard to customize well enough to produce a sensible error to the user, with line numbers, token stream provenance, and suggested recovery information. I can’t imagine the difficulties of trying to get good messages for something as large and pervasive as, say, C.

I think that with enough work, we can adapt and evolve parser generators to mesh well with better error reporting, and give the programmer more options and control, but it’ll take some elbow grease and probably breaking backwards compatibility with the production syntax of these parser generator systems. There’s also a risk, of course, that if there’s too much customization, you sort of lose the value of having a parser generator DSL in the first place.
The media didn’t say “Vaccines are 95% effective, except for mutations”. The media said “Vaccines are 95% effective.”
Terence Tao is one of 3 brothers. Terence is in a league of his own.
I had been very, very excited to start semaglutide, but about eight weeks ago I picked up a CBT-based eating book called The Beck Diet Solution and I’ve so far found it very very effective
Free IPTV Sport M3u Playlist 22 August 2021 – Free IPTV – M3U
Bcal: CLI for Storage expression, unit conversion and address calculation
How badly did the “average” slaveowner treat their slaves?
Work and jobs are different things

Work is generic

A job is specific

I like to work and work with people

I hate my job which specifically exists because 2-5 people, founders, investors, eventually some manager, or some “owner” of socially valuable land or machinery, said this is the work they’ll pay for.

I’m not a family member or friend of people in a system like that. Since those people too kowtowed to doing a job for someone else, not finding work of value to their experience.
You don't understand Raft. Quorum has to fsync for commit
J. R. Simplot
The actual NY Times article which broke the story is also on the front page:

https://news.ycombinator.com/item?id=28257958
Restart capability and remote executions make gnu parallel the tool if choice for HPC. For example, you might very well use gnu parallel to run 1000s of cpu-hours of numerical simulation using patterns such as these ones,

https://docs.computecanada.ca/mediawiki/index.php?title=GNU_...

Using xargs for this kind of work is euhm... not a good idea.
"aims to launch next year", as in the signs you find at bars that say "FREE BEER... TOMORROW"
It might be that the future of sticky notes is Quick Notes as in iOS 15, but they do different things, I agree. Apple really should integrate the concept of sticky notes into both Notes and Reminders, to create a bit of a hybrid - a sticky note that can act as a reminder, etc. Even better would be sticky notes that reveal themselves when using certain macOS or iOS modes, so that when I’m at work I see my work stickies, and when I’m at home I could see some home stickies, etc. It should also be easy to remove a sticky by converting it permanently to a note or reminder, or maybe even a calendar event or contact.
my apologies, I am a bit new to Medium, here's a friendly link that allows you reading everything: https://medium.com/codex/11-things-i-have-learned-from-creat...
This is about creating graphics for the new Playdate handheld game system

https://arstechnica.com/gaming/2021/07/playdate-preview-you-...
> Go do a ten day retreat with Vipassana

No, no, no. Spiritual retreats are not self-regulation tools, they are an education. 10 day intensive during a burnout is asking for trouble. It can’t be your first contact with Vipassana and if you use it to bypass what you need to solve, you’ll end up worse.

Just rest, engage with mundane, real life (think sunshine, nature, using your body, eating well, laughing with friends etc), then do a “postmortem” on why did this happen and how can you prevent it; ideally with a therapist. After things are back to a normal, then you can add more practices like Vipassana, just start from the shallow end.
How would it solve the problem? What about communication between the jet and C&C center? Or why not use a number of UAVs as a retransmission hubs to conceal the C&C?
One of my favorite side effects of this feature is that, Firebase Authentication, which is entirely run by another segment of Google, constantly throws errors about this to the user, which they don't understand.

I get a support request at least once a week from a user who "Doesn't understand why they can't verify their email".

Turns out, their Gmail account already verified it by clicking the link before they opened the email, and they didn't think to try signing in, because they couldn't even verify the email.

¯\_(ツ)_/¯
One is organized against you, and one is organized for you, respectively. You get what you pay for.
The media is all lies and propaganda. Stop paying attention.
Yeah, although I use the parentheses mostly because I like how it reads. And that process substitution trick is important too.

I think the redirection can come first, though (not at a computer to test):

< <( do_something ) while read . . .
No heated tube but have a humidifier.
I would suggest Jackery - seen them used by lot of travel camping vloggers I follow.

Normally turn off the humidifier when I am using portable power.

https://www.jackery.com/pages/portable-power-stations
> Also I bet you don't use the command line for diffing files.

Wait, isn't this normal? I run "diff" and "git diff" all the time (I think I have those both set up to invoke colordiff, but it's still a command line program). Also vim -d.

Occasionally I browse diffs on Github or Bitbucket instead. I don't find it an improvement. I do favour editors over IDEs, but I don't think I'm an extremist on this one.
Note that I said healthy children. Pretty much all of the children and teenagers who have died in the US, and elsewhere, have been in a risk group. Diabetes, usually.

If your child is in a risk group, you should be worried, and you should want that child to get vaccinated as soon as possible.

If not, it's extremely irrational to worry about your kid dying of covid because that's in lightning-strike territory.
1. Stress causes the adrenal glands to release a hormone called cortisol, and cortisol increases appetite.

2. When stressed, we look for relief - and for a lot of people that relief comes as food, or the act of eating itself.

Both of these often lead to overeating which is a cause of metabolic disease.
What about the Polgar sisters [1]?

There is a story of Terence where at 4 or 5 years old or so explained math to his cousins who were 9 or so years old, but my memory may not serve me right.

I share a similar experience and I am certainly not a genius. By 4 I was doing long division and multiplication, and playing with negative and parentheses; this was the consequence of attentive parents. As I grew older my environment became significantly less supportive and even hostile. At 16 I was deep in depression and almost failed math at precalc, only for the next year to have the highest scores in honors and I was against people who also did A-levels for a year and therefore had well over a year more experience.

I genuinely believe we are a) not asking enough of our brains, and b) not providing the right environment for children to grow as school is often treated as baby sitting for parents to ~~slave away at~~ work.

[1] https://productiveclub.com/polgar-sisters-story/
Yeah this is funny, but it's not stupid. It's also a lot simpler to have a company policy that says "every code file should have this boilerplate at the top of it" than to try to specify exactly what does and doesn't. You could even check for this in your CI pipeline, to avoid wasting time debating it in code review.
I mean, assuming you don't drown.
You don’t need to imagine since even in Europe the majority of boilers/water heaters are electric they are just not heat pumps which makes them much less efficient.

Many buildings do not have a gas supply and many cities in Europe do not have metropolitan gas network at all.

Resistive loads are at best 100% efficient, your average heat pump is about 300% efficient.

Italy at least the southern parts of it and some other countries like Spain for example can probably transfer to a passive thermosolar water heating system like Israel uses.

TBH I’m not sure why it’s not more common around the world it’s cheap and fast it’s nothing more than a frame with some pipes in it covered by a pane of non-IR blocking glass.
Quickly Search over Billions of Images
That describes a New York Times story. Slightly rooted in the truth and occasionally right. Not that I would describe that paper conspiracy theory, misinformation yes.
What you could do is compensate for that by ending your day an hour early or by taking a long lunch break. You were working late or early unwittingly and solved a problem. I’ve learned to notice when I’m just spinning my wheels to hit that 8h for the day and now I just stop for the day when that happens. Then if something does come up I don’t end up doing overtime on top of everything. I don’t feel guilty since I get paid for results, not hours in front of my machine and because I know I can’t stop thinking about the problem in the shower or when I wake up in the middle of the night
The replication crisis has been a long standing problem in social sciences and medicine. The former's darkest stain is its collective need to prove their preconceived world view. The latter's seems to be motivated by profit.

I'm sure nobody is surprised that zealotry and greed have made some of science as reliable as psychic readings.
1 million robo taxies we’re supposed to be on the road already.
I had one of these, the hinge was the first hardware failure point. It should be possible to coreboot this using the chromebook version as a guide (not sure if boards are identical...probably?)
While I'm not sure about your take, as someone with some links to the world of ultra-high end dining, Gordon Ramsey's persona is definitely made for TV. He worked for the chef whose persona he copies on TV (Marco Pierre White) but I've heard that he's much more pleasant in his own restaurants.

That being said, the glorification of such personas is troubling and a problem for the restaurant industry.
I heard that before :).
New hardware as well - so much for the current customers - pretty sure they will offer a very pricey upgrade path.
Yep CBT (and third wave cognitive therapies in general) are very effective against emotion-based overeating (e.g. stress eating). Stress eating is widespread and addressing it is a core part of our coaching.

Important to say not everyone struggles with stress eating, which is why our coaching program goes much broader than that.

The metabolic medication aspect is also really helpful, which is why we combine the two for Fella.
I can’t say, I was only 14 and I don’t recall any promises Honda made about Asimo.

What’s your take on it? Do you remember? I’d like to know more and gain some more context here. I mean, maybe Tesla bot and Asimo are part of something very cyclical, a technology pattern that’s been occurring for decades.

I think the issue with Tesla for me has been too much over-promising. Their products are stellar by all measures in my opinion, but I have great admiration for being intentional, transparent, and communicating clearly in business while also delivering. It’s hard to do but it’s important and I believe it signifies honesty, reliability, and company cohesion - sort of soft metrics I feel I can trust in the long term.

Tesla clearly embodies some of this, but the lack of intention aligning with reality, plans changing, lack of transparency - that’s a company for don’t want to depend on for products or to invest my money in.
I am glad to see this. I was involved in a similar startup that became bogged down due to reasons that had nothing to do with the validity of the approach you are taking.

As I am sure you are aware, obesity is a complex issue and many of the suggestions sufferers get such as eat less, exercise more, try fasting, go keto, etc. are simply not helpful in and of themselves. Neither is just prescribing the latest medications without other forms of support.

I hope your concept of telehealth, medical supervision and personal coaching is one that will get results. Obesity is a serious issue that is robbing society of people and potential.
Documentation Unit Tests (2018)
Self driving cars are still a long ways off
Two examples from the article translated into PS (sorry, I'm a bit rusty so the second one may not be the shortest possible):

PS> "alice", "bob" | echo

PS> Get-ChildItem . -Include "*test.cpp","*test.py" -Recurse | foreach { Remove-Item $_.Name }

No text parsing in sight, and the object attributes can be tab-completed from the shell (e.g. I tab-completed the `$_.Name`).
Trickle-Down Effect
You could do that, but Facata works at a lower level, so for example you can use prepared statements, which SQLAlchemy doesn't support. Also, Facata has better performance and fewer dependencies if you only want to use raw SQL.
family is the wrong term. you only have one family, that is yours at home. the term “family” correlates with a lot of unconditional things you’ll have to do. for your family you’ll just do it but at work, you shouldn’t have a bad conscience just because you leave before work is done or your real family calls
You should probably disclose that you're somehow affiliated with RG3D if you're going to be putting down the efforts of other engine developers, especially when what you're saying is wrong. Bevy has only been out for a little over a year anyway.

https://bevyengine.org/news/bevys-first-birthday/
Asimo was an actual product.
Here's a study with a sample comparing 596,618 vaccinated matched with the same number of unvaccinated people by my own healthcare provider:

https://www.nejm.org/doi/full/10.1056/nejmoa2101765

This healthcare provider is able to follow up on people with detail for a really long time - they are notified of any vaccination, PCR test result, hospitalization and death within the country. They've likely made it possible to calculate the same data for the current day within a moment's notice, and use this information for quick decision-making.

I would expect other healthcare providers in other countries to have pooled this information if they are able to do so (and possibly publish it too).
Gotta say, that last version from blender, the one he hates, kinda seems to trigger some nostalgia for me. It's not as good looking as the drawn stuff, but it totally feels like something I would see in the late 80's or very early 90's in a game.
Interesting. How long have you been doing keto this time?
Hey, thanks for the feedback.
I am not that good of a writer, the bullet point title is probably more generic than I wanted.
There were more specific things, such as, that I lost probably more time on finding out which payment/subscription solution suits me and my country the most, how to write privacy policy and terms and conditions the proper way, how to decide whose idea or workflow is the best, why I regret using specific bootstrap theme and so on...
But, it seemed to me like I couldn't find a proper way to categorize those topics and it would be all over the place.
I am still learning how to properly organize my articles, so I really appreciate the feedback.
That's called being a professional. There's no need to dress it up in language about family or friends unless you're trying to manipulate someone.
> you're not supposed to append copyright years to a notice

It shouldn't matter because the date of actual first publication would control, not what is on one particular notice.
>>What about integrated debugging

>Those are usually (slightly ecosystem dependent) wrappers around a terminal debugger.

And, in my experience, are vastly more convenient than terminal debuggers alone.
FSD 2 will only hit people and road barriers 30% less of the time as compared to FSD 1 :)
I wish this was the default behavior of xargs (the 'tr \\n \\0 | xargs -0' bit). I don't know why xargs splits on spaces and tabs as well as newlines by default and doesn't even have a flag to just split on lines.

Ok filenames can theoretically have newlines in them but I'd be happy to deal with that weird case. I can't recall ever having encountered it in years of using bash on various systems.

Shell pipes would then orthogonally provide the stuff like substitution that xargs does in it's own unique way (that I just can't be bothered learning) - instead you'd just pipe the find output through sed or 'grep -v' or whatever you wanted before piping into xargs.

I guess that's what aliases but I'm too lazy anymore to bother with configuring often short-lived systems all the time.
Reality: They rely on medical representatives to know what the actual medicines are. They remember the ones with the most kickbacks.
Trust comes in degrees, so I think the question is how much to trust. Of the scientists I've worked with for long enough to estimate their character, I outright distrust only ~ 10%. That's consistent with [0], which reports that 8% of surveyed researchers admitted to falsifying data, but [1] reports 2% falsification and [2] reports only 0.5%. So if a finding is only reported by one group, whom you don't know personally, I would be only 50–70% confident in it. Once a finding is reported by at least two genuinely independent groups (no strong social or professional connections between the groups) it's appropriate to accept the facts reported but not necessarily the interpretation. As independent confirmations accumulate, idle skepticism becomes less credible. Active skepticism—doing experiments or collecting data to test the status quo—is always helpful though and should be welcomed.

[0] https://www.proquest.com/openview/e1af57060d9d8f628417ce3b7d...
[1] https://journals.plos.org/plosone/article?id=10.1371/journal...
[2] https://www.nature.com/articles/435737a
Look at the death rates now compared to last year’s wave in countries that have a higher vaccination rate. Not saying its a miracle or perfect, but the numbers are speaking. I’m not for booster shots or being vaccinated x times, heck, I had a problem with requiring 2 shots for something that is not 95%+ effective. But after doing the maths of probability of infection, probability of sick or long term covid vs vaccination issues… I didn’t like the conclusion but I’m not in denial and trying to find information to confirm my initial bias, I took the second shot. All this said, I won’t accept anything else before a full year or higher % now.
Sorry guys, new to medium, this should be a friendly link to read everything - https://medium.com/codex/11-things-i-have-learned-from-creat...
> However, I think the biggest problem with a short robot would be people tripping over it.

Somehow that has not turned out to be a major problem with the closest thing we already have in widespread "use": Dogs.

I think we can agree that humans are pretty good at not stepping on a retriever-sized thing by accident. Not to mention that these robots will probably not be very quiet (servos can be pretty noisy). So if that's the biggest problem, we'd be in pretty good shape.
I would argue that “Who gets to define what’s ‘racist’?” is a technical question.
Maybe startups, or at least the roles you have, don't suit you. Just like your startup, the tactic is to quickly learn what doesn't work and pivot, and to not endlessly pursue something that isn't working.

It might seem unthinkable, but that is a good sign that you are trapping yourself and inflexible. If you worry what everyone else will think if you leave the startup world, you are looking at the wrong market. When you find something that suits you, I promise you will never regret it.
Of course, here it is: https://medium.com/codex/11-things-i-have-learned-from-creat...

P.S. - New to medium, still figuring things out :)
I know people who would almost certainly refuse to attend a large in-person event right now. He also mentions client meetings. There are jobs with a lot of normally F2F customer interactions where, at this point, getting back to some physical meetings is not really optional (even if it theoretically is).
Truly one of the best new things in emacs in some time. Even better than org mode. Tho I still use command line for check ins and pushes, old habits.