skysight-inc/HackerNews huggingface dataset:
I personally don't find this line of rhetoric useful or relevant. Let's agree to disagree.
Great writeup, and I love that the authors looked at a lot of other languages. The solution section on how to prevent races is a bit light still - I‘m curious how they will solve this.

I think there will need to be exceptions to a strict race-free model eto not take away from dart‘s current capabilities, and without forcing people into something like a borrow checker. Swift has `@unchecked Sendable` which lets you tell the compiler "I promise I'll take care myself to keep everything in there race-free".

What I‘ve been missing in Swift are tools that let me add safety _within_ such @unchecked Sendables. There's the Swift Atomics lib: https://www.swift.org/blog/swift-atomics/, but its quite limited in its capabilities. So for now, I find myself reaching for tools provided by the community, like pointfree's LockIsolated: https://github.com/pointfreeco/swift-concurrency-extras/blob....
Interesting perspective.

As far as I can tell, American Internet mostly wants you to think that their own culture war is important and relevant universally, including for you. And that their own particular division of issues between their political poles is also somehow universal and important; and that you should get riled up about it.
If you can identify a solution to the “I had cancer and lost all of my savings” problem (they do exist!), I’m on board. In the meantime, I don’t care if some lenders are prevented from denying car loans to people with insurmountable medical debt.
I agree to the article, but the discussion is nearly two decades old already and more or less the same since I started in classic BI in the early 2000s.

I also strongly believe in SQL to be the "glue", or the least common denominator for accessing data, that's why I built https://sql-workbench.com which is a free SQL environment in your browser for querying and visualizing local and remote Parquet, CSV, JSON and other data via DuckDB WASM.

It also supports bringing your local LLM for Text-to-SQL generation via Ollama...
Modern AAA games are meant to be disposable, with a killswitch for when the next consumable is released. This isn't possible with community servers. They don't want longevity. Cheating is an entirely self-inflicted problem caused by this. Self-policing communities with moderation tools are far more effective.

