skysight-inc/HackerNews huggingface dataset:
They switched from PG to MySQL because they need to update highly concurrent tables, and PG created tons of bloat as a result. MySQL uses locking instead of optimistic concurrency.
To Lenovo, who is very much still in it.
Notable AI Models
Show HN: Deepfind – A Privacy-First AI Search Engine
Caveat empor my dude.
The way they are going they can try 5 different ones that fail until they find one that doesn't.

Contrast that to the Space Shuttle which required a human crew to flight test anything.
> I'm using it but suspect Astro will be the next Hugo in a few years time. It is not overly simple in any way.

If anyone wants simple, I think Eleventy is the way to go.

I've finally been exploring Astro recently, and apart from Astro-specific features like Content Collections, everything else seems fairly stable, or at least unopinionated the way Hugo is (except Hugo changes their opinion far too much).
Pretty impressive so far. How are you paying for the compute on this?
In double breakthrough, mathematician helps solve two long-standing problems
Sloppyjoes always assume the best case for llms and worst case for their counter example of choice.

10 trillion llms, powered by a Dyson sphere, that still output slop is still worse than one unappreciated post doc.
The dependence on huge amounts of synthetic data makes it hard for me to see an application for mathematicians. The theorems being proved here are incredibly boring, more like calculation-heavy homework problems from a professor who is mean to freshmen. (This is not the same thing as what Terence Tao has been looking at, which is more human language -> Lean "translation.") There is a basic problem that new and interesting mathematics does not have the data for ANNs to learn from; this mathematics is very old and there are thousands of examples online. To be extremely pedantic the authors didn't show DeepSeek was good at proofs, but rather at undergraduate competition math problems. I am assuming some of that transfers... but I am a huge critic of LLMs and even so I constantly overestimate them!

However I could see this being useful for verified software development, which usually involves a huge amount of tedious and uninteresting lemmas, and the size of the proofs becomes exhausting. Having an LLM check all 2^8 configurations of something seems worthwhile.
There's NFC, although the Linux stack support for NFC is a little limiting. However the NFC hardware is passed through to the Android container, so if, for example, your bank doesn't demand that you pass SafetyNet, you can pay with the phone. (I have done this)
> Rails, finally some open source! Looks like ~943k lines of code, 143k from Basecamp org. Automattic publishes 6.58M lines of open source code, 6.9x more than you. Yet, we’re “doing open source dirty”?

Wait, did he just use lines of code as a success metric unironically?
Even Wordpress itself is typically treated as if it were a managed solution. Rarely does anyone think to untar Wordpress to a box somewhere. You’re instead going over to Dreamhost, WP Engine, etc.

Automattic lost out to these folks and now instead of looking at their own strategic mistakes wants to punish hosted solutions in their space.

Like many VC backed firms Automattic took waaay too much investment relative to actual ability to generate revenue.
I’m making a free open source library for this, check it at http://github.com/fetchfox/fetchfox

MIT license. It’s just one line of code to get started: ‘fox.run(“get data from example.com”)’
Show HN: Smash ants to protect your donut in my new web game
Protect your donut by smashing ants in my new fast-paced game. It's written entirely in JavaScript without any game engines.
Four Lessons for Raising Resilient Children in the Digital Age
> with the contention between multiple broadcasters for the narrow available bands being the other.

A non-obvious aspect of medium and long wave AM broadcast is depending on weather/atmospheric conditions a signal can propagate much further than its output power would suggest. This means a distant station on the same channel as a near station may end up in contention at certain times of day or random conditions. Solar flare? Suddenly stations a hundred miles away are overpowering local stations or just adding a lot of noise.

Medium and long wave is also susceptible to local EM sources like switching power supplies and electric motors. So you can get the double whammy of local noice and distant stations adding additional interference to local stations.
An actively used written script is not "legacy text". We're not talking about some ancient, dead language, but even if it was that, there's merit in being able to accurately display it digitally just from an academic standpoint of making historical research easier.
Worked as a consultant. Formed a good "big picture" of how things worked, and got to speak with tons of people in various industries.

