skysight-inc/HackerNews huggingface dataset:
Hey, I own the existence of my thesis (and resulting degree) to Beeminder[0]. I also made use of someone who was my supporter. Someone not involved in any capacity with the project, but who I could send status reports to. This is related to the concept of a body double (search for "body doubling adhd"). Reply if you want to know more or want a chat.

[0] https://www.beeminder.com/home
> Image based installs

That would be a great benefit, agreed. But not a current utter show stopper.

> I have never gotten video to play without tearing, over 15 solid years of using linux on the desktop as a side box on bare metal. Please someone tell me what I'm doing wrong.

Selection of a properly supported GPU and their capable drivers? I play various video formats be it browser based (Youtube, Netflix, Jellyfin, etc) or VLC/file based without any video tearing. Although, I don't ever try to play fullscreen so maybe that has something to do with it.
That's probably a wise choice. Pipes are great for simple situations, mostly for code clarity. But it can be abused easily, like a hammer seeking nails.

It's similar to await/async, you eventually start designing code that better suits that interface rather than pigeonholing it with complex syntax.
Has this been substantiated or is it just some random guy on Twitter causing trouble?
Javascript is, without exaggeration (and with much chagrin), the language that has done more to popularize functional programming than any other programming language in history. It's only natural that they'd continue pushing on that front. :P
If you look the Spanish flu in particular, it eventually fade out after 2-3y, and people resumed life by a mix of adapting to the new reality and stopped caring, and the illness mutated to a less dangerous form. People (at least those I think sounded pragmatic) were talking about that back in Spring 2020.

I don't know of a comment in 2020 that specifically say that, mainly because I don't keep a log and will not go search for it.
It is not really that bad, but it is worse in some ways than the other options.

Before modern steelmaking people made very high quality "crucible steel" despite understanding very little about the basic science behind metallurgy. See

https://en.wikipedia.org/wiki/Wootz_steel

it was crazy expensive though. (The bit cost more than the horse.) The high cost of steel caused Japan to conflate social status with military competence and led to the mystique of the Samurai sword, and contributed to Okinawa developing a system of fighting based on weapons with limited or no metal content

https://en.wikipedia.org/wiki/Okinawan_kobud%C5%8D
Did they not check their email? They were supposed to have been notified by email.
I wish I could use it on Linux as well to avoid AMD ROCm garbage...
Inflation hurts the common folk as well though (people who own assets have their assets stay the same in real value, people who don't have the spending power of their bank accounts eroded).

What you're theorizing might still be happening (inflation looks like it's been controlled for the last few months, but layoffs continue), but lowering inflation is more than PR.
> If you're compiling from another language

TypeScript isn't another language though. It is the latest official ECMAScript plus type annotations. Only some very, very few, rare, old stuff like enums really is different code. 99% of TypeScript is just "remove the types to get ECMAScript".

That TypeScript, the tool,also adds a transpiler is a distraction that made a lot of people believe TS is a different language. But the TS folks have always taken great pain to only ever support features that are or are about to be in the ECMAScript standard, and not to deviate from it. That they did initially with some namespace stuff and enums was before ES2015, when JS was lacking some things many people thought were essential. Even then they only added less than a handful of "TypeScript-code".

When you look at the Babel "transpiler" for Typescript, before they added a bit more for class stuff, it pretty much showed that "transpilation" of TS to JS - as long as you targeted a recent ES version - was achieved by doing nothing more than to remove all those type annotations.

I'm still mad at the TS guiys for muddying the waters so much by confusing soooo many people by bundling type checking and transpilation in one tool. This could have been much more clear. I too stuck to using Flow for quite some time until I realized TypeScript really is Javascript, while Flow communicated in its architecture and usage already that it just "added types" (literally).
I don't think this is true, I have seen a number of small companies doing the same thing in here.
Also this is a good link

https://www.trueup.io/layoffs
Yes, I too remember the times when my telecomms provider printed my address into a phone book and sent it out to eastern scammer for them to target me. /s

Comparing apples and oranges.
It is strange to see JS taking ideas from a derivative of PHP.
Crazy thing is that moves like this also benefit shareholders, albeit indirectly. A company that employees want to work for because they know they'll benefit first means that more and more of the top job seekers will try to work there, which means (indirectly) that the company will have the best of the best employees. As an investor, I would think that in the long term, that's the best use of the company's money and the best path to long-term growth.

I don't want a quarterly, biannual, or annual dividend if that means that that excess capital will be re-invested into better employees (or keeping current top employees) who produce better products which can better position the company in the long run.

For a long time I naively thought that was the whole point of investment: long term sustainability and allocation of capital that allowed companies to best compete.
I would probably prioritize taking time off on semi-regular intervals, and try to avoid my habit of overextending myself and spreading myself super thin.

