skysight-inc/HackerNews huggingface dataset:
There is a huge difference between how the world works today and how it worked in the medieval era though. We are much more interconnected and co-dependent as evidenced by COVID-19. Maybe there are uncontacted people that could survive a major human pandemic? We also have worse weapons, can the people that survive a pandemic that kills 2/3 of humanity, like the plague, keep it together? There is already speculation that people like Putin were twisted further by the isolation of COVID-19.

WRT ecological collapse, aren't we experiencing the front end of a mass extinction in the oceans? Can humans survive such an event or will it be a domino effect up the food chain?

I don't usually like ruminating on this stuff but it's worth considering our future without AI if we are going to consider what it may be like with it.
Google to remove Canadian news links from searches in the country
Senior eng manager at large well-known silicon valley company. 24 years of experience. $300K salary, roughly $300K annual stock grants. I put in a full week's work, which is ~40/hrs
I worked at a clinical research tech platform startup and the lack of tech experience in the leadership of the larger orgs actually paying for the tech is hysterical. Like, people cutting $10M deals for remote international drug studies done via web and mobile app who don't know what a "server" is.
let me just tell you that you're in way over your head

ps no offence and I don't expect you to change your opinion or how you view the world
Ah you're right! I completely forgot about 'bum around the house', though uncommon, I've heard that a few times.
I work 40h, 200k (cad) with 30% bonus (which basically evens out the exchange rate for y'all). 25 years of experience. I'm in Eastern Canada working for an Eastern Canadian employer. Director of Engineering.
I'm a Scottish transplant (to the US). I have a can when I visit Scotland. But just one. For those that have never had the "pleasure", it's sort of a combination of cream soda, citrus cola, and bubblegum.

Maybe it's more of an acquired taste, but I don't find it particularly refreshing or good, and only drink it for the nostalgia (which is really just nostalgia of family vacations - I only lived in Scotland as a toddler). I don't drink a ton of Coke (depending on year, Coke and Irn Bru alternate top soda sales in Scotland) either, but on a very hot day, after a long bike ride or run, a small Coke hits the spot.
Pardon my pedantry, but any cross-head crews in old game consoles are likely to be JIS, not Phillips, and using a Phillips driver makes it likely to strip every single screw: https://www.agcoauto.com/content/news/p2_articleid/300
I believe the collector boosters are all foils, so that particular trick may not have worked in this case.
60% of posts in every HN thread about psychedelics are whackos peddling fake knowledge.

To me, the interesting question is whether this special mix of new-age spiritual bullshit and two-points-make-a-line, post-hoc reasoning is caused by psychedelic-use or if people who think this way are merely attracted to drugs. Or both. Further research should hone in on this important question.
I recall when Reddit began crushing and corralling all conservative-leaning or free-speech related subs. They'd put subs on notice, publish the lines that couldn't not be crossed, and then sockpuppets would come en mass with violating posts. Reddit at large cheered and laughed at their ideological enemies. In the midst of their glee, they failed to realize that what can be done to one, can be done to another once your usefulness has run its course.
It was pretty cool when this was going on

https://en.m.wikipedia.org/wiki/Pineapple_Fund
Burlington tries electric vehicle incentives targeted at gasoline 'superusers'
Okay, how about California's forest fires? They've been in the news. I'm seeing a lot of fault being passed around like "hey, we should have been doing prescribed burns for hundreds of years". We've had lots and lots of forest fires. I won't be moving my family into the California wilderness.

But I do live in a wild place, and a fire is a possibility. I pay for insurance to cover that, so I believe I'm footing my own bill as far as my own personal involvement. I wouldn't expect to receive a dime from anyone else; I never did during a hurricane.
I was focussing mostly on cyber security related subreddits because the vulnerability and exploit discussions were of great value to me.

I built a little scraper in golang that stores the JSON data (instead of the HTML which the archive warrior stores) to save hdd storage. [1]

The problem with reddit's API is that it only shows 1000 entries over 10 pages in every api. Meaning hot/top/new, and search results are limited. If you have more links related to the keyword, you won't discover more.

So you need a very specific keyword list to be able to discover more posts, and search each subreddit for each entry in the keyword list.

[1] https://github.com/cookiengineer/reddit-archivar
strategy games players are always thinking twelve steps ahead

hoping it's legit https://news.ycombinator.com/item?id=36540956
Quokka – Distributed Polars on Ray
That's the thing about "illegal but everyone does it"...it's nothing to worry about until the government decides it's convenient to enforce (against an individual or group), and then it's definitely something to worry about and it becomes a low barrier pretext for all sorts of oppression.
Because producing an image of Muhammad is an explicit prohibition in Islam. Providing services to same-sex couples is not a prohibition in Christianity.
You might be interested in some videos Alpha Investments on Youtube makes, he is all about MTG finance.
Can't wait until our technology allows us to talk to them.

Some dolphins have more than twice the number of neurons we do.

I bet they've got some interesting things to say.
Not sure why it's shocking. In the same space, you pay for cable and still are shown ads. Same for movies at the theater. Though most of the ads are for new shows/movies to encourage recurring usage/payment.
I am looking to build a house, and a few days ago I was driving on the highway and saw a billboard for a custom house builder. I made a mental note never to contact that company. If your ad is on the highway, you are not building my house :)
> Just because something is "artificial" doesn't mean bad.