These companies are so greed driven, that they lobby to make cheating a federal offence and for private police raids and private house searches, instead of making a healthy community based on previous experience. As has, disturbingly, already happened in Australia (https://torrentfreak.com/images/gtaorders-1.pdf)
Even better--offer "free" public college
The major fallacy in low/no code and proposing LLMs as programming tools is thinking that you can automate away complexity.

Any automation will introduce complexity. There's no free simplicity lying around. We all need to take low entropy energy sources and dissipate it to get work done. If you don't want to reap barley by hand, you need an entire supply chain for machinery. The complexity can be hidden, you can pay people off to deal with it. But someone will have to manage it.

People wanna buy machinery and have technical support. They don't want to build machinery and maintain it. People want working software, they don't want to design, build and maintain it. That complexity never goes away.
Looks like bongard problems for the referenced problem solving tasks
https://en.wikipedia.org/wiki/Bongard_problem
There is already an equilibrium of developers coming up with great ideas, make sales, and then the OS integrates it directly.

Just because a 3rd party developer came up with a password manager first, doesn't mean that Apple/Microsoft/Google can't make one themselves and give it to everyone for free.
> Binding the LLM to a formal logic and proof engine is one way to stop them hallucinating and make them useful for the real world.

Checking the output does not mean the model does not hallucinate and thus does not help for all other cases in which there is no "formal logic and proof engine".
I remember watching those little droplets form and bonce arond on the old solid stove tops we had when I was a kid, I loved it!
Ah I see, you are using the LWW (last write wins) strategy. That's useful for some scenarios although not all. How did you implement that portion as well?
Maybe it's just me, but I'm ok with creditors making less profit.
Aviation Radiation GPT helps monitor cosmic radiation exposure during air travel
Because people who are dying are in no position to shop around.
Dwarkesh*
I don’t get it.
Qualcomm has an architecture license.
Nuvia had an architecture license and developed the new Oryon CPU core with it.

Now Qualcomm bought Nuvia, but ARM says it can’t use Nuvia's core with its own arch license - it must pay a second time.
If I recall correctly, there was a version of MPI, or something similar, that could be used.
Eh, your argument could also be used against compilers. Or against language features like strong typing in something like Rust, instead of avoiding our bugs through very careful analysis when writing C code like God intended.

Using an LLM _is_ a skill, too.
> you will inevitably be forced to smile at and rub elbows with the same men you critique as war-criminals

I'm autistic, so I would smile and tell them exactly what I think of them. but fortunately I don't get invited to parties.
Those articles pop up every now and then, and it usually turns out to be the cargo trunk of the Dragon spacecraft, which gets jettisoned before the craft performs its reentry maneuver. The trunk comes down usually a few months later. It survives reentry due to its low density carbon construction.

Starlink satellites, of which there are thousands in orbit, are designed to burn up on reentry.
US postpaid service for a single line is $65+.
> I'm 100% convinced that all telecoms are bastards.

The one I use literally just increases how much data is included with my plan, rather than increasing the price. I quite like it. (I don't think it's available outside of austria though)

https://www.hot.at/
How to untangle phone numbers
> It boggles my mind that people pay for 1password.

I’ve payed for 1Password for 4 years and am a happy customer. But I would also be willing to try KeepassXC if it really offers feature parity.

These are some features important to me, are they supported by KeePassXC?

- Easy password sharing with my wife. We have separate private vaults and a shared vault, and moving a passwords between these vaults is seamless.

- Sync has been seamless for years. I don’t have to worry about e.g. iCloud corrupting my password database and having to restore from off-site backups.

- Integration with many platforms. Currently, that means autofilling/autosaving/generating passwords in common browsers, on MacOS, and on iOS.

- Generating and filling TOTP tokens (no need for Google Authenticator or similar apps).

- Storing and syncing SSH certificates, including acting as an SSH agent (so I have to scan my fingerprint to allow a new SSH authentication).

- Storing non-password items in the encrypted store, e.g. pictures of passports.

- TouchID or FaceID for quick unlocking with everyday use.
do you know what the mechanism that would do that? I see a lot of these claims in economics/finance, but I don't see a lot of explanation of the why.
A London Hospital Is Asking Its Own Workers for Blood After Hack
It’s not necessarily a red flag. Sometimes the founder/CEO is technical and decides to solo it with hired engineers until not having a real CTO is a flight risk, or until they’re too busy to be contributing code anymore, or both.
The unlimited data but limited tethering is one of the more scummy moves by telecoms IMO.
Did you read the article? It seems like ARM is against Qualcomm using a custom ARM core developed by Nuvia for licensing reasons.

Clearly the "off the shelf" processor designs ARM is producing aren't getting anywhere near the performance that Apple is getting from their own designs. Qualcomm are trying to compete by using the Nuvia design, and ARM aren't happy.

I have to wonder what value ARM are actually adding here. They want more money (doesn't everyone), but if they're unable to actually design performant processors then all they're really licensing is the instruction set. How long until the manufacturers realise that they can switch to RiscV and not pay ARM anything?
I think it is difficult to pinpoint the turning point, but I would say it was the launch of the 3dfx Voodoo in late 1996, and the release of GLQuake the following year. Up until that point you could argue that consoles were more powerful or adequate for gaming, but after that point there was no discussion.
I watched a great video essay about this.
Bots to create fake articles, bots to defect fake articles, bots to use common word salad to evade detection, bots detecting the word salad, bots to make comments on articles, bots to upvote those comments, bots to aggregate these articles and generate articles out of the comments, bots to rip off and change a bit of the wording of an article so they could repost the article, bots creating ads to be seen by other bots, bots to register clicks from other bots, bots creating ads solely to game clicks from other bots...

when I think about "the dead internet theory", this is what I imagine. all of this happening over top of our heads as we chat on a forum, out of the way.

the essay mentioned a comic series called BLAME, in which machines programmed to build cities, buildings, infrastructure, got derailed after humanity perished, endlessly creating walkways and stairs and buildings to nowhere, for nobody, forever unempeded, as they were programmed. Much of it makes no sense, like the Winchester House's stairs into solid wall etc, but it doesn't matter because it's all just being done according to their railroaded programming.

wasn't like 70% of the activity on Twitter during the last superbowl all just bot-related traffic?
> You're limited by the willingness of your developer ecosystem to develop different versions of the same third-party software for all your different OSes. Nobody wants a device with no third-party app support.

If Apple made an iPad Ultra with Linux terminal/framebuffer long-running background VMs, alongside interactive iPadOS apps, it would sell like hotcakes.

We'll have to wait for Nuvia devices to show the benefits of this use case, before Apple claims credit for a new iPad Pro customer segment.
Shouldn't Microsoft be somewhere between Google and Apple ?
After all, they do rely on you buying their software in a way Google does not.
Excellent article was a very insightful read.
ARM helped Nuvia develop a core for servers where ARM wanted more marketshare. Qualcomm buys Nuvia and decides to put the Nuvia core in laptops and phones first.

Now of course, ARM is not happy about that. They spent resources to help Nuvia develop the core for servers. Now Qualcomm is using the Nuvia core to compete with stock ARM Cortex designs in phones, laptops, and servers.

ARM makes money from ISA and stock-ARM core licensing. They make way more money if you use their stock cores than if you only use their ISA. Oryon would only be using the ISA. Apple SoCs also use only the ISA.

Not only does ARM lose money from Qualcomm switching from Cortex cores to Oryon cores, they now have a legitimate competitor for Cortex SoCs other than Apple.

Qualcomm was also the the strongest lobbyist against the Nvidia/ARM deal. They don't want the competition from stock ARM cores backed by Nvidia. They don't want to compete with a combined Nvidia+ARM. They just want to compete with stock ARM cores with their Nuvia cores.

Other ARM vendors like Mediatek, Samsung have no ability to create better cores than Nuvia's cores. They can only rely on stock ARM core designs. Therefore, Qualcomm's Nuvia-derived cores should always be the high end* while other ARM vendors can only fight in the mid-range, which have much lower margins. Had Nvidia acquired ARM, Qualcomm would have been competing against ARM + Nvidia IP + Nvidia money.

I actually bought some Qualcomm stocks because I saw how Qualcomm outmaneuvered ARM.

*Assuming that stock ARM cores won't surpass Qualcomm's Nuvia-derived cores
Have you looked into the Fairphone? https://shop.fairphone.com/fairphone-5
What are the best communities/groups/events/podcasts for startup founders?
ARM Torpedoes sounds like a good complement to Windows for Submarines
I’m not sure what other credentials an American journalist would have. Freedom of the press means everyone can be a journalist.
https://forum.agoraroad.com/index.php?threads/dead-internet-...
That warms my heart. Thank you.

The short story. I needed something that could render thumbnails of tasks, so I could visual debug what was going on in my solver. However I have never gotten around to make the visual inspection tool. After having the thumbnail renderer, mid january 2024, then it eventually turned into what it is now.
Google does for paying customers. Google Cloud and Workspace (or whatever their "cloud office suite" is branded now) both have deprecation windows for launched features/products.
Okay, that's fair. But to be clear - this is a theorem of probability theory, not rhetoric.
Enormously powerful but also.. enormously confusing and slow to render on a tablet. I think it should all be there but perhaps less could be shown at first? Great to scroll around in but.. laggy
Oil demand set to peak by 2029, major supply glut looms, IEA says
I guess it could be described as an exploit of it
C++ standard library hardening in Xcode 16
Love the idea, as I find never enough time to sit down and read but could listen to it while running or commuting. However, I'm hesitant to hand over my OpenAI API key to a website that's not under my control. No idea though how the trust problem can be solved.
Looks like the article was reprinted from Harper’s, which is an American magazine.
You definitely can, there are many ways to do so. Obsidian projects are basically just markdown files, so any file sync works.

Wrote a post of different ways you can sync a Obsidian vault/project: https://bryanhogan.com/blog/how-to-sync-obsidian
Yeah but smaller startups might be more open to non-US applicants, FAANG and other more established companies don't seem to be interested in hiring abroad.

That's what makes the early startup scene the only thing available for some.
Is this "nobody much cares" or "licencing disputes are why we cannot have nice things"
yeah, typical for this platform.
> they were easily the best possible outcome and hindsight shows they were great policy

No, just because those are around does not mean there wasn’t a better alternative in bankruptcy. Bankruptcy does not mean the individual company stops making cars, let alone the entire industry collapsing. That’s pure FUD to justify the govt preventing a moribund industry from being purged of legacy companies coasting on their brand.
My guess is that, when Nuvia was bought off by Qualcomm, the license from ARM was no longer valid, since Nuvia ceased to exist, or rather, the license is non-transferable.
Yeah this is the thing that confuses me about this, it's priced the same as some mid-range smartphones. It seems like you're paying a significant premium to have the control over which apps you can use strictly enforced. If that's the only way you can do it and people are willing to pay, then I guess fair enough?
> For years, ARM wanted to get its CPU instruction set into notebooks and desktop PCs. Now, for the first time, there is a realistic opportunity and ARM is torpedoing it to get a bigger slice of the pie.

What’s with the heavy handed pro-Qualcomm/anti-ARM bias in this news piece?

My interpretation is obvious breach of contract by Qualcomm. Seems very cut and dry from the facts laid out in this very same article.

I have no skin in this race, just thought it was odd.
In "The Kid Stays In The Picture" (autobiography of Robert Evans, who helped produce The Godfather) he says that Coppola did not initially want to make the film and had to be convinced. He also forced Coppola to make The Godfather longer and pushed back release to do so, in order to tell the fuller story of the family.

I watched the documentary adaptation of his book and it is quite interesting, Paramount helped to pioneer the practice of helping to foster good books for film adaptation - The Godfather being the most notable example.
As someone just getting into gleam, and without much functional programming experience, this article really clearly explained something that I hadn't really considered the significance of. Makes me appreciate the pipe syntax all the more now!
Q&A with Cohere CEO Aidan Gomez
This looks very cool! I have built a project using remotion to bake in subtitles with some effects to a video from a .srt file, but this approach looks nicer and FOSS is amazing so I'll have a go at porting it. Thanks!
I don't think RISC-V is mature enough to warrant manufacturers moving to this ISA. If this was the case, we'd already have powerful RISC-V portable computers.
Partition Structure (1968)
Meta internally has a mix of both where tables, charts, and such can be created by querying almost any datasource. While it has UI-driven query builders, SQL queries can be used instead.
I wonder if LLMs is the new low-code.

A promise that is never going to work.
This is the kind of affirmative action I can fall behind.
The conflict is over whether the license is transferable. Arm never would have sold that license to Qualcomm, especially with those terms, especially for that purpose.

Qualcomm bought a company because they had a license arm wouldn’t sell them. It comes down to subtleties in the contracts.
Nope! Although the availability of funding obviously plays a role so the wider investment environment affects it.
Show HN: Akari, a fun little grid logic puzzle with daily challenges
Akari is a little puzzle app I created in my spare time. The underlying game principle is called "Light Up" and was created by the Japanese puzzle publisher Nikoli.

The rules are pretty straightforward: You have to fill a grid with bulbs. Each bulb brightens its row and column until obstructed by a black cell or the grid's edge. The black cells may have numbers indicating how many bulbs must surround them, adding to the strategic depth.

As you will quickly notice, the placement of the bulbs becomes quite tricky and you have to use logical exclusion methods to get your grid filled.
It’s a city
Balearic sea is spelled as Baelish sea. (B2)
Chomsky regularly and rigorously defends genocidal regimes. Look up "Cambodian genocide denial" on wikipedia and you'll find an entire section devoted to Chomsky. This isn't anything new, and I'm surprised how much sympathetic support he's getting in this thread.
Exactly. Because I'm sure that the minute some program aces the ARC test, we'll all say, ahhh, but that, that wasn't real intelligence. And they would be right, if you solve the ARC test, you can do ARC like puzzles. Say something about your reasoning abilities I guess, but it surely does not say you have super human intelligence.
The bottleneck for charging hasn't been the battery for a while, because we're already at the point where we could hook up multiple chargers for better performance. The bottleneck is in electricity as an energy vector, because someone either needs to start generating several MW per car, which is expensive, or be curtailing the same amount, which is wasteful.
You also need an inverter, a high-quality 8-10 kW unit could approach a thousand euros easily.
The salaries in the city table seem like a fantasy to me, with $180k at the low end of the scale.

Albeit I'm a western expat in a supposedly impoverished developing nation (no shortage of very expensive cars here though!); local salaries for senior devs top out at 24k/pa, juniors as low as $5k/pa, and if I look on the freelancer sites, there are many job 'offers' as low as $5-10/hour; I don't think I've seen any ruby/rails type roles above about $50/hr recently, and any near that level get 10s or even 100s of applicants.

But if those big US salaries are being eaten by rent, there's the real problem.

I'd happily take one of those 200k+ roles, remote, for half the price.
> Would an intelligent but blind human be able to solve these problems?

Blind people can have spatial reasoning just fine. Visual =/= spatial [0]. Now, one would have to adapt the colour-based tasks to something that would be more meaningful for a blind person, I guess.

[0] https://hal.science/hal-03373840/document
It’s also possible to build a perfectly performant closed loop controller with micropython on an STM32
> Yes, that's why everyone is writing Lisp, and not C++ or Java or Rust or JS.

> Oh wait, wrong reality.

You are a bit too cynical. The tools (compilers and interpreters and linters etc) that people are actually using have gotten a lot better. Both by moving to better languages, like more Rust and less C; or TypeScript instead of Javascript. But also from compilers for existing languages getting better, see especially the arms race between C compilers kicked off by Clang throwing down the gauntlet in front of GCC. They both got a lot better in the process.

(Common) Lisp was a good language for its time. But I wouldn't hold it up as a pinnacle of language evolution. (I like Lisps, and especially Racket. And I've programmed about half of my career in Haskell and OCaml. So you can rest assured about my obscure and elitist language cred. I even did a year of Erlang professionally.)

---

Btw, just to be clear: I actually agree with most of what you are writing! LLMs are already great for some tasks, and are still rapidly getting better.

You are also right that despite better languages being available, there are many reasons why people still have to use eg C++ here or there, and some people are even stuck on ancient versions of or compilers for C++, with even worse error messages. LLMs can help.
Sure, that's a risk.

But I bet those scenarios you've posited apply equally to the devices with your passkeys on em, right? I'm confident enough that between the one on my keyring in my pocket and the one in my lockbox at home, if I've somehow lost access to _both_ of those I've got more problems in my life than my gmail/github/whatever logins.

And the recovery process and gaming thereof questions apply equally to the passkey protected accounts as well, no?
Adobe to update vague AI terms after users threaten to cancel subscriptions
... and this kind of nonsense is why x86 is alive, well, and likely to dominate the desktop space for decades.

Intel and AMD managed to sort out that bullshit decades ago, Intel even copied AMD's x64 extensions as Itanium fell flat.

It's not like ARM has something competitive with Intel in performance on their own - everyone but Apple and Annapurna/Amazon uses stock cores and they frankly suck. And instead of entering negotiations to copy from what either Apple or Amazon did with ARM to bring the entire ecosystem forward, they attempt to shoot Qualcomm. (The fact that Qualcomm itself sucks as a company makes all of that even more absurd)
Claims of isomorphisms are really strong claims to not be backed up with some kind of evidence.
What's your take about the recent WWDC 2024?
systemd v256
Yeah, that's cheating :)
I don't have a lot of experience with Rust, but that sounds about right.