I would also try and spot the early signs of burnout sooner and tell my manager so that he could work with me before anything get too bad and before I start missing deadlines.
Why use server resources for sending emails when you can simply lock the access badge? You know, Google lays off people to safe money ...
Get 'The computational beauty of nature's among the repo:

https://github.com/gwf/CBofN
Odyssée robotics team honoured for engineering excellence
Who's smarter: Anesthesiology resident vs. ChatGPT? [video]
I had a high performer fired today. Seems like the current system is also shitty for them.
>> We’ve decided to reduce our workforce by approximately 12,000 roles.

When I first read this I saw the word “role” and not “jobs” and therefore interpreted it as more than 12,000 jobs, because a role can be one or more people. By that definition however it’s absurd to think that that many roles would be eliminated.

Why didn’t they just say “jobs”?
The teaching of math has not caught up with the computational reality we live in. Computers are ubiquitous and most of what is taught in basic algebra classes is taught due to legacy reasons.

Very few equations can be solved by hand and those that can be solved by hand can be solved by a computer algebra system. Almost all equations students learn to solve are those that are reducible to linear or quadratic equations. What is the point of such exercises when most equations are not of these types? Learning to find the equation to model a situation is far more important than learning how to solve that equation by hand. Learning what it means to numerically approximate an equation’s solutions and where such approximations might fail is what we should teach.

In the past computation was hard. We had tables of logs and other numerical data. Doing things by hand was a limitation of the pre-computing era. Let’s not keep math the way we did prior to the present reality of ubiquitous computing.
Interesting take but it seems some past experiences have colored your opinion here. Which, I'm not rejecting. In response to "just do it yourself" there are lots of people who are in mental state where they literally just can't get themselves to do that. They sometimes need that person / therapist to get started.
Do you think 1.5x people get paid 50% more than a 1x typically? If a 1.5x got paid 50% more for doing 50% more work, do you consider that disproportionate?
They exist in several forms. In the US I think the best kind are called employee-ownership-trusts or worker-owned cooperatives.
I believe craftcms does have a Wordpress importer. I’ve used craft for years and recommend it.
I've got a theory that religion is the convergence of community, morality, spirituality, and mysticism.

In a move to reject the mysticism we're throwing the baby out with the bathwather.
Having a supervisory board w/ 1/2 of members representing (non-management) employees is mandatory by law for any corporation over 50 (?) employees in Germany.

The "General Works Council" is just that board, I believe. So this is quite a normal setup for a large German company.
As someone who's never taken LSD and have talked to people who have, the number of times people express irreversible changes in how they think about things just from trying things once makes me think that it is not a very good idea to even try once. A chemical that causes irreversible random brain chemistry changes from a single use sounds like damage has happened and the user simply interprets that damage as an improvement of some sort. In the same way we used to cut out pieces of people's brains in the early 1900s and they would report more comfortable lives.
Very common in automotive companies during the good times. Heck they can even get bonuses when the union starts a new contract with the automaker.
This honestly seems like the more plausible explanation when a bunch of people laid off at Microsoft were working on highly profitable games.
I don’t think you can generalize quite that much - on buildings in heating-dominated climates, low-e windows and their accompanying low SHGC result in rejected solar energy that could otherwise be used to heat the home by day. Without proper shading, overheating can be a concern in fall and spring for south and west facing windows but in my understanding north facing glazing shouldn’t be low-e in any heating dominated climate.
Larry and Sergey used to proudly boast that they are not a “conventional company”. In fact, this quote is still in Alphabet’s home page:

> As Sergey and I wrote in the original founders letter 11 years ago, “Google is not a conventional company. We do not intend to become one.”

Google looks more and more like a conventional big company with moves like this. They’ve become really boring in the last 5-6 years.
I always assumed his appointment was strategic, Pichai got his position shortly after Nadella took over Microsoft. This coincided with announcements like Android One and other products targeting or focusing on the Indian market which is emerging as a force on the global stage.
Employee-owned? A co-op? B-corp assessment also includes worker satisfaction and ownership as part of its assessment:

https://www.bcorporation.net/en-us/best-for-the-world-2022-w...
No evidence was found that a Ukrainian (or another) S200 missile hit the plane.

20 years passed - no evidence found. Moreover, now we know the name of Russian officer of air defense who ordered to shut the plane, we know that he did that because transponder was turned off on the plane, because the plane was on mission to gather intel about air defense in EU, but you still insist on replaying Russian propaganda?
It's annoying to have to decide on and write out so many names. The intermediary names are not relevant to solving the problem. This is so much less noisy:

