skysight-inc/HackerNews huggingface dataset:
Nim has also a powerful deep learning library called Arraymancer. It's selling point is that you don't have to rewrite your code from research to production. It's used in various machine learning projects, but one recent one that caught my eye was https://github.com/amkrajewski/nimCSO "Composition Space Optimization"

https://github.com/mratsim/Arraymancer
Shout out to LG as well for sending their final phone to E-waste in the same way

The LG Velvet is the only "flagship specification" phone I could get in Australia with 5G, a MicroSD card slot and a headphone jack!

3 weeks later LG killed it citing the "other big unnamed Korean electronics giant taking all our market share" and then later promising "2 years of updates guys, we promise!"

At least if we could unlock the fucking bootloader we could port Lineage or Graphene or something to it. But (at least on EU derived models like mine) that never happened

Reluctantly on a Pixel 7 Pro now
The coroner did say it appears to be self-inflicted, but that is not the final and formal judgement.

> The office of Charleston County Coroner Bobbi Jo O'Neal said that Barnett, who had been living in Louisiana after retiring from Boeing, died "from what appears to be a self-inflicted gunshot wound."

> Charleston police say detectives are actively investigating the case and are awaiting a formal cause of death as they try to determine the circumstances surrounding Barnett's death.
I think Meta have avoided doing this because it would complicate their business priorities. They don’t really do B2B.
Not a control issue but there was a Hawaiian flight that had 36 injuries from turbulence. Edit to add: it would be unsurprising if turbulence was the cause here and the passenger quoted had their facts wrong.

https://www.cnn.com/2022/12/18/us/hawaiian-airlines-injuries...
Those engineers wouldn't get credit lines and investors for a buisness plan that slowly climbs back to excellence. The surrounding system will not stand it.
A Year with Fly and Developer Delight
It’s clear you have so little knowledge of the area you’re trying to talk about there’s not really a point in continuing.

The real world isn’t a computer, and Apple is held responsible for user mistakes.

Remember the fappening? Apple never let users make security decisions on their iPhone again and forced MFA.

You’re talking about walking back decades of platform security because you want to be special, which by the way, everyone who does this for a living agrees with Apple here, including Google. That’s why they’re making Rooted phones worse experiences, 99% of people cannot be trusted with the sort of access you’re talking about, and Google knows that.
EU to take security risks on their own?
It depends on whether you want to respond to stories like this with advocacy or understanding.
Open Source Reactive TypeScript Database
It's possible for a document to be submitted in error, in actual good faith. Not to say it was in this case, nor that we don't need more accountability for abuse, but there could be legitimate reason to skip this judgement if it's withdrawn appropriately. Especially when it's done by an organization without this history of abuse.
You'll need an AI list celeb. A list is dead.
Love that they use comments as an example. I miss this with many static blogs. HN comments are great, but I sometimes want to read a discussion between people who've actually read the article.
Claude Opus is working for me. It's not perfect but it definitely handles busy work well enough that it's a net positive. Like I add some new fields to a table and ask it to update all the files that depend on the field and it works after 1 or 2 tries. There is a time saving benefit but there is also an avoiding mental fatigue benefit for busywork.
That sounds like a reasonable budget for 3 years of hardware at a major AI company.
> - Rice's theorem, that it is impossible to determine computational properties of arbitrary programs, will still apply, making static analysis (including antivirus programs, security scans, etc.) heuristic rather than exact.

I think this is misleading. There are many exact static analyses---proof-checking in theorem provers like Coq is an exact static analysis. More generally, type checking can be an exact static analysis that guarantees semantic properties of your programs, like termination.

If you can force your programs to be in a certain form (e.g., statically rejecting type incorrect programs), you can sufficiently restrict the class of programs (Turing machines) that you're considering that you can indeed determine non-trivial computational properties of your programs.
On GigE or even 2.5G it shouldn't slow things down, as "sha1sum" on my 4-year-old CPU can process at ~400 MB/s (~3.2 Gbit/s). But I don't bother to use tee to compute the hash in parallel because after the disk image has been written to the destination machine, I like to re-read from the destination disk to verify the data was written with integrity. So after the copy I will run sha1sum /dev/XXX on the destination machine. And while I wait for this command to complete I might as well run the same command on the source machine, in parallel. Both commands complete in about the same time so you would not be saving wall clock time.

Fun fact: "openssl sha1" on a typical x86-64 machine is actually about twice faster than "sha1sum" because their code is more optimized.

Another reason I don't bother to use tee to compute the hash in parallel is that it writes with a pretty small block size by default (8 kB) so for best performance you don't want to pass /dev/nvme0nX as the argument to tee, instead you would want to use fancy >(...) shell syntax to pass a file descriptor as an argument to tee which is sha1sum's stdin, then pipe the data to dd to give it the opportunity to buffer writes in 1MB block to the nvme disk:

$ nc -l -p 1234 | tee >(sha1sum >s.txt) | dd bs=1M of=/dev/XXX

But rescue disks sometimes have a basic shell that doesn't support fancy >(...) syntax. So in the spirit of keeping things simple I don't use tee.
> This feels oddly written.

Lol. Don't forget the embedded tweet by Kim Dotcom, world renowned military expert...
It depends on a lot of things:

a) Your business model
Is the API your primary source of revenue? Something you'd be willing to lose money on in order to drive revenue somewhere else? You need to think about how it fits into the overall strategy of your business.

b) Your costs
How much will this API cost you to setup, operate, and maintain? You need to think about how much you'll make/lose at different price structures and different volumes.

c) How the customer will use it
Will they be looking to make 1 query a year? A million an hour? Probably somewhere inbetween of course, but that will make a big difference in terms of how to price it.

d) How much value does the customer get
If using this API saves the customer $1 million in costs, you should make sure they are paying you at least $100k. If it saves them $10 in costs, make sure you aren't charging them more than $10. And again, you need to think about how much they are going to pay in total, thinking about how many calls they are making of the course of a day/month/year/etc.

... I'm sure I'm missing some. But the point really is, there is no right answer unless you think carefully about your product, customers, and strategy.
If a company won't update because it really needs to depend on whether one bool compares greater to another then by all means they can stick to using 20 year old version of C++.

Other companies with modern engineering disciplines that don't write hacky code like that can benefit from a sane and sensible compiler instead of being dragged down.
we still don't have agents that can do simple things like: find a funny photo of my dog in my phone and post it as a story on instagram with 100% reliability. I would wait for that to happen first before thinking there can be an autonomous software engineer
In that case, why is the EU forcing Apple to support alternative app stores for watchOS and tvOS, not just iOS and iPadOS? The Apple Watch and Apple TV aren't designed to be general purpose.
I've been using my treadmill desk to walk 2-5 hours a day while studying system design to get into FAANG. It's been nice.
> politics is also a technical challenge

That's a remarkable claim, in view of the fact that political problems don't seem to be diminishing in the face of technical advances over 2,000 years. I don't think I've even heard of a technical formulation of political differences.

Of course, an 'iron fist' is a sort of technical solution to political problems; and the classical model of a ship has a captain who commands total obedience. But even ships with authoritarian captains have suffered mutinies; arguably, an authoritarian captain makes a mutiny more likely.

Are you suggesting that technology can solve political problems by psychological manipulation? If that's the deal, then I'll lead the mutiny.
The Power of Setting Achievable Goals: How Lowering the Bar Leads to Success
You misunderstood. I'm just trying to express the realities of Libertarian leaning politics. In this particular case I don't have a strong opinion and it isn't clear what options would most enhance the liberty of the general public. Uber has made an impact, but so far the business continues to lose vast amounts of money while disrupting similar options. How we might best structure this transportation sector seems to be an open question whether one is trying to optimize for liberty or efficiency or whatever else.
Learning to read radar is phenomenally helpful in determining whether or not it will rain. It's not very difficult either.

A few years ago I was able to stop my friend's outdoor wedding (on the terrace as opposed to the hall, the venue had both ready) from getting rained out by reading the radar and catching a small pocket storm that had formed and coming right towards us. Sure enough it down poured, but everyone was inside for the ceremony. Reading just the weather report, there wasn't even rain forecasted.
How Mandelbrot set images are affected by floating point precision
> I don't know which planet you live on, but that has never been a thing. Your payments aren't all routed through Apple unless you sustain yourself off Genshin Impact draws somehow.

I... never claimed it was? I am talking about my iPhone. That's all... I never even claimed that all software I bought were through iOS.

I buy games through Steam, Xbox and Playstation fairly regularly.

I feel like you are trying to somehow catch me in not understanding what I am saying or something, but bringing up food makes zero sense.

To be clear, I accept what the EU is criticizing. However I will once again ask why the focus is on the developers so much, and not the users. That is my problem here, developers cried and now we got something that users were not asking for.

> Every single defense that does not mention how it directly relates to distributing iOS apps is a strawman that is unrelated to the text and intent of Europe's DMA.

That is not true, because the how something is distributed also includes the rules and restrictions put in place by the place that is doing the distribution.

We have to be able to analyze the repercussions of other stores and not just diminish them to "well it's a different server" as you seem to want to do. When in is far more than that.

The fact remains, you could have gotten an Android phone. If as a user I wanted a more open platform, I could have gone that route. But I didn't. I chose to get an iPhone due to the restrictions put on developers by the App Store.

The vast majority of the complaints are from developers, and I frankly don't see why they are the ones that somehow get to determine that a reason I bought my device is no longer valid. Apple has that privilege because again, I bought my device for that reason.

