skysight-inc/HackerNews huggingface dataset:
When almost every app sucks, I feel like it’s at least partially a platform issue.

(Disclaimer: I actually have RAM to spare, in constrained environments the situation might be different)

VS Code is pretty much the only larger electron app I think is very well done. Discord is pretty good, but then it starts going downhill. MS Teams is mostly responsive, bottom-of-the-barrel apps like postman feel like you are on a thin client remoting over a slow internet connection. And most electron apps sit between Teams and Postman.
Just an aside that had nothing to do with Atom itself, but I didn’t get into Electron while it was still called “Atom Shell” because the name was doing it a bit of a disservice. For some reason, by brain put it into a category of software more akin to bash/zsh and never questioned it again.

Did anyone else experience the something similar?
what are they using now instead of implant system? i thought its standard.
Exactly. I don’t understand why universities don’t factor in human costs. If it requires manual intervention every 2 weeks, investing $100 should be a no brainer.
Oh wow, and for me, it required your comment. Luckily, I’m not easily embarrassed ;)
You didn't even disagree, you posted a vapid knee-jerk.
>> And then there's professional level support. Who can you pay six and seven figures a year to in order to acquire the services of a team of industry experts who work with Godot?

> Why would you need to? It's an open source engine that uses straightforward C++, You can add PRs and requests in Github or contact the devs on Twitter or wherever.

This is such peak HN, and misunderstanding why companies pay for professional support, that it hurts.
The statements "If it's complicated, it's probably wrong." and "Sometimes, problems have a complicated solution." are compatible with each other. In fact they're saying the same thing.
why are you going to the mat here
I've heard that SpaceX pays below the industry average though.

Seems like a bad deal, get paid less and have to "manage" your founder.
it's fine, it's not like that someone cannot get another job easily, even in current market
Well then, people shouldnt complain when their private lifes get monetised in lieu for cost or when kids get hooked on loot boxes. Let alone when of the last standing indie software dev markets dries up thanks to oss cancer.
> 2. No one knows who’s in “Elons jet”.

There's very good ways to guess who's in Elon's Jet.
I agree. Principles are the only way out of this. People need to feel faith that an evenhanded application of impartial standards will protect both them and their ideological foes alike. Whatever privacy standards are established need to protect everyone the same.

It's easy to point out Musk's hypocrisy and shifting standards. Conservatives did the same when it was more liberal people who ran Twitter. We need to appeal to something higher than "everything is great when people who agree with me are in charge."
It probably has to do with the desirability of the replaced jobs. There's definitely an element of classism, but also people /really/ want to be artists and make a living doing that specific thing. There's the "starving artist" who will take little pay just as long as they can do art, but I don't think we have a similar idea for lots of blue collar work. How much do factory workers have passion for their work, vs it being the best paying option for them? Not to say there aren't any, but there's for sure a desirability difference.

Also I'm not sure most artist jobs are middle-upper class.
One bad recession and that AAA piece of proprietary software you've built a whole game on could go under. Meanwhile OSS would likely only benefit from people having more time on their hands

As OSS gains popularity and more companies rely on it we also see these companies invest labor and funding into these projects to ensure it stays around

OS is slow by design
It lived as it died, in mediocrity
There aren’t really any problems. Some people see that because all of this data can be spatially and temporarily referenced, it can be accessed better, as if there could be one format and one application that could let you do anything you want across the space time, regardless of the source.

The reality is that a lots of models using this data are developed against a specific sensor or dataset, and just don’t work or scale.

I don’t think this will be solved in this domain by pangeo or any startup in particular.

There is an awesome new STACspec that every geo company should be adopting, and that’s the direction to move towards.

But each step towards standardizing the GIS process will require something that truly everyone can adopt, sort of like JSON.
that's not how's it's done.

There is a process there which goes by each posted links (and shortens them in tweets) and checks if there anything there.

so technically you can shutdown the instance, post a link (if it wasn't previously "banned"), wait a couple of hours and bring the instance up. But it would be probably checked some time later.

But come on, just make a simple page with 304 redirect on any platform.
Oh, no, those won't be silent when using anything electron
Lots of people have already written programs in Python. Now their programs will run a little faster without any work. It’s like the barista saying, “coffee’s on me today.”
I don't think anyone uses that any more.

My point is that links to communications services that people use a lot should be blocked on Twitter, and result in account suspensions, and users should only be allowed to share info on the Twitter platform itself, and any straying from this should result in severe repercussions, just like showing any other data Elon doesn't like, such as the ElonJet account, and now Mastodon links.

Ideally, this will cause nearly everyone to flee Twitter altogether.
But it doesn’t act like an application. Most of the OS right click services, keyboard shortcuts, menu items are all missing. Accessibility tools don’t work.
As someone affected by layoffs earlier last month, I can say this market is not looking great. With hiring frozen everywhere I'm afraid there probably won't be hope until Q2 2023
As an Indian, Rajpopat’s this comment struck a chord -

> Some of the most ancient wisdom of India has been produced in Sanskrit and we still don't fully understand what our ancestors achieved. We've often been led to believe that we're not important, that we haven't brought enough to the table. I hope this discovery will infuse students in India with confidence, pride, and hope that they too can achieve great things.

I can definitely attest to wondering why a country so old hasn’t added much to human scientific advancement. Maybe the knowledge is locked away behind hard to penetrate language.
i would use one of the large such as mastodon.social and move on with your life. once you get a hands on understanding, you’ll probably still want to stay on a larger instance, but if you want to move to a niche, you can.

the way i did it was:

1) signed up on a large instance. found a few hundred of the people i followed on twitter.