value
|> one
|> two
|> three
At least we know why those people were part of the layoffs
i see this as more of 'quick and dirty' type approach, which there is often still value in
Yep, that works until the founders hand the keys of the truck to a random CEO who sends the whole company (and yourself) into what all companies look like.
Has everyone forgotten about deps files? Run gcc -MD and it will create .d files that record the dependencies between your source (and header) files. You can then use an include directive in your Makefile to pull that information in for make to use. There are a couple of variations on the theme; some people recommend putting the .d files alongside your source files, others recommend a specific “deps” directory for them, etc. See the man page for details, with particular reference to options like -M, -MM, -MF, -MD, and -MMD.

Of course, the other alternative is to simply #include _every_ file in your project into a single source file, then compile that. It’ll probably be faster than anything else you do, and eliminates several other foot–guns as well. And it means that your build script can just be a shell script with a single line that runs the compiler on that one file.

But these days I greatly prefer Rust, where building is always just “cargo build”. Doesn’t get much easier than that.
What are some examples of areas you think would be reasonable for your spouse to budge (but they do not)?
It is frustrating, to be sure... but I think 18k jobs for 2 years is a net-positive for society.

We wouldn't be here discussing this if the economy had not done so poorly.

What if on average, you hire 10 people a year. Each year, there's a 10% chance of having to lay off 10 people. Details of profit/loss aside, what is the optimal move? Never hire so you never have to lay anyone off? Hire only 5 people a year so the impact is not so large?
I was just in a country where tipping doesn't exist and it was amazing. People just did their job and gave the same great service to everyone, not just their regulars.
Yup. And I'm annoyed that they pretend it was all a mistake, and try to pass me the reader for a fool by writing this sentence. That's all.
There are corporate structures where all shareholders are employees and vice versa. "cooperatives".

They tend not to be a great structure for fostering a massive growth, massive risk, massive profits type company.
Is this actually bad? Would it be better for those 18k jobs to never have been available at all?
I really enjoy writing me some of that F#, esp. with Bolero, but I would take `value |> foo(%)` over actual F#'s `value |> (fun x -> foo x)` any day. However, I agree that the "F# proposal" comes across as better, esp. when we consider -copypasting- consistency of the language. Now, considering everything in JS already, you are right, we did it again, didn't we? After couple more years, the Perl and Javascript languages will finally merge and become one.
Thai rings true IME. My (small) social circle died out with COVID/remote work/moving to the city and I’ve struggled to make connections because I’m not the type to initiate events. Realizing now that I’ve taken for granted these organizing people and will have to be comfortable becoming the “shameless type” and risk rejection if I want to make friends.
In the UK, knowing who was driving is the responsibility of the owner: https://www.westyorkshire.police.uk/ask-the-police/question/...
A ridiculous presumption, you ARE always. If anything its how you want to be seen by others. Which is fine, we all seek attention, or certain treatment.
Consider a future device which stores books, records, and communications (1945)
Mastery-Based Learning
> I got the inside perspective on cellular carriers reactions. Google was this a dinosaur ending asteroid to them and their wall gardens. They saw signs, then sky darkened and in their hearts they knew Google would build something 100X better than what they could ever build even if they wanted to give up their walled gardens which was a cognitive improbability

This - and also the iPhone. The two of those were just so much better for the user than Symbian, and also short-circuited all the egregious billing of mobile carriers. It once used to cost £1 to send a message with a picture attached (MMS).

But a lot of anticompetitive hurdles had to be overcome to let that happen. The worst possible outcome for users is where the old company has enough energy to squash competition, usually by cheating, but not enough to actually do so by improving its products - because "improving" to the user would mean cutting into their revenue stream.
I don’t think nice things can be characterised as caring, though. If their decisions were actively harming the company in order to benefit the humanity of their employees, that would be reasonable evidence that they care, but I don’t think we can interpret every nice thing for a person as caring.

For example, providing benefits above and beyond what other companies provide has a clear justification for the business: happier employees means better work from people that are better retained.

A good question would be: if Google stood to benefit from making their employees lives miserable, would they do it? I’d argue, yes, absolutely, and there’s much evidence of it. For example, Google (and many other big tech companies) pay human moderators low wages to do work that causes psychological damage.

Caring about people as people and not employees isn’t demonstrated by giving them nice benefits around the edge, it’s demonstrate by putting their humanity above their employment.
But clearly we need "that kind of programming language" for rich client web apps. We need many of the modern language constructs in such a language. Would you advocate for an entirely new language to meet that need?
> Interesting how this structure has a headline like this one, vs the ">10k workers laid off from giant corporation with record profits for the past two years" headlines that seem to be popping up here daily.

Aren't large bonuses common enough with FAANG that they don't even make the news?
That's not "sleazy shit". That's how it works. If you got a $500 in tips one 8 hour shift and $20 the next 8 hour shift, you didn't work for $64.65/hr one night and $4.65/h4 the next. No, you worked for an average of $22.15/hr over both days.

It's supposed to be averaged over the pay period because the bookkeeping would be murder. And that includes the side work as well.

