skysight-inc/HackerNews huggingface dataset:
> It has devalued and replaced the work of people who relied on that work for their incomes.

Many people (myself included) would argue that is true for almost all technological progress and adds more value to society as a whole than it takes away.

Obviously the comparisons are not exact, and have been made many times already, but you can just pick one of countless examples that devalued certain workers wages but made so many more people better off.
can that webpage have an RSS feed, and a subscribable .ics file?
But „D-Day Through German Eyes” by Holger Eckhertz seems to be a hoax…

https://threadreaderapp.com/thread/1371772867059257347.html
https://www.thetimes.co.uk/article/experts-cast-doubt-over-a...
I use Brave - still haven't seen an ad in years.
Is 5MB a real problems? Theoretically it may look big, but I have seen many websites much bigger, not to mention all video/image we download are already skewing download by a lot. Considering runtime is cached for long time, I don't see a real blocker. First page render would be an issue but SSR solves that.
Awesome offering!
I think that depends on the brand. If they like the product, then yes. If the product has terrible battery life, probably not so much.
That's a supermajority in principle, but the board originally had 9 members and this is clearly a controversial decision and at least one board member is conflicted, and another has already expressed his regret about his role in the decision(s).

So the support was very thin and this being a controversial decision the board should have sought counsel on whether or not their purported reasons had enough weight to support a hasty decision. There is no 'undo' button on this and board member liability is a thing. The probably realize all that which is the reason for the radio silence, they're just waiting for the other shoe to drop (impending lawsuit) after which they can play the 'no comment because legal proceedings' game. This may well get very messy or, alternatively it can result in all parties affected settling with the board and the board riding off into the sunset to wreak havoc somewhere else (assuming anybody will still have them, they're damaged goods).
What do you find strange about ASCII?
I may have made a mistake in designing the architecture of our app. Since we're a small team, I opted for a big ol' monolith, hosting our APIs on the same server as our Blazor Server app. We normally serve a few hundreds requests per second on our APIs, which is totally fine. However, sometimes we got some spikes up to thousands of requests per second, which has the unfortunate consequence that our Blazor Server app becomes laggy and starts to drop WebSocket connections frequently. So, now, we are in the process of moving our API controllers to another project, which will be hosted on a separate server.
Based on Ilya's tweets and his name on that letter (still surprised about that, I have never sees someone calling for their own resignation) that seems to be the story.
> a micro-Lisp and another interpreted language that I've been designing for a while

> bundle it with your program source code, and bam! your script runs pretty much everywhere

> How cool is that?

Extremely cool! I've got a small lisp too and cosmopolitan inspired me to work on similar stuff. Seems I'm not alone.

While cosmopolitan's PKZIP support is impressive, I've been perfecting an alternative method to embedding source code inside the lisp interpreter executable that's more tightly integrated. Cosmopolitan libc opens the executable and reads the data from the filesystem. I want the data to already be mapped in before execution even starts.

I only target Linux so I get to take full advantage of the ELF format: concatenate the data to the ELF and add a PT_LOAD segment for it so that Linux loads it onto memory automatically. So far my work has resulted in a new feature being added to the mold linker and and a couple stackoverflow questions. Just submitted a pull request to the patchelf utility too.

Once it's working, I'll write an article about it and submit it here.
Your instinct was right, who advised you against that?

What happened in the days before you got the severance package?

Do you have an email address or a contact method?
> - It has been used to distort educational attainment and undermine the current basis of some credentials as a result.

I'm going to go ahead and call this a positive. If the means for measuring ability in some fields is beaten by a stochastic parrot then these fields need to adapt their methods so that testing measures understanding in a variety of ways.

I'm only slightly bitter because I was always rubbish at long form essays. Thankfully in CS these were mostly an afterthought.
Off the record conversations when doing background checks, this is one reason why companies never let anyone know why they weren't chosen.
> "There appears to be no clear path forward for crypto exchanges to legally list new crypto tokens to the public."