So yeah, is the status-quo perfect right now? No, never claimed it was. Is it better than developers having all of the power and choice and I have to just follow along with their decisions with the illusion of choice of downloading other stores. 100%
+1 for the titanic analogy. If there ever comes a point that we no longer need to learn to code, I’m taking that as a sign that I’m literally living in a matrix-esque simulation.

The point at which someone like myself is allowed to become aware that a company has developed that level of AI is well beyond the point of no return.
Interactive Chart: How Do Americans Spend Money?
Stumbled on this incredible resource today: tons of interactive data charts to play around with.
What does "quote unquote" mean in this context?
Have I been replaced? AI coming for my job and now my name!
"Share this: Hacker News" Noice
In the request for comments before this was published, there was broad support from wide swaths of industry. Many organizations you've heard of are on board. Or at least, the public position of their companies are, I don't know how well that translates to the rank and file.

I have to write up a post about this...
The CTF applies when not using the App Store, because the equivalent of the CTF is baked into Apple's 30%. People asked for unbundling, and this is what Apple came up with.

Those who are surprised that you have to pay for access to an ABI have obviously never had to pay for their compilers from their software vendors (the price for the HP-UX garbage compiler was eye wateringly high).
Climate change has no impact on weather modeling. The vast majority of weather forecasts derive from physically-based simulations of the atmosphere; the physics of the atmosphere don't suddenly change because the climate is warming. However, we rely equally heavily on statistically post-processing these physically-based simulations to correct systematic biases and better contextualize their outputs. Drift in the distribution of weather conditions - even small - can contaminate some of these types of applications. But not really in a way that you can honestly claim "climate change is making weather forecasts less accurate."

> are there any companies relying on AI to develop a more accurate weather forecasting service?

Sure there are. But AI isn't a silver bullet, and existing weather forecasting technologies are _really freaking good_. For all of the hullabaloo over AI-NWP systems like Google's GraphCast and Huawei's PanguWeather, these state-of-the-art systems are about _on par_ with the best-in-class existing numerical weather models; they offer incremental improvements in tuned forecast accuracy, but these improvements are statistical descriptions of a very, very large number of forecasts - end users really wouldn't see any practical difference in forecast quality if they relied on these forecasts. But to my point above - even AI-NWP outputs would be filtered through statistical post-processing to boost their accuracy/utility.

There are a lot of companies that _claim_ they use AI at different parts of the weather value chain to improve forecasts. A lot of them stretch the truth as to what extent they really use AI or ML. The simple reality is that the weather community has used ML since the 1970's to improve weather forecasts.
It's particularly egregious given AT&T fought an infamously protracted legal battle against the United States Government to try to avoid being forced to be broken up (entirely against their will). They exhausted a lot of money and time trying to avoid the scenario the op is claiming they were trying to intentionally execute.
Guardrail Baselines for Unlearning in LLMs
Gitea is as commercial as sourcehut.

Gitea's CI was marked stable in 1.19 in March 2023.
We were out in the woods with no budget; donated surplus, redneck engineering, and a willingness to learn by burning was what got us through.

zap and hafta go peel a snake out of the bus bars in the battery shed
> You sound like you don't have much programming experience.

Based on aesthetic judgments? That makes so little sense that one can make certain guesses about the motivation for such a comeback—best left unsaid.
Oh, they own npm, I forgot. Just when I thought I'd gotten rid of MSFT.
If it was actually working for anyone, then they would be selling software engineering time at the same but slightly cheaper price as existing software engineering time costs today so they could capture those sweet margins.

This is a company spending investor money selling pickaxe hand grips during a gold rush.

