skysight-inc/HackerNews huggingface dataset:
> as I am currently searching for a simple and working CI/CD decoupled from the repo

I've been working on an MVP that is exactly this. By decoupling the CI (CD coming in soon) it is easier to run a tool like Prettier on every repo or a subset of repos in your GitHub organization. Check it out at githaxs.com.
Imho, success has broken Musk's brain. When he was focused 100% on getting his many projects off the ground? He was successful and well-loved and wasn't shooting his mouth off as often (I mean, not never, but not as often). But now that Tesla and SpaceX have "made it" and Musk has delegated enough that he can live his "richest man on Earth" life without 24/7 grinding on his enterprises? He's choosing to spend it on infantile Very Online shit, and it's damaged his mental health.

His life is rapidly looking like a cautionary tale about social media addiction that we should all learn from.
What kind of workflow and synchronization scripts?

These sound like the kind of hidden costs that could turn sqlite's simplicity quite complicated if you don't see them coming.
The point is that when a social network is large enough to become significant in the way people communicate, the way thought evolves in society, etc, it becomes a societal issue that the owners of that network can (and, as you keep pointing out, are completely within their rights to) arbitrarily restrict what people can say.

In case it's not clear, I don't claim that Twitter doesn't have the legal right to moderate their platform. I claim that it is a problem for society that more and more of our public discourse happens on platforms with this type of arbitrary moderation.
At this time, however Elon is a populist and his “base” of fanboys do lean in that direction.
Yeah "abandoned" -- https://www.statista.com/statistics/289657/youtube-global-qu...
That's important, because it reveals Musk's insecurity and fragile ego.

Anyone else would just say "Great, I'm going to make you lose all your money!"
In that circumstance they'd be married under common law in very few, mostly low population US states (not sure about the rest of the world).

My fiancée and I have been living together since 2003, and every once in a while someone will say we'd be married under common law. But it does require a little more than mere cohabitation, and -- more importantly -- Ohio doesn't have common law marriage ... not anymore, at least.
Yeah, maybe Musk can take it on. But I'm not certain.

Tim Wu has a book "The Master Switch" also about this. I think his argument was once you become big enough, the rules change and you end up being forced to censor. You become valuable target for people who want censorship and close to a common carrier.
I mean some of the buildings in some major cities are starting to look like that.
It's worth noting that typescript/js support in VSCode doesn't come from an LSP. It's actually tangled with VSCode itself
And considering how VB.NET was incorporated first-class besides C#, Roslyn seems rather ahead of its time, with both language abstraction at the compiler level and language-agnostic analysers based on semantic info.

I still can't get over the awesomeness of being able to just throw together a fully supported custom analyser from a template—unique to Roslyn to this day, AFAIK.
Four brake pads? Sounds like something from the options list.
Sadly there are a number of functions in the PHP standard library that literally never can return true. Often they return a resource or false, for example. In those cases the `false` type is more accurate than boolean. That's the reason for the distinction.
I know what Elektron makes
I was also there. I belonged to the group of people who begged the reddit admins to do something about all the hate posts, because I didn't want to read about Donald Trump and how bad fat people and Ellen Pao are all day. I wanted to get back to the tech discussion. We could fix /r/theDonald hogging all space on /r/all by not using /r/all, but the people advocating the murder of obese people, trans people and jews were a constant nuisance and invaded every subreddit, and that certainly didn't help to attract or retain a techy audience for the subs I frequented.

My perspective isn't more valid than yours, but I think you might underestimate how many people literally fled reddit due to the deluge of hate and highly antagonistic posts about US politics.
It's D) The hard part is the backend data storage, not the frontend.