2) found that a large percentage of them were on a specific instance (infosec.exchange)

3) i didn’t have to move to that instance, at all. i could interact with them all day everyday just the same as any other other social site. i did however ultimately end up moving there because i like the admin.

compared to every other social network on the planet, moving to a different server is easy. i didn’t lose any followers (people who follow you just automatically follow the new account), and importing the entire list of who i followed was super simple.

most people would never ever notice the difference between servers, but if you were to for some reason need a more niche environment, there are plenty of guides out there which will hold your hand and walk you through migrating to a different server.
https://twitter.com/oneunderscore__/status/16035518847484600...

This Tweet is listing the accounts banned.
Modern software projects are wildly different than OS/360.

The insights from 50 years ago is fine abstractly but it has its limitations.

Not only are there many more roles to fill but things like translation and QA scale pretty well.

It's an adage, not a hard and fast dogma.

Also it was specifically limited to when in the project people are added and often gets misremembered as some linear programming inspired exercise in optimal team configuration.

The latter is obvious and useful (right size the team for the job) but IIRC, Brooks doesn't actually address it in the famed literature.
Yes and no. Sure, tech solutions are superficial and can only ever be partially successful. But we know how to build tech. We do not know how to manage 8 billion people stuffed into a couple of hundred unruly 'sovereign' nations. Certainly not to the extent necessary to hold back trivial desires created by corporations/marketing, which now form the core of most world cultures.

I have no idea whether or not it's possible to create a viable network of global human cultures which can constrain themselves to live as part of reality (what some call 'nature'), but I'm pretty sure if it is, it's no less than a century away. Probably longer. And we don't have that much time to stop fouling the nest.

I see climate change tech as a stopgap. Without it (BAU), or with fantasies of immediate revolutionary change, we're fucked. Tech might help keep society viable long enough to create what's really needed, in a century, or two, or three.
There are nuances. It's obviously less okay to effectively ban public (edit: and even public health expert) criticism of public health policy than it is to ban sharing the live location of other people.
and now Mastodon is the same thing, but decentralized and not owned by a single point of human failure.
I mean, better than just posting no link at all. So I should believe that Twitter had a left wing bias because some guy on a forum said so?
I'm annoyed by everyone just making things up that they find ideologically convenient. I'm annoyed when Elon does it, I'm annoyed when his enemies do it.
Do we know exactly what the GPT3 tokenizer is? It could be combining multiple words together, for example common bigrams.

Never mind, it looks like they have a tokenizer tool online and every bigram I’ve given it BPEs to multiple tokens:

https://beta.openai.com/tokenizer
Because I totally need native performance on an app that primarily displays text, text entry, buttons, other form controls, and maybe a random image or two.
If we're talking about making an accurate rip of an audio CD, I'd recommend Exact Audio Copy with the error correction options enabled. I think it's Windows only though if that matters.

