skysight-inc/HackerNews huggingface dataset:
Isn't "plasticity is not necessary for intelligence" just defining intelligence downwards? It seems like you want to restrict "intelligence" to static knowledge and (apparent) short-term cleverness, but being able to make long-term observation and judgements about a changing world is a necessary component of intelligence in vertebrates. Why exclude that from consideration?

More specifically: it is highly implausible that an AI system could learn to improve itself beyond human capability if it does not have long-term plasticity: how would it be able to reflect upon and extend its discoveries if it's not able to learn new things during its operation?
> Where x86 processors run into real battery life trouble is that modern Windows and Linux are really bad about keeping power draw low when the laptop lid is closed.

That power draw has nothing to do with the CPUs power efficiency, though: Laptop lid closed usually means S3, though, and the CPU is completely unpowered in that state. (CPU registers are saved to RAM.)

The biggest power draw in S3 is the RAM itself, which has to be continuously refreshed to not lose its data, but that can be avoided by doing suspend-to-disk instead.

Modern systems usually do some hybrid between the two, e.g. suspend to both RAM and disk, and power off the RAM after a few hours (or at a given battery level) to meet a compromise between resume speed and battery life.
It seems unlikely that airlines are going to lead the way here, just due to economics I think it's going to be the bizjet market leading the way(1).

So the obvious choice for domestic flights would be Russia: rich oligarchs, huge country, loose enforcement of laws. Unfortunately for the world that is impossible for the foreseeable future.

The next best target is going to be transpac- IFF they can get sufficient range. So wealthy businessmen who have to do a lot of travel between Asia and North America is a reasonable market, so long as they can do supersonic the entire way. If you have to stop and refuel I suspect that the numbers don't work so well. If they can only do a translant without refueling the market is going to be people who want the prestige of having the coolest toys, and Boom is stuck trying to compete with Gulfstream G650 on prestige.

1: R.E.G. Davies explained it best, the problem with commercial supersonic is that the earth is rotating. For commercial airlines, the killer app for selling "expensive but gets you there faster" flights is the ability to get someone to a meeting the same day versus having to travel the day before. If you can save an executive a day that is hugely valuable and worth the company paying a premium for. If you can't, paying extra for a faster flight just isn't worth that much.

As a thought experiment, let's say that everything else is exactly the same, but at the end of the runway a Star Trek transporter beams the plane directly to the runway at the destination. So the executive wakes up in NYC at 5:30AM, is out of the house by 6AM, takes an hour to get to the airport, that's 7AM. It's an international flight so they need to go through extra checks, it's 8AM when their flight leaves for Paris. It is beamed directly to CDG, thanks to time zones it's now 2PM. Then it takes another hour to get through passport control etc. and it's 3PM, and another hour for ground travel in Paris and even without the flight taking any time at all it's already 4PM after waking up at 5:30AM. That's tough to make meetings work. (Obviously the return trip can achieve this meeting on day 1 effect, but a commercial airline you can only charge good prices for on half of its legs is going to be tricky to earn its money back.)
Maybe I'll write that guide, and then (fingers crossed) people will find it via search engines (before all search engines become just an LLM frontend).
I'm not a physics or math whiz but isn't the relationship more of a virtuous cycle?

I think I read that the 20th century was a revolution because of the marriage between physics and math. Quarternions are key to relativity. Discrete math is littered all over quantum mechanics and the Standard Model. Like U(1) describes electromagnetism, SU(2) describes the weak force and SU(3) describes the strong nuclear force. In particular the mass of the 3 bosons that mediate the weak force is what led directly to the Higgs mechanism being theorized (and ultimately shown experimentally).

One of the great advances of the 20th century was that we (provably) found every finite group. And those groups keep showing up in physics.

The article mentions how string theory has led to new mathematics. This is really interesting. I'm skeptical of string theory just because there's no experimental evidence for "compact dimensions". It seems like a fudge. But interestingly there have been useful results in both physics and maths based on if string theory was correct.
agree. i don't recall MS saying that it could be uninstalled, only that it could be disabled.
That much difference in boot time with no other changes would suggest to me something (or multiple somethings) calling out in a way blocked by SELinux, and timing out rather than failing quickly. You might want to check that you don't have any undesirable calling home going on from some of your containers.
Show HN: Simple Screenshot – simplest screenshot tool in the browser
Hey HN!