People's intuition of how user data storage and retrieval works at Google scale doesn't align with the reality. Cost of storage (immediate and secondary), effect on creation of new permissions, privacy protection, user security (can this new option somehow be used to leak userdata or trick users into doing something they didn't want to do?), and (if they're only rolling this out in Europe) region gating all have to be accounted for.
Massive social media sites are affecting public discourse, elections, international politics. I don't have a Twitter account, but I don't have any choice but to participate in a society that has polarizing hot takes boiled down to 280 characters.
I was relieved when my parents divorced, although it helped that while they fought like cat and dog while together, they cooperated fairly amicably when separated. Maybe I'm an outlier though.
The Problem with Software Methodologies
I used SQLite and come custom python for a client solution, a web application for teaching and thought process. It was a large application (many steps and user screens, some admin functions), probably a good fit for Django but I don't like Django. I used python sqlite interfaces, running on a single Debian base server. The server ran like a tank, no problems whatsoever, but the application had slow performance at times. The client did a complete re-write later with different consultants and they started over without SQLIte. In summary, the clients had no clue what SQLite is or why you would want it, and my efforts to explain the benefits in detail, did not sink in, while the slow performance was very important and caused them to dislike the entire product. All things considered, I would re-write it the same way, since I enjoyed the tech stack personally, but debugging those rough spots instead of adding a dozen more GUI features, would have been better for the project.
> Simply hating or disliking your partner isn't a good reason

It's a **ing great reason, if you hate each other you're probably creating a toxic atmosphere for the kids, and you're giving them a horrible idea of what a relationship should be like.

Hating each other is a prime reason people should be getting divorced. Kids shouldn't be brought up in an atmosphere of dislike, mistrust and animosity. Better two houses than one full of ice and eggshells.

> This is what responsibility means to a functional adult.

Yes, you have a responsibility to the kids, to bring them up well. This doesn't have to mean staying together and being miserable for a couple of decades. That's not good for anyone.

Your ideas are likely massively counterproductive.
Because, as mentioned above, this was an old-school company. Departments had budgets, and your labor budget was fixed and pretty much determined how many people you could have.

That retiree on 'vacation' was drawing a paycheck and was still part of your yearly budget. Asking for a replacement meant increasing the budget by that extra person's salary, and that was a bureaucratic problem.

Oh, and here's the fun conclusion to the story I forgot to mention. When the policy was cancelled and rollover was taken away, every employee got paid a one-time lump sum for their accrued rollover time. Some people got 30-40 weeks of pay in a single check. And that launched many employees into a higher tax bracket for that year. Lots of fun all around.
I disagree profoundly with this assertion.

On a personal project there is no accountability. The developer didn’t have to understand what someone else wanted and try to figure out how to make it real. They set their own goalposts and had freedom to move them at will. You have no idea what their ambition was.

Adam Savage had some interesting insights relevant to this in the context of evaluating model makers and artists for special FX work. While portfolio pieces showing their own concepts or creations might show off heir basic craft skills, it doesn’t show that they can create something to fulfill someone else’s vision - and that is the job. So what you want are portfolio pieces where they have drawn or built something recognizable - a replica or a scale model or portrait or something. Because that shows they can direct their skill to a particular goal. You know what they were trying to go for, and you can tell whether or not they nailed it.

Mostly I’m hiring for developers to work in a large team, within a large organization. What they can accomplish when left to their own devices is scarcely relevant to what they will be able to do in that work environment.
Is it somehow cheaper when it's a subscription, and when the set of things you might start streaming isn't "this single thing I just paid for" but "anything in your catalog"? Because they don't just give a discount for that—they give a tremendous discount.
Sure, because Twitter'll show it to you anyways.

Trending topics, your friend liked/replied to this, your friend follows this person, we think you'll like this tweet... all of these things show up in your Twitter timeline now, without having followed any of the people they're showing you.
More like a pinch of bits, then?
Expanding Apple Ecosystem Access with Open Source, Multi Platform Code Signing
Except that he values free speech? What are these comments?
Who decides whether your request is abusive?
I find this to be a great idea personally. I will totally give Twitter a few bucks a month for less bot BS and a blue checkmark.
It's weird how "change their mind or kill them before they kill you" is now widely considered a more just and equitable solution than simply not giving such people a platform to politely discuss your murder on to begin with. Much less the biggest possible platform.
No, and I think you're misunderstanding how Java optionals work. They're just like any ML-type language's option type - a box which can either have something or nothing.