https://en.wikipedia.org/wiki/Exact_Audio_Copy
Reading this link...wouldnt this break EDNS client subnet then by design, or am I misunderstanding?
Or 20 years of wage suppression worked and now they're at parity.
> (as if men aren't also fertile)

What do you mean by this? It takes 2 people of the opposite sex to make a baby.
Why wouldn't any URL shortener work?
To manage the entire contract lifecycle, integrate your Microsoft 365 Business Central platform with our contract management software.
I knew he'd gone mad when he tweeted the Nancy Pelosi's husband conspiracy theory, but I was cautiously optimistic about Twitter up until ElonJet.

Our company had already stopped spending on Twitter ads back when the first (possibly false) reports about increased hatespeech on Twitter came out, where I was one of a few protesting the decision, since it seemed like giving in to the hysteria and just trying not to become the target of activist journalists. But now it's clear even to me that staying on Twitter is a brand safety issue.
> It is rather simple: The tools don't matter.

This is biggest lie. Tools matter a lot.

You can do everything with just ’ed’, but you can nor argue that you wouldn’t be more productive with pretty much anything else.
Opening large files is a pretty niche case anyway. Even CLI tools like less and grep are slow with things like searching muti GB files.
Htmx in a Nutshell https://news.ycombinator.com/item?id=33987578
I love this tip for all kinds of diffing. I'm so sure I'm going to use it that I already assigned it an alias to strip numbers from whatever's on my Mac clipboard:

alias numberless="pbpaste | sed 's/[0-9]//g' | pbcopy"
FragranceNet: Twas the night before Green Monday When all through the site * UP TO 80% OFF * SHOP NOW for delight* https://fragrancenet.attn.tv/l/Jut/RrfIC .
> Watching Elon melt down in real time while pissing away $44 billion dollars is not something I ever expected.

I don't think you can have the kind of wealth Musk has without it changing who you are. I don't think his worthiness is even worth consideration, if you transferred that wealth to any of us we may handle it better or worse but it would invariably distort our decision making and worldview.

When you change someone's opportunity set to include exercising arbitrary authority over others, their decisions will become more & more domineering. When he decided he was going to take over Twitter and start cracking skulls, he was indulging his worst instincts, and we've seen him slide further into an authoritarian frame of mind.

Not to excuse Musk's actions, but he's a victim here too. I think he's had a rough few years; the pandemic was hard on all of us, and his divorce was presumably quite painful. The other day he was booed by a huge crowd; I don't care who you are, I believe such disdain by so many people has an effect on your mind. And of course his child was harassed immediately after - this seems to have been the last straw to trigger some kind of paranoid episode. It seems like he's convinced that there's a danger to himself and his family, and that he's gone into a really authoritarian headspace.

I think the lesson we should take from this is that no single person should be trusted to have this sort of power.
The horses weren't arguing since they're content not having to transport humans around. This sort of prediction has been made multiple times before. I don't think you know the future anymore than anyone else. We'll see in a few years.
Well this should be a good lesson in why not to trust something that supposedly is in the public interest to a private company that can easily be bought up by some billionaire with emotional problems.
> There’s nothing wrong with asking for evidence, but as we can see from your other comments, there is no way for anyone outside of Twitter to definitively prove what the accounts tweeted before they were banned.

That's not entirely true, if someone had a copy of all of the recent tweets from one of the banned accounts, then it'd be relatively easy to check if any of them violated the new policy in any reasonable sense.

> A certain amount of skepticism is healthy, but allowing people to flood the water with BS allows them to get away with lying more often than not (people just throw their hands up and say “who knows!”). Ties go to the liar.

However, I agree with you completely here. What I disagree with was the original comment I was responding to simply declaring that he had banned them despite them not violating the policy. That statement may end up being true, and maybe that person has evidence for it, but if so they should provide it. And if they don't have evidence for it, they should say something much more like what you've said here.

I think Elon should provide evidence for his claims as well, and I'd make the same criticism of him. If you're going to ban high profile journalists who are critical of you en masse with a new rule you just enacted, you'd better publish receipts along with it, at the very least.
Name a name then
The blocklist isn't a practical solution to GP's problem, and I'm pretty sure (having read other things you've written) that you're smart enough to know this.

There are many journalists on Twitter and they often show up in threads and/or have their comments retweeted. If GP doesn't want to see them (and I can empathize!), they'd have to click through to the profile of every tweet in their feed whose author they don't recognize, check the description to see if they're a journalist and, if so, block them. And they'd need to do this forever, as there will always be unrecognised accounts showing up in the feed.
Who Owes Who What?
VSCode is one of the greatest pieces of engineering of our time. It's really only when you compare it with Atom that you realize how great it is. Atom was built by incredibly smart people, who had full control over the platform and several years of head start, and they were still out-engineered by the VSCode team at every turn.

VSCode did almost everything right: The choice of TypeScript as the base language (with which VSCode has a symbiotic relationship), the limited, slowly expanding extension API, LSP, the monorepo, the monthly release cadence, the built-in terminal, and the list goes on and on. They turned Electron's strengths into super-strengths, and deftly engineered around Electron's weaknesses. VSCode is the greatest productivity tool in the history of software engineering, and it fully deserves the dominant status it has today.
I joked recently that the only way this could get worse for Musk is if he adopted Mickey Mouse as the official logo of twitter, but this could be a close second.

God knows twitter has become (fortunately and unfortunately) a major news source, and if this drives off enough journalists it's going to lose one of its major purposes.

I still don't think "Ah it's all a master plan so Musk can declare bankruptcy and walk away" actually makes ANY sense as a reason if you look at the loans and the amount of stock he's got up as collateral, but I could see a ploy that just leads to a very sad deal with outlets like fox/cnn/msnbc saying "i'm willing to control the message more than anyone before me if you play ball and pay up"