Do that enough, and you'll end up with a laundry list of "wish we could have this product/feature/etc."

A lot of the "boring" industries are also entrenched in old solutions that move at snail pace.
$500 price point is a lot for an open source enthusiast phone, especially one unknown.

The Pine64 PinePhone is $150-$200, with similar hardware provenance, but various open source projects that might at least give better software longevity and software trustworthiness. https://pine64.com/product-category/pinephone/

An additional consideration: as much as we like and respect our global colleagues, unfortunately I could see both hardware brands getting banned in some locales and by some organizations, like some other telecom brands have been banned. A phone that can't be used as a phone has little value, no matter how open it is.

For somewhat different provenance, the Purism Librem 5 is coming in at $800+, which is too high a high price point for most open source enthusiast contributors. https://shop.puri.sm/shop/librem-5/

And Purism's made-in-USA version, the Liberty Phone, is at $2K+. I guess maybe government or enterprise sales? https://shop.puri.sm/shop/liberty-phone/

I'm thinking that better for the Western open source developers and non-wealthy enthusiasts would be something more palatable to Western governments, and usable as a daily driver, like Librem 5, but priced somewhere in (guessing) $200-$400.
> This is a technique used by probably all modern smartphone cameras to do night photos, as well as a common technique used by astrophotographers...