You choose if you want an exception. Map will only run if the optional contains a non-null value, so it won't throw. orElse will safely give you a value if the optional contains a null, so it won't throw either. The only time you throw is when you use orElseThrow, but that's in the name and you know what you're doing.

Ex.

Optional<Integer> x = Optional.ofNullable(null);
// This won't throw!
x.map(i -> i + 1);
// This won't throw either, and safeValue will *definitely* be an int!
int safeValue = x.orElse(5);
// This *will* throw, but you specify what to throw
x.orElseThrow(() -> new RuntimeException())

These three methods cover nearly everything I did with options in OCaml as well, so I think that's about everything you need.
>Indeed, he's one of the main forces hell-bent on making Twitter a toxic place

Twitter _is_ a toxic place with or without him.

He had thousands of replies to that tweet with people posting pictures of Musk looking even worse. Sure he posts low quality garbage on Twitter but so does everyone else. The entire point of the site is to post low quality 140 character zingers every waking second of the day.
And not everybody (as a personal statement from me) is at all interested in a "fancy" job...
Except it already is exactly that way, anyone can block anyone else they want. It turns out blocking people does nothing when you're being harassed by big groups of people, the damage was already done before you got the chance to hit block. And also it doesn't stop people from trash talking you behind your back and furthering the damage.

And there is the other dimension where you actually want to remove the ability to block from some users, like public businesses and brands probably shouldn't be able to block complaints from customers and shareholders, politicians shouldn't be able to block their constituents, etc.
I don't know about the broader world, but in the US there are a few states that allow common law marriage such that the only requirement is a public declaration that you're married.
In his TED interview with Chris Anderson last week, Elon said:

"If in doubt, let the speech exist. If it's a gray area, I would say let the Tweet exist. In a case where there's perhaps a lot of controversy, you would not want to necessarily promote that Tweet. I'm not saying I have all the answers here, but I do think that we want to be very reluctant to delete things..."

(Seek to about 19:40 in the interview: https://youtu.be/cdZZpaB2kDM)
I agree children can cause problems in relationships. My point was more that they're a very strong reason against splitting up.
I just assume anything I do will be seen as a negative. Don't list a GitHub - negative. List the Github - they assume that's my top quality code and that it wasn't mostly written 8-10 years ago.
>The most striking—and lasting—aspect of this (and any other) world’s fair was its architecture, which imprinted organizers’ ideals and values onto the built environment.

I have a photo book of the Chicago Columbian Exposition (1893). The buildings they put up throughouth the South Side parks (Jackson and Washington) were immense and often separated by man-made lagoons with small boat travel. However they were not designed to be permanent, yet one of the lesser buildings (Palace of Fine Arts, currently the Museum of Science and Industry) was upgraded to more permanent materials and is the only one remaining. It always astounds me to look at today's museum and realize it was one of the lesser buildings of the original fair.
Why pay when https://min.io/ exists?
I like Mastodon but it is a different experience than Twitter. I follow non-famous people with my interests on Mastodon and famous tech people with my interests on Twitter. It is almost like the two services are complementary.
"false" is a literal type in TypeScript, Coq, Agda, Idris, Scala.
Unfortunately the guy who decided this is gone. I should print and mail everything to him instead :)
I think the “in principle” is the problem.

The tech isn’t the principle. The experience is. Use the right thing for for the audience. Use a GUI, use a TUI, use a basic CLI tool for day-to-day. And sometimes that can even be additive where more than one is the right answer.

The clicks stuff in this does feel silly to me. But I think that sometimes there’s value in not reaching for a mouse.