That's American securities law. The exchanges can always sell these tokens to accredited investors, but that's not the business they want to be in, I guess.

Of the tokens you mention, Solana was a major component of Sam Bankman-Fried's fraud empire. You dismiss the consumer protection aspect, but clearly it would have been better for consumers if SBF and FTX/Alameda didn't have access to American retail investors through this token.

What I'm trying to say is, it's probably very hard right now to change securities laws in a direction that would make it easier for Americans to buy the kinds of tokens that SBF manipulated. That just seems like political reality.
This reads like a puff piece written by a PR firm commissioned by Helen to rehabilitate her image in the aftermath of the dumpster fire.
K8 Studio is a cross-platform client IDE to manage Kubernetes Clusters. You can deploy easily to EKS, GKE, AKS, IBM Cloud, or your own bare metal. Connect to your cluster and have a graphical representation of your nodes, pods, services, etc. Access logs, element descriptions, and bash terminal with a single click.
You can say that, but at the same time, whenever people complain about technology changing, leaving them behind, they usually mean tech by Microsoft.

The reason Java and JavaFX survived is that they went Open Source, with a large FOSS ecosystem, targetting FOSS operating systems as well, all while there still was interest. And their maintenance and evolution continued. Adobe RIA and Flash were proprietary platforms, just like Silverlight.

In fairness, projects that survive tend to be FOSS, and AFAIK, .NET Blazor is open source. OTOH, the .NET ecosystem tends to prefer Microsoft's solutions, with alternatives languishing, they basically killed Xamarin's projects, and they have had several noteworthy conflicts with the FOSS community. So the jury is still out on whether Microsoft's projects can escape the deprecation curse.

---

The lesson here, for all, if you want for your knowledge and work to stay relevant, look towards Open-Source platforms and open standards. If seeking stability, the older, the better, actually. FOSS platforms age like fine wine.
No, people hate it because it's a massive downgrade in UX, especially the wasm variant, just because backend devs don't want to use the right tools for the job. I'm fine with it in internal apps, but public facing apps using blazor would be horrible for the users, which is why it is thankfully very rare to see.

Javascript seems downright lightweight and unbloated compared to shipping an entire dot net runtime for a crud form app. For what it's worth, I don't care about turning off javaScript or even bloat in general, but this is extreme.
That's why dutch people have front bike seats for children. You can hide behind them when it's raining really bad.
Yes, and i have seen teams working entirely without a formal backlog of user stories. Some use a large wall chart, some use a User Story Map without any kind of Scrum of Kanban process... in some teams this also works.
I hassled my IT guys to get rid of Symantec Endpoint Protection on my PC and leave me with Defender. You can too.
This summer a French company started to sell sodium ion battery power tool in a major hardware store.

National French research agency announcement: https://www.cnrs.fr/fr/cnrsinfo/batteries-sodium-ion-une-pre...

The power tool : https://www.leroymerlin.fr/produits/outillage/outillage-elec...

Unfortunately, all I could found about the Wh/kg efficiency was an article about the same company saying they were currently able to build cells at 90Wh/Kg in 2017.

Nevertheless, it's not a promise, it's a product currently on sale.
We live interesting times ^_^
Here's an article from June with more details about the current status of sodium-ion batteries (in China): https://carnewschina.com/2023/06/07/lei-xing-is-catls-sodium...

Note that CATL also claimed 160Wh/kg two years ago, but what they will actually be making will probably be closer to 120.
'Argentina has non-negotiable sovereignty over the Falklands'
>Why are we blaming PMs, here? Plenty of engineers out there make really stupid decisions every day.

EXACTLY! Because it's a known fact all devs make mistakes, and as such, as a product manager/owner you're responsible for the bigger picture of the product and ensuring the right requirements, checks and bound are put in palce and validated for a successful product release.

It's not the job of the lowly SW engineers who have little visibility in the product as a whole and who just sprint to punch out Jira tickets handed to them from above, to check your product works as intended, it's your job as a PM/PO to ensure the work of all the devs integrates nicely into a cohesive product as per the requirements/vision.

