skysight-inc/HackerNews huggingface dataset:
Great post.
I always feel smart when I find these kind of optimisations. Then I wonder why the compiler isnt smarter, I dont have to be.
Is Alaska considered continental in this jargon ?
Twitter engineers should unionize

Elon Musk would hate that
How did Python go so off the rails? It seems like every month there's more crazy shit being added to it. And I love macros, they just don't belong in Python at all.
Given enough users, you'll have interesting statistics and metrics forming. What are you going to do with this? Might visitor IPs (viewers of Emoji inlined on GH, that is) be processed/retained?
Twitter's financial situation is mostly public, so no one needs to speculate. Here's one good analysis – https://twitter.com/EnergyCredit1/status/1591873061149614106.

Twitter was already losing hundreds of millions per year. They now have another $1.2-1.5 billion per year due in loan payments. Interest rates are rising. Advertising revenue is going down due to the recession and companies cutting Twitter spend due to the toxicity. And his big new subscription idea is already on hold due to impersonation and scams. If employees can see a way out of this, they must really be believers.
It probably is one to his peer group.
Mark Zuckerberg and Priscilla Chan Sell San Francisco Home for $31M
Ugh, thanks.

Canonical can't seem to escape bad strategic and technical decisions. They're still pushing Snaps, and now settling on a default tech stack that might disappear whenever Google gets bored of it.
20% of the services might be necessary to support home timeline rendering, but I guarantee that at least 60-75% of the remaining services are indirect dependencies.
Hola! Kat Manalac's YC talk on "How to Launch" mentioned this being a helpful and supportive community for startup founders, so I look forward to contributing and keeping the love fest going. :)

That said, my co-founder and I recently launched 6DGRS. We have pioneered the private dating profile for singles looking to explore connections received from friends that they have shared their profile with.

6DGRS eliminates swiping, catfishing and stranger danger by allowing singles to share their private profile with those they trust to receive pre-qualified, real world connections from friends and family discreetly and securely.

Here's my actual profile that can also be shared via QR code: https://meet.6dgrs.co/profile/6dgrsofcen

Looking forward to your feedback!
They should just leave the company.

At this point I'm not sure why anyone would stay in such a toxic environment unless they can't get any other job.
Should have just said Mastodon is the new Google+

It'll serve a niche group then be put out to pasture.
Well done on the launch!

There are a lot of these Trello/JIRA alternatives. I am sure they are better in one or more dimensions, but I sort of need some kind of evidence breadcrumb to make me believe it is worth the 5-10 hours of time to work out if your product is worth spending another lots of hours transitioning from JIRA to. In some sense then, for people using X already, the price doesn't matter, as long as it is not ridiculously high.

I imagine it is better to target more. Your story says "our team of six people was working on a small content marketing project.". Maybe if you target content marketing teams, you can talk directly to their pain? You might need a landing page per customer profile. Obviously with HN you can only submit one link, so the one for Engineering teams would make sense I guess.

I think start by selling to content marketing teams, as your mouths are full of that dog food already, and it tastes good presumably!
Stanford or any good tech university.
Wildcat banking sounds exactly like crypto. thank you for the link.
Category theory might be easier to think about as a different way to think about the same objects we've always studied in mathematics. Since it's a formal theory (just like set theory), we can also study category theory mathematically. In fact, we can study set theory categorically and we can study categories set-theoretically -- they aren't really at odds with each other.

If you wanted to study set theory from a categorical perspective, you would likely be interested in topos theory, which captures essential properties of set theory and generalizes them to a variety of interesting settings. There's also a really good (and IMHO approachable) paper by Tom Leinster [1] on how to see set theory from a categorical perspective, without going all the way out to toposes. I think it's a good way to understand what category theorists try to emphasize.

If you wanted to study categories from a set-theoretic perspective, you're in luck -- that's probably the most common approach to learning category theory in the first place! Studying categories with categories is also possible, but you already need to be fairly comfortable with categories in order to model them internally. (Studying set theory with set theory is much the same -- models of ZFC can get wild.)