I built this ultra minimal screenshot tool today, simply click-drag-release to take a screenshot of any portion of a webpage with instant download and copy to clipboard

The simplest one-click screenshot tool for Chrome. Minimal permissions required!

Features:

Activate with one click on any page
Click, drag, and release to capture
⬇ Auto-downloads screenshot
Copies to clipboard instantly
No account or sign-up needed

Permissions:

clipboardWrite: Allows copying screenshots to clipboard

Simple, fast, and lightweight. Capture and share with ease.

Happy developing!
Disabling SELinux is pretty much like doing a chmod -R 777 ., it may fix your "problem", but it's certainly not the long term solution.
I didn’t know what RWKV.cpp was, so hopefully this helps others: https://github.com/RWKV/rwkv.cpp

> INT4/INT5/INT8 and FP16 inference on CPU for RWKV language model
In realistic terms, seems only nvda is selling AI shovels
Anywhere that builds houses
Sadly Microsoft has a history of enabling "features" after updates, even though the user has disabled it before. Of course only to "improve the experience".
Launched 24 years ago this month
Nvidia is selling shovels
Show HN: Open-Source Hacker News Theme Switcher Chrome Extension
I've created an open source Chrome extension that allows you to switch between different themes on Hacker News. Key features:

- Fully open source - contributions welcome!
- Multiple themes (Dark, Solarized Light/Dark, Oceanic, Monokai)
- Easy theme selection directly on the HN page
- Remembers your theme preference

Chrome Web Store: https://chromewebstore.google.com/detail/hacker-news-theme-s...
GitHub Repository: https://github.com/nishammahsin/hn-theme-switcher/

The project is open for contributions. Whether you want to add new themes, improve functionality, or fix bugs, all help is appreciated!

I'm looking forward to your feedback and potential collaborations to make HN even more customizable.
> including Ubuntu and its derivatives (like Mint), which are mostly used on desktops rather than servers.

I don't think you understand how Ubuntu is used. It is huge in the cloud space as a server.
https://security-tracker.debian.org/tracker/status/release/s...
Every time I look at it I get turned off by Android 11 being so old. I don’t know the Google ecosystem as well, how much longer will that API version be supported? Does it get security updates? Can I unlock it and install something less Googled?
To me this sounds pedantic, a good argument for a discretionary recruiting process and a good indicator of a bad interview/work experience. Why don't they instead try to define what superficial means? What do they expect from candidates in a way that can be measured? How many years of professional/research experience?
Again I read the comments and can't think of any place less optimistic or understanding of technology than Hackernews. Lot's of armchair critics thinking they know better than the guy who help built AlexNet. I should be surprised but I'm not anymore, just disapointed.

One of the smartest computer science researchers is taking a stab at the most important problem of our lifetimes, we should be cheering him on.
Genuine question: I've been hearing good things about PopOS.
How realistic is it as a windows replacement ?
Right now, not much. The extension is fairly basic in that is just looks at the raw text + HTML and sends it to the LLM.

The benefit of this approach is it's very simple and easy, but the downside is it sends a lot of unnecessary tokens to the LLM. That drives up the cost, slows things down, and hurts accuracy.

I'm working on a few improvements now to improve this.
> They are the exact equivalent of shipping a developer's laptop off to the datacenter and replicating it as a production image.

I hear that a lot, but it's not really true, or it is true only if developer created the image manually. Does anyone do that?

As soon as you use a Dockerfile you have reproducible builds, allowing you to use a different base image, or even perform the installation without containers at all.
Me to my Senior Engineer: Eddie, would you mind sifting through that pile of resumes and picking out the top 10? :)
Space tourism is commercial and very supersonic.
Your test does not make any sense whatsoever because all GPT does when it creates an image currently is send a prompt to Dalle-3.

Beyond that LLMs don't see words or letters (tokens are neither) so some counting issues are expected.