If you care about the tech in principle, then I think the answer is to work on a library/framework you love, like they did, vs a user app.

I’m not reinventing those wheels, and will borrow stuff like this when it seems right. And anything is better than curses :).
Your experience definitely reflects my own. It was so much nicer seeing having my parents become good platonic friends rather than married enemies.
That's a totally unquantifiable metric.
Mine likewise, I only wish they had done it sooner and not hung on "for the kids" for 15 years.
Don't knock it - if it works and only costs 3MB that's a win.

The longer you can scale the product without having to scale the application, the better!
Code dealing with tagged union matching is going to be completely rewritten and support added for match exhaustiveness checks and matching on pointers to tagged unions without copying the tagged union and its values.

The ability to do the latter is expected to result in a significant performance improvement and stack usage decrease.
No you can't blithely choose which measure of success - it actually doesn't have a single measure.

Your measure of market share is a reasonable one, as are the two I proposed being profit and creating and succeeding in entirely new markets.

They are new markets too, it's not rockets, it's reusable rockets at incredibly lower cost to orbit and new capacities to previous ones, it's space based communication networks that are again a serious generational leap ahead of whatever was before, it's the emergence of a serious replacement for ICE vehicles. In all these markets, his companies are the only market share! He owns these markets, because he created them, and is multiple years ahead of the rest of the world's highly motivated competitors.

I'm not detracting from the successes of the other guys you mentioned. But Musk can very reasonably be called the world's most successful businessman at the moment on multiple metrics.

It might be a competition between Musk and others, but it's the opposite utterly inept, which was the point - trying to give the benefit of the doubt to the OP per HN guidelines, while also keeping the discussion grounded in rational sanity.
It's for backwards compatibility with functions that return either the expected value (maybe an array or a string) or false (never true). So you can use it in a union like `foo(): string|false {}`. In that sense, it's not a boolean because it will only ever be a string or false.
Evil Twins and Digital Elves: how the Metaverse will create new forms of fraud
Related... https://admin.fee.org/files/doclib/IPencil1959_web.pdf
Google got fat and lazy.

At least they should sponsor someone motivated to write a client for it.
For those who've missed the announcement, here are some past links on the topic:

- https://www.sqlite.org/stricttables.html
- https://news.ycombinator.com/item?id=28259104
- https://news.ycombinator.com/item?id=29363054
> A guest on Joe Rogan’s podcast has claimed that being transgender is a “contagion” similar to “satanic ritual abuse.”

> Mr Peterson told him that being trans was a “sociological contagion” which he compared to “the satanic ritual abuse accusations that emerged in daycares in the 1980s.”

https://web.archive.org/web/20220206173028/https://www.indep...
> ” And yes, some hiring managers are gonna say "welp, this candidate isn't an open source ninja so we don't want them." But that's not all hiring managers.”