For real evidence, look for companies selling engineering time much greater than the amount of their total engineer count who have good customer retention across projects.
Visualize factory floor component dependencies, and threat model against this in a virtual environment.
Memory is a funny thing - much of what we "remember" is created on the fly, based on aggregates. I also have a clear memory from around this age that is impossible.
Apologize for the confusion! Yes, the company is Agentic Labs (https://www.agenticlabs.com/), and our product is Glide.
I don't see how I implied it.
I think it requires years of proficiency in the field you are asking about in order to get openai to produce meaningful, useful output. I can make use of it, but sometimes it makes me think "how would a newbie even phrase an objection to this misunderstanding or omission?" Currently it seems gpts are pretty much not on par with the needs of non-experts.
Yeah that was my question too. Its one thing to know the most simple fix for a KeyError issue, its another to understand that its the result of not assigning the proper key in some other part of the code, or like you said, maybe it called the wrong API endpoint and passing that into the dictionary.

Somewhat related: is anyone else not really impressed by Devin fixing the errors that are very preventable with a stricter language like Rust? The demo shows Devin coding in both Python in Rust, but I consider the latter being way less energy intensive in terms of maintenance. Then again, exhaustive pattern matching and strict typing won't get you lots of VC dollars these days.
...the idea is that at some point it "just re-writes" itself.
So they should be forced to develop the SDK and the dev tools for free and provide that support for free? I mean it would be very nice of them to do so, but legally forcing them to do it? I don't know about that. It is a shortsighted "solution".
>I think Siemens Germany is a nice example of just such a cartel.

No, Siemens is not a criminal organisation running a web of hidden shell companies. Siemens is a conglomerate comprising a large number of subsidiaries and associated companies that they publish right on their website [1].

I have no doubt that large companies use complicated structures in order to exploit loopholes. But there are limits to that, especially as Apple doesn't require a complex lawmaking process in order to change their ToS. They can close a loophole at the stroke of a pen. And they can close developer accounts at will if ToS are violated.

[1] https://assets.new.siemens.com/siemens/assets/api/uuid:830cf...
C and C++ could both easily add this feature:

https://www.digitalmars.com/articles/C-biggest-mistake.html

which is adding slices to the native language. This will eliminate buffer overflow errors (if the user uses that feature). D has had this from the beginning, and while it doesn't cover everything, that feature alone has resulted in an enormous reduction in memory safety errors.

BTW, D also has a prototype ownership/borrowing system.
Lazy vs. 10x AI PM Mentality to Build AI Products
Who are the 10x AI PM out there? Do you know any?
the non-trade-mag version pointing to their actual website: https://news.ycombinator.com/item?id=39678315
But it's still a chaotic system and Lyapunov would claim we're quite vain to even try.
This is covered in the FAQ at the bottom https://bitbop.io/ (Note to developer: every (sub)heading on the page needs to be possible to link to.)

It did accept my RSA key, so I got a bit further than you, but then it failed to match it to the pubkey in my GitHub .keys file.
Apple is going to have a hard explaining if the regulator asks why it costs €0.50 per first annual install when it's free on Android.
(as a native English speaker who has spent some time in India) I have such a hard time thinking of numbers in terms of Lakh and Crore, I find even if I can remember the number of decimal places represented by each one, I almost have to visualize the number and move the commas in my mind to be able to make sense of them.
Malicious compliance attempt number 2 from Apple. This is clearly not complaint with DMA and there's no way that Apple doesn't know that.

The core issue is that Apple doesn't want to give away the absolute god-like control over how apps are distributed on iPhone and they can't be compliant until they let go. I am guessing this is going to get dragged on with 3rd version of Apple policies coming out soon after they get sent back to drawing board by EU.
This is what I use it for too --

Write me the molecular simulation boilerplate because these crappy tools all have their own esoteric DSLs, then I tweak the parameters to my use case, avoiding the busywork -

e.g.
"Write me a simulation for methane burning in air"

Gives me a boilerplate, I modify the initial conditions (concentrations, temperatures, etc) and then deploy. Have the LLM do the busy-work, so I dont have to spend ages reading docs or finding examples just to get started.

Now deploy to a stable environment. Thats what I'm trying to help with by building https://atomictessellator.com
Hello, and thank you for taking the time to look up my office. My office is boutique in size, and I want it to stay this way, as I can show and pay special attention to each of our clients NY divorce residency requirements
It's much more difficult and expensive to get a human encased in a robot to Mars, than to just get the robot there, without the human. The attitude of the human is largely irrelevant (although if you are going to send a human, it seems advisable to not send a suicidal nutter).
Please post it here when you do. I'd love to read it.
Keep in mind, weather forecasting is something that is exceedingly difficult and that concerns just about everyone. That means it is particularly ripe for confirmation bias.

We objectively know that weather forecasts are more accurate than ever. We subjectively know that they are bad/gotten worse, because last Thursday I brought my umbrella to work for nothing.
There is not a limited amount of software engineering that can be done. There's only the amount of software engineering that it is _economical_ to do at any given point. If AI makes software development cheaper and more efficient, people will just use apply it to more use cases. It's never been the case that making programming cheaper has lead to fewer programmers -- quite the opposite.

This change is roughly analogous to the shift from punch cards to compilers. It's just a more "natural language" way to do programming. A lot of the drudgery associated with coding will go away and competent programmers will shift to higher level design work.

Even in a future where AI is better than human software engineers at every single programming task (which I don't believe will be the case any time soon), there is still comparative advantage. AI will not have the _capacity_ to do every single programming task and there's going to still be lots of work for people to do.
What's different about current Twitter/X in that regard? I see reproducibility and other science problems discussed there sometimes.
> Report it to who?

Fincen, obviously.

Their purpose for existing is to be the giant mother-of-all surveillance warehouses. Collect it all.
Me too. It sucks.

At least it's a small team who will probably be shown up by bigger players in the market and go out of business.