But it's not very surprising you've been giving tests that make no sense.
I don't see how Ballmer randomly guessing a number and candidate doing binary search would NOT be Nash Equilibrium.

For anything else, the candidate has a strategy of "guessing a trick number", and Ballmer has a strategy of "not choosing a trick number".

The candidate can't force Ballmer to try to be tricky.
> Development of the engine will be by Kratos subsidiary Florida Turbine Technologies for engine design, General Electric subsidiary GE Additive for additive manufacturing consulting, and StandardAero for maintenance.

Impressively experienced folks behind the Symphony engine.
SELinux Coloring Book PDF, https://developers.redhat.com/e-books/selinux-coloring-book & https://people.redhat.com/duffy/selinux/selinux-coloring-boo...

> Learn the basics of SELinux, including type enforcement, Multi-Category Security (MCS) Enforcement, and Multi-Level Security (MLS) Enforcement, with the help of some friendly cats and dogs!
Plumbing, instead of electrical engineering?

You have to be joking.
IBM acquired Red Hat in 2019, at which point their revenue had been stuck at "why isn't our revenue going back up?" for eight years straight, in the hopes that controlling Red Hat would let them squeeze dollars out of it by making it a premium offering to multinationals and governments. Looking at their revenue since, there's a small trend upward, so was there a reason? Unfortunately, yes. Did it work out? Way harder to say but IBM themselves would probably say yes to that one, too.
But Platonists, ironically on many levels, are also real. Sometimes complex. But never fully imaginary.
> or a Linux phone (which is too expensive relatively)

Linux phones are inexpensive, relative to other smartphones. A new PinePhone is about $150, and there are lots of older devices which can run Linux (older Pixel phones, Nexus phones, and so on) which you can get for very cheap second-hand.
The argument about AGI from LLMs is not based on the current state of LLMs, but on the rate of progress over the last 5+ years or so. It wasn't very long ago that almost nobody outside of a few niche circles seriously thought LLMs could do what they do right now.

That said, my personal hypothesis is that AGI will emerge from video generation models rather than text generation models. A model that takes an arbitrary real-time video input feed and must predict the next, say, 60 seconds of video would have to have a deep understanding of the universe, humanity, language, culture, physics, humor, laughter, problem solving, etc. This pushes the fidelity of both input and output far beyond anything that can be expressed in text, but also creates extraordinarily high computational barriers.
Ballmer and Gates were undergratuate mathematicians. It's not a bad strategy.
> I've never been anywhere inside the US where I could disembark a plane and buy razor blades for my DE razors

This is odd. I've purchased razor blades from Walgreens and CVS locations across the US. Pharmacies in New York, San Francisco, and Denver as well as local pharmacies in small towns. I've also purchased them traveling abroad in Europe and the UK.

I just checked Walgreens' stock around me and every store within 5 miles (I think there's 7 of them) claims to have the Walgreens brand DE razor blades in stock.

Been using DE razors for probably 15 years and never had anything more than a nick.
Your last paragraph is correct, but only very close to the collision. Things in orbit around the sun don't move in straight lines, even if their paths are going to intersect. The earlier you see it, the less it's moving straight at you.

(Of course, if it's going to hit you, the faster it's going, the more straight at you its path is at the same distance. But for the same amount of "not straight at you", faster leaves a bigger streak.)
This is the reason for the clarification.

> The latest preview update for Windows 11 version 24H2 contains a little surprise for those who don’t trust the software giant. It allows you to remove Recall, the coming AI-based timeline feature that will help Copilot+ PC users find things they did in the past.

https://www.thurrott.com/mobile/copilot-pc/307817/microsoft-...
I've had streams lasting years without any latency creep using professional encoders
This is one of the topics of the article.
It's important that Recall is available to all Microsoft Windows users. The Microsoft ecosystem is a great value to its customers, and the obstruction of Microsoft's right to advertise to their users would be another example of how the EU hates their citizens. If you don't want Copilot, why can't you just buy another computer and let Microsoft customers enjoy their vertical integration? /s