I’d be willing to bet in more than 50% of cases it does.

> Source?

Didn’t WHO or some similar organisation just start officially recommending against them? I haven’t actually read any of the research on this, I’ve just taken my advice from people who have. My personal source is an argument from nature along the lines of “if we didn’t need artificial sweeteners for 300,000 years, we probably won’t need them now”.
Money = speech regardless of where you are. Because money means influence, and that means you have minimal consequences for your actions.
For WebKit.
baby sitting, cute (speaking as a non-native here)
I once got very confused by some guy telling me all about his bird. Dude seemed obsessed. Which is cool, but at times it seemed like a very strange relationship with a pet. It took me around twenty minutes to put it together.
"Wild West" is a common way to refer to American-style business decisions in Germany.

I vaguely remember a Stern magazine cover from around 2004, depicting a giant cowboy boot with "GM" decorated with red, white and blue coming down on a crowd of people standing in the shape of the Opel logo and titled something like "Der Wild-West-Method."

It was clearly not a compliment.

(Correction: GM had owned Opel for decades at that point, but was getting more aggressive with how it was run)
It's not a sealed draft at all. You can purchase as many decks as you like, and you can also purchase from secondhand markets.
Not in this case anyway https://en.wikipedia.org/wiki/Masterpiece_Cakeshop_v._Colora...

There were other lawsuits, such as a case in Ireland that involved writing though
(Brit here)

> - Toad in the hole

Sausages in batter. Not sure where the sausage==toad equivalence comes from - its not used anywhere else.

> - bangers and mash

Sausages with mashed potato. This one has the most meaningful name, assuming you know that bangers == sausages (which is a common equivalence).

> - bubble and squeak

Left-over potatoes and other veg, fried up. Again, this term is only used in this context.

All of these are classic Brit cuisine.
What do you think the rest of these cases test ?

This is the same reasoning, what you’re using, that people used for segregation. The reason people are forced to serve black people in restaurants is the same reason that these protections for LGBT people exist. It’s “protected classes” including race.

It was in the oral arguments, Alito was discussing a black Santa at a mall and a kid in a KKK hood. So I’m not standing up a straw man, I’m not calling you hitler, but it is funny how quickly you ran to that as some kind of defense.
Did you rise up through the ranks or did you get hired as an EM?
Java/C++ Backend Developer and DevSecOps, on-site at a top 5 big defense contractor, US Mid-Atlantic East Coast