I think this is a lot simpler because each of your pixels is assumed to have a single, correct DC value. This doesn't hold for a time varying signal like AM/FM.
Back in the late 2000s, a viral blog post (which I can't find now) asserted that Microsoft was irrelevant—that Google, Facebook, Twitter, etc. wiped out MS as a market leader, if not in income, but in reputation.

Look at MS today. Not so irrelevant.

I do think the original post is right, that WordPress is plateauing and they're scrambling to maintain their hold on a zero-sum market. But, if they can figure out a new direction, they're also in a unique position to lead.

Getting there is not going to happen through dot releases and a squeaky new blog template named for the current year. It looks to me like they need some fresh leadership.
It's not a question of impairment, it's a question of whether you come to some determination of whether you are in the control group or not.
PayloadCMS: Open-Source, Fullstack Next.js Framework
That sounds like a cost-plus contract[1], where they pay for allowable expenses plus some amount of profit. It is a common way of structuring government contracts, but it is not the only way.

[1] https://en.wikipedia.org/wiki/Cost-plus_contract
> His credentials as a serious economist expired long ago when he signed up with the leftist team

You might be (unpleasantly) surprised by the emphasis of the current year's nobel economics prize winners on the importance of societal institutions and the need for inclusivity to advance the wealth of nations :-)
Afraid not. These things usually require hardware attestation to ensure you're running the exact software Google wants you to run. Now, if someone figured out a way to bypass it, that would probably work for a bit. But it's a cat and mouse game.
It looks gorgeous, especially the hardware. I think the typeface on the hardware and the retro busy text could be further refined, but it is very very cool overall.
Is there prior art that includes a removable battery, headphone jack and IP68 at those "reasonable" bounds? I wonder how large the battery could be in that case.
I write most of my stuff in a combination of Python, JS/TS and Rust these days with some form of Interop between them. I.e. mostly Python Marimo notebook with JS visualisations, and PyO3 Rust bindings.

Tbh I don't find myself to be "slow" in rust. Sure for quick exploratory stuff the notebook-environment and introspection capabilities of a dynamic language are definitely nice (e.g. when taking apart some unknown JSON data format), but especially when it comes to complex logic and refactorings Rusts type system is really making a big positive impact on productivity.

Sure TypeScripts type system is also powerful, but Rust is consistently better at infering types from closures and function calls, and the existing types and tooling story is miles ahead of TS. (and I've never encountered an easier to setup/use model checking language integration than Kani)

For one-offs where correctness doesn't matter, sure throw $SCRIPTING_LANG at it. But once you want correct software, I'd still choose Rust in a heartbeat.
It's not even a non-original Nobel. It's simply "Not a Nobel Prize".

The headline should read "Daron Acemoglu, Simon Johnson, and James A. Robinson won Not a Nobel Prize in Economics."

We shouldn't validate the idea that one can earn a Nobel in economics. It's simply not possible because such a prize does not exist. Shame on economists for attempting to legitimize economics using the memory of Alfred Nobel. It is low, even for them.
Like all proper Uncle Bob Clean Code SOLID OOP React best practices 2024 websites, Webflow's website scrolls so badly on my developer workstation that it's hard to see what's going on with their animated parallax bullshit.

Just start banging out some HTML and check it into version control for a simple website. Add styling as needed. Optionally set up website deployment to happen on commit to `main`. Iterate from there. If you're going to have a lot of content for sure, use a static site generator. Solving problems you don't have creates ones you definitely do have.
I see this got downvoted. Maybe a citation would have helped.
https://www.space.com/sunshade-earth-orbit-climate-change
I want to get one of these to play around with soon:
https://wiki.postmarketos.org/wiki/OnePlus_6T_(oneplus-fajit...
Zero height conjecture paper: https://projecteuclid.org/journals/annals-of-mathematics/vol...

The other paper is at https://link.springer.com/article/10.1007/s00222-023-01221-5 and https://annals.math.princeton.edu/2024/200-1/p01
It says "F-Droid, Aurora Store, and other sources'" so I'm guessing there's no Play store and probably no GMS and other increasingly mandatory proprietary dependencies. Open source Android is in rough shape as a result of Google's tightening the ratchet.

Edit: In a different comment one of the devs clarified that it does have microG, so quite a few apps will actually work.[1]

[1]: https://news.ycombinator.com/item?id=41840021
... doesn't the app set an encryption key after they pair?

The most similar device I've worked on is the various Oculus devices. Which will also accept bluetooth connections from absolutely everyone, but the first time you connect you store an encryption key that is used to secure all subsequent comms.
> But then WordPress wasn’t replaced by an improved WordPress. Instead, fully managed proprietary solutions took over. You want to sell things online? Shopify. You need a landing page? Webflow or Squarespace. You want a blog? Substack or Beehiiv.

Unknowingly(I asssume) the author makes the best argument why Wordpress matter for the Web. None of those tools are free and open source.
I want to like it... But, I've been bitten too many times by expensive Linux phones (Oh Nokia N900, how I wanted to love you. but you couldn't even make phone calls without threatening to crash).

It's a little weird that there are very few details on this thing. Notably, one of my #1 concerns when looking for a new phone today is a good camera. And all I can find on the camera is "it's 50MP!!! " But how do actual, non-photoshopped pictures look? Does it do okay in low-light? Does it support any sort of optical zoom?

Their website is currently as slow as a frozen snail (which, if they can't run a basic web server, leads to a lot of doubt they can maintain a long-term Linux distro). So I couldn't click around much, but I didn't find anything really informative.

I tried looking at YouTube videos and only found some weird official videos of a person's hand putting the phone in a sink. Like... Yes, it has been expected for the last 8ish years that my phone will be waterproof, that's not an amazing achievement.

It also seems to be "weird" Linux, like Maemo was for the N900. I don't want weird, custom-built stuff that will be forgotten about in 12 months. Just give me a standard Debain/Fedora/Whatever and an unlocked bootloader to reinstall with what I want.

IMHO they should really look at what Valve did with the steamdeck and SteamOS, It's a custom Linux that works well, but, it's also standard hardware with an open bootloader. There are dozens of SteamOS alternatives.
They have been trying to make a more easily managed solution since forever. All of the work they sponsor on Gutenberg and full site editing in WP has made complete GUI editing of your site completely possible using a portable data format. That wasn’t possible 5 years ago.

Problem is, the market for people who want an easy website doesn’t have a lot of money! Not everyone needs a site these days, and many just stick with a single page “link in bio” type thing. So the money is in businesses who need something more… which is by definition more complex. So Automattic has some massive, massive enterprise clients (including government agencies), but there are other more powerful enterprise tools too. Plus, at that point you’re selling a hosting platform and cloud resources, not managed WP.

Automattic has even tried to make a newsletter subscription like Substack and it didn’t really catch on (https://wordpress.com/support/paid-newsletters/)
The point is that if you're well informed developer building something new, you're not going to use WordPress.

Yes, there are people who are stuck on the CMS, and people will get roped into building WP sites due to the sheer momentum. It will be around for a long time. But it's not the future.
Because it's cheaper. You can adjust your dose to the potency to get whatever high you want.
The language features, designed for full stack systems programming, IDE tooling, the frameworks bundled with the compiler, first class support for binary libraries ecosystem, no culture against modern times...
The American economy has left other rich countries in the dust
archive/paywall: https://archive.is/RK7uV
I believe we are talking past each other.

> So a three-pack-a-day smoker cannot quit? A lifetime racist cannot jettison those beliefs and choose to understand the truth that we are all just human beings? A believer in selfless love cannot become a child molester or otherwise oppress others?

I did not say a single one of those things, what I am saying is that each of those things happening were not done as a result of free will, they were the result of the sum of the things that preceded them. The smoker being fed up with family encouraging them to quit, the decades of anti smoking messaging finally pushing them over the edge, and the day they couldn't walk up the hill without taking a rest to breathe all resulted in them quitting. I believe replaying the universe from the big bang to that moment would result in the same thing, each time.

> But you must still choose to do such loving service, at the time the opportunity presents itself. In those moments, once your mind presents you with the possibility to manifest generosity, you must engage your free will, reach into your pocket/wallet, and give the money.

This is where we fundamentally, irreconcilably disagree. The decision to do so is not free, much like your favorite philosophers, it came forth when you "sent the inquiry into the universe." The meta "decision" to move from thought to action came about the same way. To be honest, I'm not sure what the rest of what you wrote has to do with what I said - I don't find belief in, or even a desire for, free will to exist to be a prerequisite for generosity, kindness, or happiness.

While I have considered this for quite some time, I found this discussion to be the one that "pushed me over the edge," since it helped to reconcile what I observed within with the way things work I understand them (philosophically at least) : https://www.youtube.com/watch?v=u45SP7Xv_oU
We do however ship with microG. I have heard of people using Uber, Spotify, Lyft, Signal, etc. So Android app support isn't that bad despite no GMS.
Hah. Only if you're enthralled by what passes for reality in the Bay area. Outside that particular gravity well the rest of the world seems to be getting along just fine with pursuits rooted in providing actual value.
Commonly used arm positions can overestimate blood pressure readings: study
The ability to use automatic verification + synthetic data is basically common knowledge among practitioners. But all these organizations have also explored endlessly the different ways to overfit on such data and the conclusion is the same -- the current model architecture seems to plateau when it comes to multi-step logical reasoning. You either drift from your common knowledge pre-training too far or you never come up with the right steps in instances where there's a vast design space.

Think -- why has nobody been able to make an LLM play Go better than AlphaZero while still retaining language capabilities? It certainly would have orders of magnitude more parameters.
We already have the Turing Award, and a prize sponsored by Google.
> https://github.com/FuriLabs/issue-tracker/issues/78

If SMS doesn't work, I have serious concerns about everything else...
Eh… they’re just a consulting firm. Nobody does really care about them from the perspective of advancing the science. Does anyone bother what IBM or CapGemini or Accenture or Deloitte or whatever think?
What I want is quality to the level of flagship android phones or the iphone with the ability to plug it in to a keyboard, mouse and screen and have it function as my laptop as well.

One single integrated experience. I think everyone wants this. We have the technology we have the demand, it's just companies who make the high quality phones want to completely lock down the market.

You would think the free market would produce a company that would tackle this issue but barrier to entry is waay to high so essentially we have small companies trying to get into this space but they are only creating sub-par products because they can't make something as good as an iphone.

It's basically a legal monopoly. Companies can't get into it because the technology and capital required are way to high and only super mega corps like samsung and apple can pull it off...

Closest thing I've seen to this product I'm looking for is the steam deck. I would buy a steam deck phone if it had the quality of a pixel/iphone device.
My now late-teens had complete access back when TikTok was called musical.ly. The youngest was 12 when we handed them iPhones. All we ever enforced with them was strict Screen Time lock at 9pm, and then a couple years ago we turned that off because they were already more conscientious than their mother and I are now. We still need to approve any app they install, but all the most Evil Mind Destroying Apps are on their phones, TikTok, Snapchat, IG, etc.

They are fine, do well in school, and are about to be venturing out of our house with much optimism.

I understand every child is unique. But you should understand your children's weaknesses and strengths, and build restrictions around that.
Hopefully something not written in PHP will replace it.
I imagine there is a growing group of tech-oriented folks who just render a bunch of markdown files in a folder into a blog using their static generator of choice.

If Wordpress can't be easier than a static site generator then they are too complicated for their target market which is less technical people than the crowd who renders their blogs out of markdown files.
Hanging sounds like a bit much, actually a lot much.

I would however love it if we devised a way to identify sources of disinformation and do the modern equivalent of tar and feathering, then banishment.

If civilization is to function, there has to be at least some level of base facts that we can all agree on without crying "it's political!"
Hi, thanks for answering questions here. How do you handle device encryption?
Are all of your patches open source? Given enough time, could a user build a "factory image" of FuriOS from source?
The Linux phones all fail anyway so if you don't have the volume just don't bother.
I can imagine this working best if the objective finding/classification is on the ground and pathfinding and maintaining the target would be on board.
BRS still pays at least 40% of base, plus potentially more via TSP assuming people are moving out of the G fund.
> they are also dramatically easier to launch and operate

Umm, profound insight.

Here is a secret: its even easier to have a social media page and vast numbers of digitally dispossessed have no other option.

What matters for the future of the Web is foremost the degree to which small entities will have any agency.

There is no doubt that Wordpress stagnated, but its conceivable that the future of the Web will be propelled in a positive direction by a visionary project that aims to be equally impactful and empowering.
I wish the title was true.

I was at WordCamp 2014 or 2015 where Matt was asked about improving security in WordPress and he literally laughed at the question. So, yeah...
Heart failure, AFIB and coronary heart disease –> cognitive impairment
You can control when a capacitor will blow, by placing it at a certain distance to a heat source. They do not like heat and you can thus determine the lifetime of a device on a bell curve around time * times constant average use. Nasty but legal.
> Is there any reason Jeff Bezos, Bill Gates, Mark Zuckerberg, and Elon Musk can't endow a Prize in Computer Science?

Even without searching, I'm sure they back a number of organizations that do endow various awards, scholarships, and so on. I doubt they could come up with a "flagship" one that would be as prestigious as the Nobel Prize, though. Our attitudes toward modern-day "industrialists" and their pet projects are quite different today. Whatever controversies surround the Nobel Prize, they would be many times worse for the Bezos-Gates-Zuck-Musk Medal of Merit.
I'm mostly imagining what music would sound like via NBFM on a VHF amateur or public-safety radio channel. It's not an appealing thought... the words "toll quality" come to mind.

But hey, no static at all... https://www.youtube.com/watch?v=HV3zWSawJiw
The mode where it sits on a monitor and displays a status ("on call") is very interesting. I think that could be simplified into a product unto itself -- but it would need to priced at "office toy" level -- so around $20-$40 USD.
The adversarial child would be playing recordings into the timer within minutes no?
Amazing, thank you! You just sold a phone :-)