Edit: Included sarcasm indicator because apparently people think this is a legitimate opinion serious people have in 2024.
I’ll believe it when I see third-party metrics with the new Lunar Lake processors coming anywhere close to the Surface Laptops (the easiest target) in battery life.
As fare as I know it is jist a torso of its former glory. This is mostly the reason why we migrated to Gurobi.
GDPR lawsuit no one?
Show HN: OneDraft – Automate Investor Updates. 3x Fundraising Potential
Howdy HN! Long time admirer here, stoked to finally be posting for my own startup. :)

<—————— Pitch ——————>

It’s that time of the month again... investor update time. But instead of diving into a sea of dashboards, spreadsheets, and mismatched graphs, what if you could just hit ‘send’ on a perfectly crafted update?

That’s where OneDraft comes in. We’re not another dashboard you need to check – we’re your investor update, delivered right to your inbox, ready to send.

Here’s why OneDraft is a game-changer for busy founders:
1. Time is your most precious resource. We save you hours by automatically gathering and visualizing your key metrics. No more custom pivot tables or v-lookups!
2. We calculate the metrics for you AND provide defensibility for each value. Your investors will appreciate the transparency, and you’ll have confidence in your numbers.
3. Clean, consistent formatting that looks professional every time. No more worrying about graphs of different shapes and sizes.
4. It’s delivered straight to your inbox. No new login to remember, no new dashboard to check.
5. Enhance your investor relations without the extra work. Regular, professional updates keep your investors engaged and more likely to support you when it counts.

Every second counts when you’re building the future. Let OneDraft handle the grunt work of investor updates so you can focus on what you do best – growing your business.

Learn more at https://onedraft.ai and you can view our demo here: https://youtu.be/Hl-RCDLa67M?feature=shared.

-> Your first update is free!

Let’s make investor updates the easiest part of your month!

<—————— Background ——————>

As a former chief of staff, I’ve lived the struggle:
- Hours spent gathering data from various sources
- Late nights creating graphs and cleaning up financials
- The constant pressure to present information effectively

OneDraft is the solution I wish I had:
- We integrate with your existing tools to gather data automatically
- Our AI formats updates in your company’s style, highlighting key takeaways
- Updates are delivered to your inbox, ready to send – no dashboard required

<—————— CTA ——————>