Kind of like that famous story of that intern who got fired for deleting the production DB by mistake on his first day. Was it the intern's fault for the mistake or the fault of all the seniors and managers who should have placed the proper checks and bounds in place so that nobody can so easily delete the production DB?

So the buck for the product success/fail stops with those at the top who orchestrate the band, not with the individual SW engineers at the bottom.
This is what should be pointed out every time someone brings up Apple “monopolistic practices” of outbidding the competition for TSMC capacity: without money from Apple TSMC wouldn’t be able to finance building so many factories at once.
> I had thought that curing did mean fixing the problem, but I just googled and it does indeed also mean relieving of the symptoms.

Usually curing would mean fixing the problem, or more specifically it would mean permanently eliminating the symptoms. This contrasts with "treatment" temporarily relieving the symptoms.

https://my.clevelandclinic.org/health/articles/24434-cure

> Being cured of a disease means it’s completely gone and isn’t coming back. For many people, cures represent the ultimate treatment goal. Most diseases and conditions aren’t curable.

(This link disagrees with my use of "treatment", saying that "treatment" is any procedure, and "cure" is one of many possible outcomes of a treatment, with temporary relief being another possible outcome. But the point stands that curing definitely does mean fixing the problem.)

Glasses do not cure myopia, but they are so effective at relieving the symptoms, in an inexpensive and noninvasive way, that there is no real need for a cure.
looks potentially interesting but a lot of it is kind of baffling, assumes a lot of familiarity with fairly esoteric topic, not clear where to start

the tutorial page https://www.idp-z3.be/tutorial.html is a bit more enlightening

as is https://interactive-idp.gitlab.io/ learning material

but I didn't find those first, I found the docs first (via the four "learn more" links on the landing page)

and I don't think they are the best starting point

https://docs.idp-z3.be/en/latest/introduction.html

> IDP-Z3 can be installed using the python package ecosystem.

> install python 3, with pip3, making sure that python3 is in the PATH.

> use git to clone https://gitlab.com/krr/IDP-Z3 to a directory on your machine

> (For Linux and MacOS) open a terminal in that directory and run the following command

First thought is... why isn't it published to PyPI?

But then elsewhere https://docs.idp-z3.be/en/latest/IDP-Z3.html

> the idp_engine package available on Pypi.

And looking in the git repo it seems like this is the same package published as https://pypi.org/project/idp-engine/

Why not just say "pip install idp-engine"...?
I don't think there was any doubt about that. Did anybody here believe that crap?
Docker is a container based tech. the binary compatibility won't help.
The problem with having such a technology not being based on latex: every conference in my field (computer science) with formal proceedings needs you to send your latex sources to compile the proceedings.

I think this is fine for workshop submissions without formal proceedings, or a thesis, white paper, etc..

But as soon as formal proceedings are part of the process, you need to fit in with that process.
Yep. The tools we are building will have something of the character of the people who build them and their values inside of them.

We used to identify some behaviour as sin. A few years ago it was commonly said that "Microsoft is evil".
> Well, they can unring the bell pretty easy. They were given an easy out.

> Reinstate Sam (he wants to come back) and resign.

Wasn't the ultimate sticking point Altmans' demand that the board issue a written retraction absolving him of any and all wrongdoing? If so, that isn't exactly an "easy" out given that it kicks the door wide open for extremely punishing litigation. I'd even go so far as to say it's a demand Altman knew full well would not and could not be met.
I can imagine this being true, I never bought into the trainings and the whole corporate values.