117k/year salary, some bonus based on various business and personal performance metrics, usually 2-5k, 40 hours a week, 7 years experience.
Decisions like this seem like tricky business, and probably doesn't help that most news about things gets filtered through two or three layers of news media first.

It's definitely a tough situation overall, and there's no totally satisfying result (which is the sign of a good case for the courts, as far as I'm concerned).

As a constrasting example, in many states, political affiliation is a protected class. If a swastika-tattooed neo-Nazi asked for a portrait, would an artist be obliged to do the painting, even if no endorsement of the ideology was requested? As distant a case as that is, it seems like the legal principles being argued here carry over more-or-less directly.
> I’m fairly certain it was

Do you have a citation for that? I've also seen reporting that there wasn't an actual couple, and to be honest: I'm having trouble figuring out what's real here.
For the math that you mention, I would suggest looking at mathlib (https://github.com/leanprover-community/mathlib). I agree that the foundations of Coq are somewhat distanced from the foundations most mathematicians are trained in. Lean/mathlib might be a bit more familiar, not sure. That said, I don't see any obstacles to developing classical real analysis or linear algebra in Coq, once you've gotten used to writing proofs in it.

I'm curious, which field of math do you work in?

Edit: for example, that symmetric matrices have real eigenvalues is shown here in mathlib: https://leanprover-community.github.io/mathlib_docs/analysis...
Would you mind sharing what type of work?
160k in France is really high for such work conditions
= { .foo = bar };
And yet the PS5 controller is worse at the most fundamental thing: physical ergonomics. The Xbox controller is so much more comfortable to hold and play with it doesn't even count.
Is your contract really for 16h/week, or that's your honest assessment of how many hours you actually work in a week?
~120k base salary with another ~40k equity per annum. EU, mostly in office. 10 years exp. Nominally working 40 hours, but very relaxed and enjoyable.

My last post had a much better salary; +50% or so. The working hours were grueling though -- 60+ hour weeks often, and constantly putting out fires. I'm happy to have moved, even if it meant a big pay cut. Burn out isn't worth the extra money.
Ah, sure. Well, I've asked to "borrow a tissue" many times, and neither interlocutor expected the tissue to be returned. Maybe it's regional.
Move Fast Break Things Explained
You can at least read the restaurant menu on Facebook without signing in. Twitter is now going for a LinkedIn/Instagram kind of thing where you don’t even get a “free hit”.
I used to hate mosquitoes, but then I travelled to New Zealand and met the sandflies, and now I'm glad we only have mosquitoes where I live.
This depends on so many factors that without giving detailed information the replies won't be useful at all and it's just a a biased data set of people humble bragging about their salaries.

Just use a site like https://www.levels.fyi or the StackOverflow salary ranges as a guide and you'll get much more useful data points.
> This book was one of the inspirations for the video game series Assassin's Creed.

Interesting. Never heard of this book or author.
> If their establishments are open to the public, generally yes [we need to force Muslims to sell non-halal food], in my opinion, within reason.

Either GP's question got reversed after they posted, or you misread their post, or your phrasing is off. The rest of your post suggests that Muslims should not be compelled to sell non-halal items.
I have nothing but respect for the Christian faith and community. I think that throwing them or another community under the bus for the purpose of making a point would be irresponsible and only increases the amount of hate in the world.

I also have nothing but respect for people who conscientiously leave their faith, whether it's Christianity or Islam or anything else. It's not easy to leave a community and I find it courageous and admirable. Thank you for sharing your journey.

Your understanding of Muslims is a narrative that I don't agree with, but nevertheless I won't say that my understanding of world is better than yours, only that I come to different conclusions, and you must at least concede that Muslims do not feel that they subscribe to a violent and hateful ideology. But even understanding the world as you do, it is not inevitable to reach the conclusion that it is acceptable to collectively punish all of us.

I have the privilege of living a happy and fulfilling life, and the ire of strangers who are prejudiced against me is not likely to change that. I am mostly objecting to the idea of collective punishment which has caused, is causing, and will cause countless suffering to undeserving men, women, and children. Even people you hate are capable of feeling as much pain as you are.
I had a tough time with "Man eating shark"

Why would a man eat a shark? Shouldn't it be the other way around?
Essentially yes. When I worked in algo trading, it never bothered me that we were extracting profits from the markets, nor that we served little social good. It felt like a step up from where I’d been before (being told that we were making the world a better place, when every engineer knew otherwise.) At least we weren’t making things obviously worse.

What did bother me, and was acknowledged by my coworkers, was how much top talent was being pulled away from productive tasks to essentially wank around. Not just technologists either, but all sorts of mathematicians and scientists were drawn to the flame.

We as a society have managed to allocate so many of the “best and brightest” to either fintech wankery or placing ads in front of eyeballs. It’s enough to make one want to give up on capitalism, except that everything else appears to be worse.
Base is 205k
OTE is 265k
TC is about 300k

I do about about 5 real hours of work a week, 10 if you count the internal meetings that I passively listen to. Fully remote.

About 11 years experience in current role.
Even better is the Britishism "Blowing a fag".
Why split the community? Alma has been helping to improve the upstream already, why double the work to improve two distros instead of one?
> This doesn't really affect me since I subscribe to premium...

I'm subscribed as well, but it's becoming less valuable as more and more content creators run sponsored ads in their videos and these play regardless of your subscription status.
>In other words: start with ReBAC and add the ABAC bits you want. I.e., cross the two schemes.

This is the approach by SpiceDB as mentioned in the article: https://authzed.com/blog/caveats
Neat! I like that it's not allowed in npm modules. Module authors can do whatever compile-time codegen they want as part of their own builds.
Free eBook of Java in a Nutshell, 8th Edition
Another point is that the algorithm (which decides what videos are shown on the homepage, sidebar recommendations, notifications, etc. and provides the majority of views to videos) essentially ceases to promote at all any video that's not monetized.

Which I think is fair -- after all, I think they're already doing non-monetized creators a favor by footing the entire bandwidth bill, they don't owe them free promotion!

But it obviously puts a limit on what a creator can do about ads if they are actually trying to make money (even if they don't want any Adsense money and only want to do their own in-video sponsors, or heck, even if they're just looking for "exposure"). If they turn off monetization, they'll drop off the face of the Earth, essentially.

Hence why creators care so much about a single demonetized video, basically it means the video goes into a black hole and earns them basically no views. It exists, but it may as well not.
Draft is a particular format (and a fairly popular one).
The foils aren't worth as much now as they sell collectors booster packs which contain almost all foils.
"verbification" is a real thing in English (and not all languages), the point of which is that you needn't have heard it before to use it yourself that way, or understand it if you hear it, it follows rules and as a noun, that's what makes it a verb; which is why you had no trouble understanding what GP meant.

https://en.wiktionary.org/wiki/verbification

https://en.wikipedia.org/wiki/Conversion_(word_formation)#Ve...

and also, though it is attributed to UK

https://en.wiktionary.org/wiki/bum

Verb:
bum (present participle bumming, past participle bummed)
(UK, transitive, colloquial) To sodomize; to engage in anal sex.
Last time I tried Wayland I still had these issues:

- Windows can't position themselves, this is seriously annoying for apps with lots of utility windows.

- Apps can't change the display refresh rate, which means I can't watch movies on my TV without stutter.

- GNOME sometimes crashes for me on Wayland, taking the whole session with it. I also can't restart Mutter to reload extensions, which makes developing them (to work around Wayland shortcomings, ironically) a pain in the butt.
AI engineer is the new webdeveloper.
It’s a “specific” reason in that it’s specifically fictional, yet qualifies for that protection.
I'm not in the market for a new home but still do a weekly check on property for sale in my town, just for the entertainment (and sometimes educational) value of the indoor photos.

I'm still only an amateur voyeur. Pros in my country would attend open home day, where you can go into homes for sale without an appointment. You take your spouse, tour the homes, feast on the free cake and drinks, and never make any offer. A fun and affordable day out for the family, kind of like a real-world Pinterest.
You’re personifying an AI, wondering why it would ‘want’ certain things. That’s a fallacy.

AI is just a thing. Certain algorithms will survive and be copied. Others won’t.

Given a choice between ELIZA and ChstGPT, people will want the latter and replicate it. Survival of the fittest. That’s all. The AI doesn’t ‘want’ anything. Rather, WE do… we explicitly WANT an algorithm that is as good as — and then better than — a human, particularly in regard to language.

We’ve seen this before in other technology. No big deal. One improvement after another has ‘evolved’ a horse and carriage into a Tesla.

The difference, perhaps, is that the world is controlled, at the end of the day, by humans and humans are controlled by language. The pen is mightier than the sword, and a pen-wielding machine is far more disruptive to society than a sword-wielding robot. For, a sword-wielding robot is harmless without a sword. But, so long as there is someone to read or listen to the content created by the pen-wielding machine, great mischief can ensue.
There's a large coffee chain in Guangzhou called '猫屎咖啡', which literally translates to 'cat shit coffee': http://www.kafelaku.com.cn/

They offer Kopi luwak coffee as a specialty, which is supposed to be collected from the feces of Civets that ate coffee cherries, so the name is accurate but still more direct than I would have expected.
They steal your data without telling you (complex legal verbiage on multi-pay TOS's is not a justification). After they steal your data, they push you advertisements that are devoid of morality. Even if I buy their service, I cannot go to their home page without them pushing violence, animal abuse, drug use, provocative sex, biased politics, etc. Even if I buy their service, I must expect they are funneling my data in terrible ways. Even if I follow all the rules, the service continues to abuse me.
Sounds like an advisory opinion...
…what? I’m not familiar with Canadian papers, but at least with American news sources most of the national newspapers have paywalls regardless of ideology (NYT, Washington Post, Financial Times, Wall Street Journal), while television news (CNN, Fox, NBC, ABC) and right-wing sources tend to be ad supported (Breitbart, New York Post), and more left-wing sources usually tend to be some form of donation funded (Jacobin, Mother Jones). If this were passed in the US, the big winners would be right-wing sources and the television news networks.
I mean, it looks like they support Import Assertions, too:

https://bun.sh/blog/bun-macros#how-it-works

So the worry about having legacy anti-spec things still seems pretty valid.
In that case the four I spot checked were all RSS, I guess. Though some of them had other references to atom things within them.
Glassdoor has terrible data.
levels.fyi is great for big tech but very spotty for anything outside of Farangula or whatever the acronym is these days.
I would pay to be a respected customer. I will not pay to be a product.
Part of the existential risk is that intelligent goal-directed agents will recognize the unpredictability of their environment and do what humans have done to our environment; simplify and systematize it so that it is more predictable (forestry, mining, pavement, antibiotics, pest-control, industry). Biological life is unpredictable and so replacing it with simpler biological organisms or well-understood machines and systems will be a valid strategy for artificial agents to obtain and retain power to achieve their goals.

To put it another way; there are two ways to approach infallibility: be uncomputably intelligent (AIXI) or bulldoze/terraform/grey-goo the Universe into something very predictable. An agent smart enough to understand both options and how reality works is likely to choose the physically realizable option.

Only careful choices of goals that value human flourishing (AI alignment) will avoid optimizing us out of the picture.
What about the ad-free experience? Isn't that worth paying for premium, considering the enormous amount of content on YouTube you can watch without ads?

> If they'd just give me a feature that gives continuity of play between devices I'd pay the full monthly price without blinking.

Probably you wouldn't. Then it would be some other feature needed to open the wallet.
We also would have accepted reading the article.