Servers are either really fucking stupid or like to think we are. I understand it's a hustle and we're all trying to get our piece of the pie. But if you really, really, really hate being "underpaid" for specific hours you didn't collect enough in tips. Advocate to remove the tipping system entirely. Push to work under the normal minimum wage laws with no tipping.

But no, that's a non-starter with servers. No, their solution is to keep increasing the "suggested minimum tip". It used to be 10%, now it's 20% and climbing. And fuck that noise, "If you can't tip, you can't afford to eat out". When you start asking someone to pay a quarter of the listed price in this weird hidden fee, maybe your entire industry needs an overhaul.

End of the day, you need customers just as much as you need employees and being combative with the customers is not going to end well for anyone.
Ad Says: “Terms and Conditions” Apply, Second Circuit Says: No They Don't (2021)
Undoubtedly the secularization of society has something to do with this, but even that may be part of a slowly evolving trend toward dissolution of civic organizations more broadly. The “Bowling Alone” idea.

I’m involved in a music festival held annually in our city in Canada. It’s organized by the Kiwanis club. But looking at the volunteers who are all septuagenarians and octogenarians, I wonder how long this can last. As far as I can tell, there is zero recruitment of younger adults.

I think we have a built-in need to observe, compare and compete with each other for status. Social events once supplied the forum for that to happen in a convivial setting. Now it’s happening 24/7 in social media and every other online channel. The need is being met elsewhere.
Much like crypto currencies.
Yeah, F# has a backward pipe operator, and it works like this:

a_value |> (fun a b -> a + b) <| b_value

In F#, this works because of automatic function currying. Not sure how that would apply to Javascript, though. Without function currying, what would this even mean?

a_value |> ((a, b) => a + b) <| b_value

...since there's no currying, you'd just immediately invoke the function that sits "in the middle" with `a` set to `a_value`, but `b` set to `undefined`.

The Hack-style proposal though...I don't think it would work with a backward-pipe operator at all. Not without adding a _second_ special-case symbol, at least.
> Property generators are good at exploring interesting neighbourhoods of the search space.

AFAICT hypothesis is not doing SMT, it's not doing intelligent fuzzing and not doing bruteforcing. What algorithm is it using to explore the search space then?

Having a very effective algorithm is crucially important but the documentation does not compare the tool with other methodologies.
Lucky for me, I'm already up here! (I've got a little over a decade to go before hitting the 50 milestone, but I figured I'd beat the rush)
One potentially relevant nuance: the odds of a particular investment strategy beating the market over a given period can be >0.5 while still providing negative expected return.
Indeed I believe that's the goal of FIRE.
What does "SORT terribly" mean? That there is no semantically useful ordering? Well of course not, that's not what they are designed for. If you want ordering by time, then include a time-based column and sort on it. Does it mean that sorting performance is bad on UUID columns? Why?

And what does "index terribly" mean? You can index UUID columns just fine, so is it a performance concern? What is the concern?
It more has to do with tech companies having expanded headcount way more than other industries in the past few years.

The reality is that tech cos overbites since market conditions were extremely ebullient in the tech sector circa 2021. A large fraction of those new hires never had anything productive to even do.
Interesting. I found going remote (which happened 6 years pre-pandemic) forced me to develop better local networks. It took a while (and having kids helped) but I ended up with a bunch of truly local friends and neighbors through sports, kids, and other interest groups.
It was an issue because licensing their logo was not a telecommunications use.

Some more background on the consent decree, first one needs to understand what state of the art was in 1956 -

* No Digital anything, PCM was on the drawing boards, but not in production.

* Analog FDMA carrier, either over open wire, coax or microwave.

* DDD (Direct Distance Dialing) had just been introduced to large cities, but was still not universally available, even in places with dial service.

* Significant amounts of open wire carrier in large swaths of the country, the coming microwave and coax networks were still under construction.

* No transistors capable of much over 1 MHz

* Electromechanical Switching, however remreed and transistorized stored program switching was on the drawing boards.

* No Touch Tone dialing, all dial service is rotary, however significant parts of the country still have manual only service.

The big fear was Bell getting into computing or any other kinds of high technology - simply because of their steady revenue from the BOC's - they could sustain a loss on a new line of business for many years while they developed the technology.

To give further background, AT&T developed roughly half of the foundational technologies that powers our world today.
`titleCase(“hello world”)` , how you would already do this seems equally ok to me
Feynman's Darlings – Or: How Anyone Can Become Brilliant
> I picked up Jiu Jitsu a few years ago and found that to be extremely effective when it comes to meeting people wherever I go. It's usually a stead group of people with other people rotating in, and doing collaborative activities together makes for quick friends.

And it's one of the nicest, most positive communities I've found.
Was 8GB enough on the old laptop?