It always feels like is something companies do, because everyone is expect to act that way publicly.
Is Velodrom the big sports complex by the Landsberger Allee station? If so, it makes sense. Afaik it is the biggest pool complex in the city, supporting olympic swimming and diving.
I was not talking about the success but the core tech those employees are working with. That's what really matters isn't it?
Is "think of the bioterrorists" the new "think of the children"?
The product manager was overridden by the board / CEO who emphasized hyperaccurate metrics and time to market. Product managers are usually caught in the crossfire between a dev team who can't left-pad without 400 packages, and a C-suite who does not give a flying french fry about technical details.
Writing it in caps doesn't make it true. In real life UTC is a time standard, not a zone, but in python and in most other date/time mechanisms it is treated the same as one. It exists in the IANA tz database.

A python "aware" datetime carries a "tzinfo" object. This can be a timezone object which just uses a fixed offset from UTC or it can be a more sophisticated subclass of tzinfo such as the one provided in the zoneinfo module (since Python 3.9), which uses the IANA timezone database and so can express things like "America/Los_Angeles" (and, indeed UTC).

The UTC timezone object provided in the datetime module (datetime.timezone.utc) is the former kind, an instance of timezone, which is sufficient because of course UTC can be expressed as an offset (of +00:00) from UTC. However it isn't just the offset. Try creating a datetime using tzinfo=timezone.utc and call tzname() on it. It returns "UTC". It knows that it is called UTC, not just that it is an offset of +00.00.

Now try calling datetime.utcnow().tzname(). It will return None. Also try calling datetime.utcnow().utcoffset(). It will also return None (not 0). This is because the value returned by utcnow() is a "naive" datetime: it doesn't have a tzinfo at all. That doesn't mean it represents UTC (or an offset of +00:00 from it) as you appear to think. It means it has no timezone or offset specified. It is just a nominal time.

Plain nominal times with no timezone information are useful in some circumstances, but they do not represent an instant in time. A "naive" datetime of 12pm 1st jan 2023 means just that. It's a valid concept in its own right but it doesn't denote a single point in linear physical time. For that you have to add more information. The information that, in python, goes in the tzinfo.

You say yourself that "utcnow() definitely suggests that you get an UTC" but you then seem to be under the impression that it does so. It does not, because it returns a naive datetime, and a naive datetime is not UTC or offset zero. A naive datetime has unspecified timezone/offset. It could represent UTC or CST or BST or all three at the same time or none of them. It is unspecified. This is very misleading behaviour from a function that has "utc" in its name.

All of the above is easily verified by consulting the docs. I don't know why I took the time out of a busy day to write it, given the laws of ego on the internet mean you're unlikely to even read it all let alone thank me for writing it. Nonetheless, I hope it might help you avoid at some point making the exact mistake this deprecation is trying to prevent.
This is interesting because I kind of view it the opposite way. The interesting thing about Zuckerberg, Brin & Page is that the have legal structures in place to give them control. Mark Zuckerberg doesn't need to be popular, he has the votes. He can drive Meta into a wall if he wants to - and he absolutely has taken that choice sometimes. The thing about the structure that was in place at OpenAI is that if Altman went rogue there was someone there to hold him to account. Now there actually is a really interesting conversation about what that accountability mechanism was, but what happened in practice is the board just screwed up.

But I do think it is worth considering, was this non-profit board thought out in the first place. If you were serious about the dangers of AI and the impact on the world I think it's absolutely sensible to set up a board to be a balance on that power. But it's important who you put on that board - and the people they selected were comical. Brockman, Sutskever, and Altman are all the people that are meant to be accountable to the board, not on the board.

If you wanted accountability you would, for a start, have had some people from outside silicon valley on this board. Some people who know something about Labour rights for example, maybe some people from the creative industries you're disrupting, maybe even some policy experts. It's just funny to think that this is what they thought accountability was. Accountability to their own friends.
> But dammit, at least leave the old SDK’s up for a decade for this very reason!

You can get .NET Framework 4.8 from the Visual Studio installer, no problem. It's not even marked as deprecated. If you know where to look, all the other versions are available, too.
Offer big paychecks and this is the culture one gets...
If the vote was made when no one was there to see it, did it really happen? There's a reason to make these votes in meetings, because then you've got a record that it happened. I don't see how the board as a whole can make a decision without having a board meeting.
"Nobody had time to figure out how to patch the letsencrypt runner to work with the only docker image that was compatible with the whatever web engine we run"
The timeline is a bit murky about what happened when but it looks to me as if Altman was working for OpenAI until he got fired after which he took a job with OpenAI's major partner that he helped bring on board.