(You can also learn category theory from first principles, without thinking in terms of sets. This isn't really any different from set theory, either -- set theory is often peoples' first introductions to abstract mathematics at the undergraduate level, so there isn't really much choice in the matter. For my money, though, I think category theory from first principles is a little less weird.)

[1]: https://arxiv.org/abs/1212.6543
Same for me - it takes a time to decipher Cyrillic script for someone who uses Latin alphabet, while I'm able to read and understand Czech, Slovak and to some degree read south Slavic group languages.

I've witness a scene last March where social services clerk tried to help Ukrainian mother get some social benefit - they were able to understand each other in speech but not in the written words. At the end of conversation she suggested that it would be better if woman would translate her documents into Polish by a sworn translator. The clerk was in 50s and she probably still could remember something from spoken Russian - which was at some point a language taught in Polish schools during PPR times.

As for the Latynka - it's of course up to Ukrainians but personally I believe that would be a good political move to separate themselves from Russia even more. Kazakhstan did change writing system few years ago [1] and I'm pretty sure that one of the former SSR of Soviet Union also reverted to Latin script while being previously forced to use Cyrillic script

[1] - https://en.wikipedia.org/wiki/Kazakh_language#Writing_system
> They? This is my project, it is just me.

"They" has been an acceptable default third-person singular pronoun since at least the 1400s. If there's something you'd prefer, it might be wise to list it on one of your user profile pages.
doesn't really matter since they are fixing it, but I made this work
Most equipment doesn't use Kevlar anymore due to its weight, but they use similarly strong materials. There's also testing done at every major competition for mask and gloves. At the international level fencing blades are made from maraging steel which is fairly durable and breaks in a cleaner fashion. Freak accidents can happen but with the right precautions it's very unlikely.
It's easy: They're firing people who don't want to come in to the office. I live in SF, I'm looking for a job and I'm willing to get on the bus. Somewhere, there's an HNer on a team with one of these openings.

I don't have a LinkedIn account because I do work in UX and the decentralized web so it feels hypocritical.

Their careers page screams "pre-Elon" to me: https://careers.twitter.com/
It's a good thing this has lead to an increase in competition, especially local competition, and not the entire marketing being owned by a few companies instead of one and none of them treading on each other's monopolized turf.
More likely these changes were driven by local regulations tbh. There's a reason this isn't a global policy.

Search for dormant accounts and local regulators and I suspect you'll find an answer quickly.
Yeah but his cardinal sin right now is forgetting that advertisers are small-c conservative. They despise uncertainty and drama, and have wisely fled Twitter for the time being.
CadZinho 0.2.0
A bunch fits in a styrofoam beer cooler. A heap fits in the bed of a pickup truck. Anything more than that qualifies as a lot.
I know (from experience) that HireRight use it for background checks.
And it comes with a Forth interpreter
I've realized it's so easy to read or watch something and fool yourself into thinking that you know the topic.

For example, coming up with your examples helps a lot. For instance, I found most of the examples quite underwhelming and confusing so I ended up creating my own asynchronous functions to demonstrate the concepts as I go along.
Today he's one of the richest people, not only from India, but anywhere in the entire world.

That's why so many people pay attention to his advice about how to get rich. He's not selling you course in order to become wealthy. He already has, and he's sharing what he learned without asking for anything in return.
The risk of taking action was compared against the risk of not taking action. I imagine most scientists would have loved to have developed this vaccine 10+ years ago and done long term studies, but that wasn’t an option.

It may have been influenced by the bias for action, but the trade off was the death and disruption we saw in 2020-21, compared to a future risk that scientists projected as minimal.

It still seems like a solid decision to me. But if this research shows that millions die from increased myocarditis rates, I think it would have been a bad outcome. Still not sure if that would influence my perception to the process.

Making decisions under uncertainty is hard.
How about going a step further, train an AI on the actual live pet and create an AI that emulates the pet. It could be virtual (on a screen) or a robot. A tracking collar and some strategically placed cameras could be the source of the training data. Seems like just a matter of time before someone does this.
He created a new holding company (X Holdings) for this acquisition that will also be a parent company to Tesla and Space X (see https://www.bloomberg.com/news/articles/2022-04-21/musk-form...). So he'll be able to carry forward all of the losses against his income from other businesses.
Mail (virtualpostmail.com). I like getting an email with a PDF scan of letters. Then I save the PDF to my documents folder if it matters or never touch the actual paper or PDF again if it doesn’t. Due to some weird USPS policy, virtual mailboxes can’t be stuffed with junk or periodicals so I never have to waste time reading emails involving those
If you miss GeoCities, you can get your modern fix through NeoCities:

https://neocities.org/
Or basically, they have a constrained and very mistaken belief that "RPC" is a specific technology. RPC literally means "remote procedure call", and it's typically used to mean just that. It's, for example, a perfectly reasonable observation (and common in HATEOAS threads) that REST APIs these days are typically just RPC over HTTP.

I'm not going to defend Musk, but I find it hard to hate him either, given that every single criticism I see on the Internet is at this level of stupid, or worse. It's really hard to tease out real issues from the torrent of asinine soundbites of critics trying to one up each other.
Not to mention that even the data being requested and stored is also organizationally sensitivite if leaked. Everyone's got some problem customer emoji or frustration with their cloud provider in there, which maybe wouldn't look great externally.
The new ratio is actually 70 engineers per EM.
The way to fix it in that manner here is to undo the 42% speedup and return the heap allocated object for the caller to mangle.
Lol, you're "bus people" in Elon's eyes. And he disparages "the decentralized web."
Good luck.
not sure if there is an effective solution to this. (phone number specific)
Lambda-Calculus cooked n-ways
You can condition the prompt to make it say 'I don't know' etc. which is what we actually did too. Give it a try with a random question.

P.S. This is meant to be integrated to individual vendors' websites so the data we will get from will be much more detailed, making answers much more to the point
Crunchbase provides this info for a pretty decent fee of $99/month. Why would I use you instead?
Somebody on Twitter estimated that based on how much banks are trying to resell their loans for, it’s worth about $8 billion right now.

Disclaimer: I have no idea what this guy is talking about.

https://twitter.com/bamabonds/status/1590801975339540480
Coinbase still has custody of customer assets, though. That's what has to be either eliminated or insured to avoid trouble.
It's not that large. Some other engineer mentioned it's much less than that. Don't believe everything Elon says.
> every single criticism I see on the Internet is at this level of stupid, or worse.

That's not at all true. There's plenty of good criticism of Musk out there. It's not hard to find valid things to criticize, from bullying behaviour to overpromising (Tesla FSD) and lots of other stuff.
Meta-note: you're assuming that all this 'survival' is meaningless, that it teaches you nothing, and that is better to be rid of, that this 'meaning' jazz is outside this. I doubt, deep down, if anyone outside the occident really thinks this way.
While this all maybe entertaining to some people , it all just seems highly unprofessional. Right things can be done in a professional and respectful way , not make it all a big show unless they are desperate ways for the company to attract eyeballs and money.
The art market has value because the illiquid-but-existing market lets you do tax evasion through fractional gifts.

Crypto doesn't have the same properties, but if a crypto token isn't a security then you can get some other tax benefits via wash sales.
It portrays SBF as a charitable entrepreneur who went under and does not mention the words fraud, criminal, substance abuse, friends & family Bahamas KYC racket, hack, stolen funds or wiped servers anywhere... accounting backdoor, pump & dumps, inside jobs, market manipulation, fraudulent creative accounting, ponzi schemes, spending other people's money, political donations, gary gensler, regulatory shitshow, market crash ... no mention of any of that, zilch, nada. https://twitter.com/krugermacro/status/1592288944766750720
Are people ok with a CEO treating their workers like this? Firing them via email or tweet? It's repulsive behavior that should be called out.
Are there any objective employee sentiment surveys about what they think? Even after all the bad press, I can picture that many are still cautiously optimistic (or just interested to be along for the ride), especially if they previously weren't happy with Twitter's direction. There is a lot of internal rot in tech and a lot of people putting up with it because of their pay. I've worked in jobs where a lot of people would have been happy to see someone come in and shake things up, even if it was disruptive and risky.
> The NYT is the most "bothsides" political media you'll find;

Who does believe that for more than 1 second?
It's been a looooong time since I mostly did web dev, but if anything got me back in the game, this is it. I'm sad to see Twitter implode, but this unnatural disaster is a window of opportunity that feels like the mid-2000s social media Cambrian explosion all over again.
It was also a function of banks bundling and rebundling junk debt into “synthetic products”; hence the good observation on banks repackaging the same assets in different ways. The same as happened in crypto, in an even more sophisticated way that few people (at least retail investors) can’t really grasp.
This is a web site originally set up by some of Elon's cronies for people to "pick me!" into jobs. It's hardly surprising that there's no shortage of bootlickers.
What mountain bike do you have?
In America, there are curated maps and routes by groups like the Adventure Cycling Association. Sure, there won't be members living along your whole route sweeping shoulders clean of debris, but they do a lot of work of trying to find routes that are as safe as can be, have good overnight stops, etc.
> Also it bears repeating, never pay a medical bill unless you're damn sure you're responsible for the amount [0]. Even if you have "insurance", often you'll get sent the fraudulent bill right away, and it will take a month or two for "insurance" to bother doing their job. Also billing departments have no problem blatantly lying to you about your (non) responsibility for the fraudulent bill, since it might get them more money.

In practice how do you do this? I've never got a medical bill that made complete sense to me and when I did argue it went around in circles for so many months that it was not worth my time so I just paid it.
You're the one who cares about his opinions on things, not me. And yeah dweb has kinda been a mess since venture capitalists took a two-billion-dollar shit on us and called it web3. Whatever, we'll bounce back.
I never understood this either...

Category theory works with collections, which can be modeled as sets -- or if you want to deal with categories of sets and other "large" categories -- as proper classes. And you can use a set theory that incorporates classes, like Morse-Kelley, to model this. IOW, it seems like category theory can be modeled in set theory.

On the other hand, I've not seen a rigorous set of axioms for category theory that didn't presuppose a notion of set or category or "collection".

Set theory also sheds a lot of light on what feel like foundational issues: sizes of sets, independence of axioms, etc.; I haven't seen something similar out of category theory.

Love for a category theory partisan to chime in with more here -- I'm definitely not an expert.
This post I think offers some perspective on the whole "Do we have free-will or is it all predetermined?" discussion.

I don't have any science around this, but some Indian wisdom-

What I learned from one of my mentors KN Rao (one of the advisors whose advise was sought by great leaders of India):

The famous grandsire Bheeshma Pitamaha of the Mahabharata was once asked this question regarding fate vs free-will. His answer was to liken it to a man in a boat rowing in a river. The river has a current, however man has effort. I believe his verdict was "effort is greater than destiny".

Perhaps it has to be so, because were it not, then we are just part of the clockwork creation.

PG is trying to go one level deeper in his post. Namely, are we living under the illusion that we have free will, because our free-will (which is essentially our ability to have agency over our environment) is itself a product of our desires, and now the question is are our desires our own or are they themselves determined?

It may not be possible to know the answer to this one. I think it is equivalent to something like the collatz conjecture, to which Erdos replied "Mathematics is not ready for such problems"

I don't think we are ready for such problems either.
I was reading The Economist the other day and there was an article about energy in Africa and the gist of it was that everything about domestic use of energy is at an alarmingly low level in Africa. It's not because of a lack of potential supply and demand so much as a high cost of capital, corruption, etc.

There are a lot of people in Africa, the population is growing, and more energy could make a positive difference in people's lives -- and even if Africa expanded its use of natural gas to bring electricity consumption up to the level of Indonesia, the effects on the global climate wouldn't be terrible.
I don't see how follow-driven whitelisting eliminates issues with misbehaving peers. ActivityPub servers can receive 'Follow' requests to any of their inboxes, from any server. Seems like a peer that just pops up on a random address, spams out a bunch of follow requests referencing actor profiles containing crypto pump-and-dump scams, then vanishes would be just as much of a nuisance to Mastodon as an equivalent SMTP-based spammer.
As an ex-tweep, there are plenty of architectural decisions that I didn't agree with or that didn't go as well as had hoped. On the other hand, there were some amazing feats of engineering going on as well and a lot of super-talented folks. Just like any other high-visibility, high-scale system.

As much as I'd like to blame Musk's tantrums on his obvious lack of technical chops, I think it's far more likely that they're due to a combination of his piss-poor emotional intelligence and realizing that he was wrong about so many of his pre-purchase criticisms.

Now that he can actually tell that right-wing provocateurs were actually being algorithmically boosted and not suppressed, that there was no concerted "censorship" efforts (moderation is not censorship), and that the people he's been championing are full-on toxic to Twitter's viability and any chance at monetization, he'd rather burn Twitter (the service, it's most devoted users, and it's employees) down than admit he's wrong.
A drop in longevity for lab-kept honey bees could help explain colony losses and lower honey production in recent decades
> Where have you been? I think you may be uninformed on this.

I think you are victim to reading headlines and not understanding what Twitter went to court over. Elon paying the $1B wouldn’t have gotten him out of having to complete the deal.

Here’s some details: https://www.cnbc.com/2022/05/13/elon-musk-cant-just-walk-awa...
I find it hard to find much redeeming of how he's handled this entire takeover of Twitter: from the attempts to weasel out of buying it due to his own lack of due diligence to the impromptu layoff of half of the workforce, his behavior here stinks to high heaven.
According to some people here you're just supposed to take it when your boss shits on your work and firing you for any push back at all is entirely justified.
None of those things are Silicon Valley. Can't blame Santa Clara County for none of this.

Jane Street - NYC

EA - Berkeley

Crypto - the Bahamas or something?

VCs - Palo Alto
Kraft released, a Kafka managed raft-based replacement for ZooKeeper [video]
> no-one is this retarded

He decided to buy Twitter after his girlfriend left him and one of his children sued to never have anything to do with him again. He has blamed both of these things on "wokeness" rather than his history of broken relationships and his child's assertion of him being a shitty parent. This was apparently enough for him to pledge $44 billion to "own the libs".

He is absolutely this stupid.
I believe that every single sentence in your second paragraph is factually incorrect. I know of all of the things you say aren’t possible with cash are, for a fact, possible and common.
Python with macro capability is no longer Python. Macros completely defeat the readability of Python, its defining characteristic.

Fork it and call it something else, please.
s/offer better user experience and discoverability/have better marketing and SEO/

FTFY.
Actually support for 1st gen iPhone SE this ended on 12 Sept, along with iPhone 7, which they only discontinued 3 years ago.

They only supported the 5C for two years after they sold the last device.

https://endoflife.date/iphone
Elon Musk took over a struggling business with Twitter and quickly made it worse
Twitter will die long before you do.
I'm a techie and I know how to setup my own email and custom domain, and even then I can't be bothered.

I also know how to bake my own bread, but I'd rather get it from the store.

Completely self-run email is a bad user experience, just like making my own bread. Most people here forget that people want convenience over anything else.
Elixir. Great tooling. Feature complete. Fantastic dependency management.