We hope you'll try us out and share your thoughts. I've always admired HN's honest criticism and insights -- we're here to learn and grow as fast as possible, any feedback would go a long way. Looking forward to your input!
You can have a different person set up parental mode with an unknown pin
TLDR use Astro (pick a theme: https://astro.build/themes/) with Markdown files (https://docs.astro.build/en/guides/markdown-content/), upload it to Vercel or Netlify, and... you're done. They care of everything else on the hosting side. Git push your updates and the new version automatically deploys in a min or two. Screw something up and it's a 1-click rollback.

For all the other functionality you need, there's probably some NPM library out there you can easily add.

Longer version: There are a bazillion web hosts out there with different levels of abstraction. At the lowest levels of abstraction, you have bare-metal servers or close-to-the-metal VMs like EC2. You have the most control, but also the most responsibility, with those. They're great if you're an enterprise seeking the most in-house control, but they are a pain to manage if you don't have full-stack web dev/devops/sysadmin experience.

At the extreme other end, you have something like Wix or Squarespace, that not only hosts your website, but provides their own abstracted WYSIWYG page builder on top of it.

In between, because of "Jamstacks" (Javascript + markup, like React et al), a generation of hosts have sprung up that especially cater to this use case. Among them are Vercel and Netlify, who are two of the most popular and easy to use web hosts for deploying simple sites like that. Although they were initially made for frameworks like Next.js (made by Vercel) or Gatsby (now owned by Netlify), over time, they also added support for lighter-weight systems like Astro (which is much easier to use if you all you want to do is put up a nice-looking blog). They abstract away all the CDN, DNS, HTTPS, VM scaling etc. stuff into a "git push repo, website goes online" workflow. What used to take hours of setup and config and testing now takes mere seconds.

If that's too much abstraction, there are also systems just a little to the lower side, like Cloudflare Pages, AWS Amplify, Firebase Hosting, Google App Engine, and maybe something similar on Azure. But if you don't have a specific reason for needing those, Vercel or Netlify will be much more user-friendly.

-----------

If you really want to go lower and learn to DIY all of this, you're of course welcome to, but that takes much more learning and setup. I'd recommend https://nearlyfreespeech.net/ for hosting a site like that (costs pennies per month), and they take care of all the essential details while still leaving you a real filesystem and shell. Put Cloudflare (the regular CDN/firewall service, not Cloudflare Pages the build service) in front of it for additional caching and protection and you're good to go.
Most of your steam games will run on linux with proton.
Eh, FUD is a MS classic.
I'm using it as a daily driver now:
https://hajo.me/blog/2024/07/02/the-year-of-the-linux-deskto...

Biggest issue is printer drivers, I'd say.
Think of the difference between watching a live sporting event or a concert vs watching a recording of the same event. The latter might satisfy you but there's something different about the former.

Live streaming is inherently mor einteractive and there's a shared experience simply because you can't speed up.

I guess you could see that live-streaming is experience-based. VODs are results-based. Not strictly the case but there's a trend.
So the problem is for llms yet the tool is for site owners?

Why don't we make a tool that solves poverty by taxing the rich?
Color management is such a shit show on PCs. Most phones these days support a large percentage of DCI-P3 and are configured for it.

But even if you have a monitor that supports DCI-P3 you have to slog through modes, profiles, and blog posts to get it setup.

Should you always have HDR on? Why does SDR content always look "wrong" when HDR is on? Oh, it's because the peak brightness and color saturation blah blah blah.

Gamma 2.0, 2.2, or 2.4?

Now you learn the hard way the "desktop" is not color managed, it's the individual applications.. If they want to be. Maybe they'll use the windows configured profile, maybe not.
Engineers Gave a Mushroom a Robot Body and Let It Run Wild
Not a astrophysicist but I would guess it's due to atmospheric drag. Higher velocity objects will burn more quickly
I switched to Pop!_OS last year when I was doing a hardware refresh. I started reading up on all the hijinks in Windows 11 with trying to trick users into signing in to their local machine through an on-line MS ID. I had a big problem with the idea of paying someone a subscription fee to use my own machine. Showing ads and "feeds" on my desktop and in my start menu that I had no control over was already bad enough in Windows 10, but Microsoft had indeed cranked things up to... well... 11.

Since then, Microsoft has only added evidence that my decision was a good one.
For a moment the headline had me thinking Strategic Simulations Inc. was coming back, and now I'm even more sad to find out it's just more AI junk.
I've banned the above account (see https://news.ycombinator.com/item?id=41447769), but please don't respond to a bad comment by breaking the site guidelines yourself. That only makes things worse.

https://news.ycombinator.com/newsguidelines.html

Edit: your account has unfortunately been breaking the site guidelines a lot as well, not just in this thread but in many threads:

https://news.ycombinator.com/item?id=41208642 (Aug 2024)

https://news.ycombinator.com/item?id=41046824 (July 2024)

https://news.ycombinator.com/item?id=41019101 (July 2024)

https://news.ycombinator.com/item?id=41019067 (July 2024)

https://news.ycombinator.com/item?id=40936702 (July 2024)

https://news.ycombinator.com/item?id=40936599 (July 2024)

https://news.ycombinator.com/item?id=40895260 (July 2024)

https://news.ycombinator.com/item?id=40862324 (July 2024)

https://news.ycombinator.com/item?id=40471444 (May 2024)

https://news.ycombinator.com/item?id=40320673 (May 2024)

I'm not putting you in the same class as that other account, obviously, but there are different forms of abuse and you've unfortunately been repeatedly doing some of them, such as by posting flamebait, ideological battle comments, and personal attacks.

I don't want to ban you, because you've also posted good comments and you've been here for years, but we need you to stop posting like this. If you'd please review https://news.ycombinator.com/newsguidelines.html and use HN as intended, that would be good. Complaining about how much the site has deteriorated and how other people are wrecking it does not make it ok to wreck it yourself.
The latter can be learned from "statistical correlations in text", just like Ilya said.
I'm the enemy of remote workers but only for startups (2014)