That doesn't 100% rule out that there was more to this but the optics are mostly ok. It still doesn't resolve the problem that you probably don't want either Sam Altman or Microsoft to have an army of people working at creating AGI without oversight but that's where the board shot themselves in the foot, they effectively removed themselves from the equation.
Fly.io dropped their Terraform provider
Without a public announcement Fly.io dropped their Terraform provider to an unmaintained state. Their official advise on what to do now is to use:

"first-party tooling: flyctl and/or the Machines API."

Which totally misses the point of Terraform.

Just found a post about this in their forums:

https://community.fly.io/t/fresh-produce-volumes-endpoints-i...
> Then he went to the UK and laughed, "Who cares about Europe"

Interesting. Got any source? Or was it in a private conversation.
Apparently they not only asked Dario to become CEO, they also asked Nat Friedman (Former GitHub CEO) and Alex Wang (Scale AI CEO). Flailing indeed.
> "there's lots of humans who also don't reason"

It IS really common, though, to come across people that either regurgitate arguments they've seen other people use, or who argue based on intuition or feelings rather than logically consistent chains of thought that they seem to independently understand.

> they don't actually have a definition of what reasoning is

I would definitely not be able to define "reasoning" 100% exactly without simultaneously exclude 99% of what most people seem to consider "reasoning".

If I _were_ to make a completely precise definition, it would be to derive logically consistent and provable conclusions based on a set of axioms. Basically what Wolfram Alpha / Wolfram Language is doing.

Usually, though, when people talk about "reason", it's tightly coupled to some kind of "common sense", which (I think) is not that different from how LLM's operate.

And as for why people think they "reason" when what they're doing is more like applying intuition and heuristics, it seems to me that the brain runs a rationalization phase AFTER it reaches a conclusion. Maybe partly as a way to compress the information for easier storage/recall, and maybe to make it easier to convince others of the validity of the conclusions.
Ask HN: What's the best use-case you've used/witnessed in Python Automation?
Best can be thought of in terms of ROI like maximum amount of money saved or maximum amount of time saved or just a script you thought was genius or the highlight of your career.
I don't feel any different relative to the people working at FB or Google and all of them have their own in-house AI projects. Ethics are a problem for all of these parties and that seems to happen more or less automatically when an entity reaches a certain size.
Anyone care to explain why anything hosted on the platform of any private profit-driven company should be considered free speech at all?
Yes, how dumb of me to not make a completely weird request to interview the corporate IT department of my job after I had been laid off for two months and was struggling to find anything in my area.
Maybe this will lead to more people using Firefox and other browsers
> Was Marx wrong?

Not sure, but attempts to treat him seriously (or pretend to do this) ended horribly wrong, with basically no benefits.

Is there any good reason to care what he thought?

Looking at history of Poland (before, during and after PRL) gave me no interest whatsoever to look into his writings.
because our home grown power hungry individuals are more likely to be okay with things like women dressing how they want, homosexuality, religious freedom, drinking alcohol, having dogs and other decadent western behaviors which we've grown very attached to
45 GB of email isn't that much to start with... maybe a few accounts for a 5-10 years and you'd be at that level
I wasn't talking about this project at all, I was responding to GP's sarcastic assertion that there's "always some kind of rare amoeba whose habitat would be impacted."
For me that hasn't changed, I don't see a different company, I just see more polish and people lap it up because they'd like to believe that this time around Microsoft is their friend. If appropriating all open source on GitHub didn't wake people up I don't think anything will.
Manifestation Mysteries. Things you should know before manifesting anything
If there is no success then there is nothing to discuss.
Agree it is a little tricky to get startet. But once configured, it helps a lot