Thinking about this a bit more, I think this continues to open up the debate about if politicians should even be able to make statements related to their job on twitter? To my understanding there's a LOT of controls on not limiting public information and making sure it can be access and archived. I'm really not sure how far that goes with networks refusing to air things (i suppose that's the point of cspan), but the idea that musk can just ban any politicians account to prevent them from disseminating information related to their job (while others who play ball can still use it) might open interesting legal questions.
I had the understanding Twitter actually resolved bit.ly links and similar, but I'm not going to argue if someone manages to use any alternative.
article from Cambridge Uni -
https://www.cam.ac.uk/stories/solving-grammars-greatest-puzz...
Me too. i was otherwise excited to try it...
mcm has two bars, they both absolutely serve liquor. source: me, a current bartender here in mcmurdo.
Wow! Been a while since I heard that name. Atom was the cool kids editor back when I was a teenager, surprised to see it go!
You’ve surveyed them personally, have you?
that's certainly an age dependent thing, right?
> Even CLI tools like less and grep are slow with things like searching muti GB files.

In what universe?

I routinely use "less -n" to open terabyte-sized text files.
> was never really quite able to get the [VS Code] interface the same way

You're at least the 3rd person I've seen make that observation in this thread. I don't get how VS Code made this so hard, isn't it fundamentally built on a fork of Atom's core? The CSS and JS customization seemed more capable and accessible in Atom somehow.

I've heard only good things about the Sublime Text UX for literally a decade or more, but is it "hackable" in the way that Atom and VS Code are? Emacs-like hack-ability with less esoteric scripting (and a better UX out-of-the-box) is exactly what attracted me to Atom in the first place.
> Apparently not. That's bad.

https://twitter.com/paulg/status/1603572959758663680
Some people love space more than money.
News != Reporters
correct, no psych evals for USAP participants.
This far, FreeRDP has always required me to logout of the local X session of whatever server I'm connecting to. In order for this to be possible, it seems that logout requirement can be avoided. I'm intrigued.
No, these are fairly recent tools.
Hopefully it's 5D Chess, playing the long game.

"A warm welcome to all the newest converts to the great American cause of free speech!" @pmarca
Mastodon has plenty of servers that moderate anti-vax information. They're just not very popular.
They always have been.
I've been following @elizablue. It's quite possible she's a bit of a grifter.

And she's also Qanon or at least Qanon adjacent. Few days ago she tweeted that she did believe the world was run by a satanic pedo cult.
ChatGPT cannot correctly perform step by step operations within strict formal systems. On the other hand, it can provide a high level sketch of how tomathematically prove something[1].

I think this is amazing, because this is the opposite of how we normally think about computers. ChatGPT is highly intuitive instead of a formal reasoning system. No doubt some future AIs will combine this intuition with checks against formal verification engines to check correctness.

[1] Section 6 of https://yaofu.notion.site/How-does-GPT-Obtain-its-Ability-Tr...
> speaks to deeper cultural issues that nobody wants to talk about

Could you explain further?
Yup. Fundamentally Elon's "free speech" thing was about anti-trans hate. And you can find the same hate here on HN, and it's fine as long as you weird it politely and ignore that those are real people we're talking about.
It does solve all the problems related to concurrency, because there is no blocking IO. Blocking is forbidden. Pony guarantees freedom of race conditions and dead locks.
Their revenue was growing at a pretty good pace and as of 2021 it only needed a few more percent to meet costs.
> I slept in frustration

Human brain runs a defrag process (quite literally) when the body sleeps. Not only this removes the cruft from the day but also rearranges and makes links for the knowledge gathered through the day.
All of them? Really, we know that's not true.

There's a concerted effort to amplify only the voices that will continue to benefit pimps and punters and other vile men.
Right. Everyone knows this. We've all heard that a million times now.

But the term is being used in this context in a looser definition.
The medieval church used to be much more about esoteric doctrine and strange theological reasoning than I think most people realize. It was both complicated and nonsensical; different traditions had different levels of complexity, and many were notoriously convoluted. Byzantine life centered around theology and the overcomplicated bureaucratic state dependent on it to such an extent the word “byzantine” became synonymous with impossible to reason about complexity. While the way in which AI works involves much more rigor and empiricism and has wildly different principles at its foundations and observable results, I’d argue it’s similarly impossible to reason about. What brought about the scientific revolution was a rigorous deference to simplification wherever possible. The convoluted orbits with Earth at the center “worked”, but were much more complex. Our deference to complex convoluted statistical models where the underlying natural rules and phenomenon at play aren’t explicitly identified seems like a step backwards in terms of creating more actual knowledge to me (although the practical utility and the opportunities to refine outputs into new knowledge discoveries are massive)

And I realize what I was replying to was a hypothetical/not a serious proposition right now, but people seem very eager to push towards a future in which we defer to more advanced versions of these things without much additional thought. I think that’d be a major mistake.