So probably is good risk management to not include your GitHub ever when applying.
Hence different color. I also don’t agree. I think most blue checkmarks equally hate the spam and anonymous hate. In a public square, we can tell you’re a robot or if you’re not and say vile things, you’re unlikely to stay anonymous.
Not really what you're asking for, and I can't find the project anymore (I think it's the search engines? I used to be good at this.)

Anyway, there's a guy who etches data into ceramic discs and stores them in a cave or old mine in, um, I want to say Switzerland?. The discs themselves would conceivably last millions of years, and barring cave-in of the tunnels they're stored in, uh, yeah.
> if you don’t like something, block it

Well, unfortunately we aren't on the old internet though, are we?
Before we talk about this approach we would need the tools to take timeline and personal content moderation in our own hands. This, however, isn't in the interest of Twitter, algorithmic timelines and ad/outrage shoveling in general and thus it probably won't happen.

I wouldn't even be surprised if excessive blocking would lead to your account getting flagged.

You are basically criticizing people for not building their own functional shack while all they have at their disposal is a bunch of timber of varying quality and merely a few rocks as "tools".
Show HN: DagsHub GitHub Integration – You've been reviewing ML projects wrong
Agrivoltaics
PHP seriously needs an event loop. The Node model, where things that call into libuv to wait on servers and such prevent the script from exiting, is simple enough to implement and while mildly unintuitive to newcomers is still accessible thanks to Node's popularity.
So you posit that "had to be chemically changed by the organism as part of it's metabolism" as a requirement to be part of it?

Otherwise, what makes building a flying machine with a fixed structure and a jet engine fundamentally different than incorporating environmental iron into a shell? https://en.wikipedia.org/wiki/Scaly-foot_gastropod
I read a little further in the article and they mentioned that. Is it really that easy? I was hoping there was SOMETHING else besides just .. simple lying.
Seems annoying, but any application can work around any firewall rules pretty trivially provided they can get at least one type of connection out to the internet. TCP, UDP, DNS... anything. Just need that one connection and it can be turned into a tunnel.

The private relay feature is worth being aware of, but it's irritating for users to deal with overzealous and clueless admins who think that locking down systems by disabling features like this can "increase security". It just ends up getting in the way of getting work done without any real benefit.
https://archive.ph/DhWQ3
We could just filter that stuff the same way we filter email. Naive Bayes works at email scale why not comment scale? It should all be done on a per user basis so the filters only filter out language you personally find offensive.

It never made sense why try to force me to use the same filter as the Karen that complains about kids skateboarding.
We need to stop using the term free speech as it literally means restricted speech (because everyone agrees there needs to be limits).
Now that Moore's law has reached it's end, we no longer replace our desktop machines every 2 years to get a newer model that is twice as fast, with twice the storage (or more). It is, in fact, reasonable to keep a machine for a decade now.

If you don't host internet accessible services locally, and don't offend any nation states or billionaires, it's reasonably possible to run quite old software behind a NAT box without grief. Know that something might come along and infect your machine, plan for it, make and test backups, and you should be good to go.

Tools should last for a lifetime, and the computer (and it's software) is just a tool. It's time to re-normalize buying something for life.
I was a guest riding in the back seat, definitely not a fighter pilot! And at 9.2 the pilot was fine but everything other than the center of my vision was grayed-out. I also had a 1G pressure suit on, that took the sensation down by about a point by forcing blood up out of my legs. But 9.2 sustained is way different than 9.2 for a few seconds as part of a max-g turn.
I do not want a future employer judging me on the basis of the half-finished amateurish experiments

I would not want to work at a company where the tech people are not aware that most repos are precisely that.
Musk has a reputation for craziness but if you look at his engineering decisions at SpaceX his record there is highly pragmatic. So the question is: which Musk is buying Twitter?

I personally don’t believe he means that he wants to turn Twitter into 4chan. Rather what he’s saying is that nobody should be censored on Twitter for the content of their (otherwise civil) speech. There is a wide gulf of possible moderation policy choices between current Twitter and 4chan that he could park it at.
They won't or if they do not for long. Gab, Parlor, and all the other right-wing "we're getting censored on Twitter come here where we won't censor anything (legal)" Twitter clones have all figured out rapidly why content moderation exists and that it's basically a necessity on the web as they get mercilessly trolled and spammed.

All he's really saying is he'd prefer to accept more shitty behavior from people who he aligns with and less from people who annoy him.
Those look nothing alike, imho.

The only thing those things have in common is the human mind percieving them.
I don't think the argument is against unit types. I think the argument is against calling one "false", and I agree. If you're going to have a reserved keyword "false", have "true" and "false" as Boolean. If you want a unit type to mean "failed", "failure", "incomplete", or something, use one of those words.
Thank you! I think I was overthinking it a bit - looking for a deep, nefarious scheme when they're simply saying they sold 300 boxes of candy when they only sold 50, or whatever.