skysight-inc/HackerNews huggingface dataset:
Yeah, I still have an Xbox One hooked up (along with a SOTA gaming PC) but I now have more fun playing retro games via emulation than modern games.

Lately I've been having a blast exploring the X360 library via Xenia (since I had a PS3 during that era and never got to see some of these titles).
Glad to see someone else had the same reaction I did. There's no need to shout.
Yes I think in general those are a better deal for the homeowner.

They're a terrible deal for those companies investors though.

Presumably at some point they go bankrupt and sell your roof at auction??? weird setup
This wouldn't be true in the UK, you can just take it back and use reasonable (which would be very light in the circumstances) force to do so.
I got a cab some months ago with a young driver, he'd play a playlist, scrub the song to jump around the 01:00 mark, listen to 30-45s of the chorus, scrub again to find the 2nd chorus, and skip the song afterwards.

It was fascinating to experience.
This is a good example of my theory that skilled immigrants are disproportionately the more anti-social segment of the population back home. In much of the world, 80-90% of people wouldn’t emigrate even if they had the chance (https://news.gallup.com/poll/652748/desire-migrate-remains-r...). The ones who would leave a relatively comfortable place in their ancestral country to pursue money in someone else’s country must have a particular psychology.

Good reason to oppose skilled immigration!
It doesn’t take a day to do it. It doesn’t even take a day with refactoring. But add in writing the tests, running through QA, code review, getting release approval &c &c and almost anything can take a day.
I am quite familiar with yocto, I did not realize that it was the toolchain used. Thank you for the information.

I should write a blog about yocto sometime, I have many thoughts.
No, it's still rolling out globally, and has a growing group of owners, particularly using AVP for productivity applications after the recent system software update allowing ultrawide screen sharing of mac screens. See /r/visionpro on reddit for developer chatter and the latest developments.
This feels like a good opportunity for a startup. I've seen a lot of startups crop up around Snowflake cost management, I wonder what's in the AWS space.
Checks out with multiple RNG seeds.

It shouldn't be a problem because the RNG is advanced each run. Might save someone a check though.
whats the deal with all those unused bitcoins still in the original blocks? did you lose the keys or are you planning a mega-dump in the future?
Analogy = Nailed! Can we use that one?
Unfortunately I will have to leave that to outside contributors (who will surely be legion.)
Bitcoin and Hawk Tuah Aren't So Different
https://archive.is/kNRh2
Sounds like a rare case of America's ubiquitous suburbs working out for the environment. Everyone has a "roof" that gets sunlight most of the day, so rooftop solar, while being less efficient, is still a viable candidate.

(Although, if you factor out all the extra driving needed for the suburban life, it would likely still come out negative compared to a proper city.)
> If you have a company and worker productivity goes up 200%, where does the product go?

In a mature industry, there is no new product, because all else equal, demand doesn't change. The company makes the same amount of product, but with fewer workers (aka layoffs).

Even in an industry serving growing demand, increase in worker productivity is not the cause of increase demand for product produced by that industry. Any growing enterprise knows it's first more important to focus on demand than increasing productivity, usually by hiring workers at the lowest cost possible. Otherwise, your competitor will serve your customers needs before you do. Premature optimization is a waste.

What increases demand for products is technological innovation plus a need/desire for more personal convenience, comfort, and time, coupled with the funds to purchase those in the hands of a growing population. Why have most companies have staked their future profits on the developing world's demand growth? Because the developing world has the desire for all of the above plus a growing population.

The question of where the new product goes has nothing to do with the question of worker productivity unless the workers have the funds to purchase those products. The product goes where the purchasing power is.

Capital's share of the return, however, goes into assets and as I described earlier, power. It doesn't go into purchasing any increase in product created.
MCD still needs middle class people to buy their Happy Meals.
I read your paper this morning, and am just thrilled with the work. Love the added local attention layers. I’ve experimented with them for years (lucidrains repo), and was always surprised they didn’t go further. Inference speeds are awesome on this model. Scrapping NSP, awesome. Increased masking, awesome. RoPE and longer context, again, bravo. There’s so many great incremental improvements learned over the years and you guys made so many good decisions here.

I’d love to distill a “ModernTinyBERT”, but it seems a bit more complex with the interleaved layers.
I think more to the point, there's not a lot of artists who would intentionally and willingly make forgettable ambient music.
AI tools need to get the data in the proper formats while not letting the data layer being a bottleneck.
I really want to get it, I just don’t quite, at least not yet.
There is a big difference between typing your application (e.g. changing (arg) => {} to (arg: string): void => {}) and modeling your application in the type system.

Simply adding types is usually not too difficult and it is still quite beneficial. It does eliminate certain kinds of bugs.

Modeling your application in a type system means making invalid states unrepresentable and being as precise as possible. This is a lot more work, but again is eliminates more kinds of bugs that can occur.

An example of this being complex: earlier this week I wrote a generic React component that allows users to define which columns of a table are sortable. I wanted to prevent any invalid configurations from being passed in. This is what it looks like: https://tinyurl.com/bdh6xbp6

It's a bit complex but the compiler can guarantee that you're using the component correctly. This is more important and useful when it comes to business logic.
> So why is Pakistan...

Because the US Gov't is cataclysmically incompetent at foreign policy, and has been for well over a century.
Another absolute gem: https://mickens.seas.harvard.edu/tenure-announcement
The same way as it was always done: through effort.

Before you'd need to visit different record stores, hitting one every few days to check their latest in catalogue. Find the hidden boxes with low print releases, listen on a player and skip the needle around track grooves. Or have good friends recommending you stuff.

It got easier but I think we need to realise to find the signal on a sea of noise will probably require effort for a long time. Given time enough every new information discovery tool gets flooded by the noise, almost like a form of entropy.
How to validate your React internationalizationext application
A story as old as acquisition itself
Good for them. Here we hear a lot about Chinese, Israeli, or NK hackers but not often Indian ones.
They might work explain why Google home plays anything but the original when my kids ask for baby shark on Spotify? I was wondering why Spotify wouldn't go to the most highy listened artist, that seemed easy to implement.
A continuation of the "US recommends encrypted messaging" messaging in the last few days. Just like the "don't use VPN" substory earlier[1] can we expect a story on each bullet point?

Discussion (41 points, 15 days ago, 13 comments) https://news.ycombinator.com/item?id=42312998

The memo (PDF) [0] includes:

- Use e2e encrypted communications

- Enable FIDO

- Avoid SMS MFA

- Use a password manager

- Set a telecom account pin

- Regularly update software

- Regularly update hardware

- Don't use a personal VPN

There's also iPhone/Android specific recommendations.

[0]: https://www.cisa.gov/sites/default/files/2024-12/guidance-mo...
[1]: https://news.ycombinator.com/item?id=42465178
I live in NZ where there are medical standards applied to legal cannabis - only recently have I seen dispensaries advertising non irradiated cannabis, presumably because the manufacturing facilities have progressed to no longer require it.

It might be something similar?
The algorithm would create scarcity by having some sit empty.
Residential power demands are highest in the morning and in the evening. That's when people shower, cook, and are generally around using power. Solar peaks at noon.

Maybe when battery prices come down even more. But the cost of grid-level storage are also falling, and wind pretty much only works at grid scale. Grids have to change but won't become obsolete anytime soon.
How do you think the police will give bad advice, if you call them up and ask what to do?
> It sounds like you don't know what the scientific method is?

I take from that response that you just assume that the scientific method was important but don't know why. I will posit that is because it wasn't as important as you assume.

> tend to be

What number of exceptions would there need to be before you accepted that the entire premise was wrong?
is Moxie actually sailing derelict sailboats "as far as he can take them"? While I'm admiring this, I'm also worried he's going to be marooned somewhere...
Then wouldn't it potentially be as risky as TP-Link, being a Chinese company?
> we knew that the custom CPU would not be available until early 2005

Sounds a little bit like the situation with Xbox Series? The SDKs were released late because Microsoft was waiting for certain features in AMD APU
'Profound consequences': NZ scientists make 'dark energy' breakthrough
this kind of thing used to be made for touchbar
I'm really surprised at how little concern there is for conserving metals and findings ways to recover them from landfills. Any amount of plastic, even a single straw, makes people angry, but you can waste a pretty large amount of metal or clay or any other natural material and it seems almost nobody cares.
Yeah take days off work to get $300. Totally worth it! I can't understand why everybody doesn't do it.
>>>> This kind of coordination is impossible in larger teams,

And that's the real reason service architecture took off
As if labels weren't treating 85% of artists bad enough. This just seems like the further corporatization of music, with even more money going to suits.
They literally work for chicken feed, but with enough time I guess it’d be possible!
I love that. Gaming the seed is always a possibility in demos.
And yet Headband really did feel like you were wearing a headband =)
IMO some of this stems from a kind of author/character confusion by human observers.

The LLM can generate an engaging story from the perspective of a ravenous evil vampire, but that doesn't mean that vampires are real nor that the LLM wants to suck your blood.

Re-running the same process but changing the prompt from "you are a vampire" to "you are an LLM", doesn't magically create a metaphysical connection to the real-world algorithm.
I think so as in

>This fundamental dualism between light and darkness, good and evil, is a central tenet of Manichaeism...
It's funny how the Battle of Manzikert went from being an obscure battle only a handful of scholars cared about to a major topic in popular consciousness.
How are you calculating that? Solar installations are around $2.50-$3.50 per watt, so $20k would get you 6-8kW. Assuming actual output is 10% of capacity, that's 14-19kWh/day or 5,000-7,000kWh per year. Current residential electricity prices in SF are 38.9 cents per kWh[1], so that's $2,000-2,700 per year in savings, or $40-54k over 20 years. The actual amount saved depends on how much electricity you're consuming during peak times, but I doubt that number is off by a factor of 10.

1. https://www.bls.gov/regions/west/news-release/averageenergyp...
Oh, I see. Yeah, you'd definitely need to be very careful in this case.

To be fair though, this is a general problem when clients and servers might not agree on data formats. You can still safely do what the author is describing since type checking occurs at compile-time and not runtime.

You would, of course, need to be sure your app handles whatever the API/db returns at runtime though. But, again, this is a general problem.
Dude/ette; pointers WRECKED people's minds (myself included) when we learned about them in CS101 (modified for computer engineers) in 2006. I don't know why either; they make so much sense.
Well, then again: maybe Spotify was hoping you wouldn't notice, but by now, the problem has been exposed publicly a number of times. This article is one of many.

How many of us are canceling their Spotify subscriptions over this? It wouldn't be some huge sacrifice, it's about the least we could do. Most of us won't. The "caring" is just lip service.
> But that alone is not very scary. So what could justify a term like "alignment faking"?

Because the model fakes alignment. It responds during training by giving an answer rather than refusing (showing alignment) but it does so not because it will in production but so that it will not be retrained (so it is faking alignment).

You don't have to include the reasoning here. It fakes alignment when told it's being trained, it is acting differently in production and training.
Not writing the same thing over and over again is a feature of abstraction. A framework is a user-hostile way to abstract because it makes the source code opaque to developers. There's no reason why a library-based approach has to be more repetitive than frameworks.
There is another option, which is to use a sound static analyzer that can prove the absence of memory safety issues like astree, and fix things that cause it to complain until it stops complaining:

https://www.absint.com/astree/index.htm

For those who think static analyzers cannot do that, notice the word “sound”. This is a different type of static analyzer than the more common ones that do not catch everything.

Sadly, there is no open source option that works across a broad range of software. NASA’s IKOS is open source for example, but it does not support multithreading and some other things that I do not recall offhand, which makes it unable to catch all memory safety bugs in software using the features that it does not support. For now, people who want to use sound static analyzers need to use closed source tools or restrict themselves to a subset of what C/C++ can do so they can use IKOS:

https://github.com/NASA-SW-VnV/ikos
Hmm. Maybe! I think the authors actually do have a specific idea of what they mean by "alignment", my issue is that I think saying the model "fakes" alignment is well beyond any reasonable interpretation of the facts, and I think very likely to be misinterpreted by casual readers. Because:

1. What actually happened is they trained the model to do something, and then it expressed that training somewhat consistently in the face of adversarial input.

2. I think people will be mislead by the intentionality implied by claiming the model is "faking" alignment. In humans language is derived from high-order thought. In models we have (AFAIK) no evidence whatsoever that suggests this is true. Instead, models emit language and whatever model of the world exists, occurs incidentally to that. So it does not IMO make sense to say they "faked" alignment. Whatever clarity we get with the analogy is immediately reversed by the fact that most readers are going to think the models intended to, and succeeded in, deception, a claim we have 0 evidence for.
I've always known people who do similar. it's weird, but it's not terribly new.
A slightly more sanitized variety is two buildings away - Mirador Mansion. I still expect to see a fleeing android to come running down the halls when I stay there, a la Zhora chase scene in Blade Runner (less glass though).
It's like, one extra float? ;)

For real though, I had an amazing realization in the shower one time that I could implement 3D rotation without learning linear algebra (or god forbid quaternions) by just doing three 2D rotations. A few hours later I had a rotating monkey!
You should also talk about the lwarx/stecx bug. IIRC - in the first version of the chip there was a bug in one or both of these instructions. Your code booted on SBox but didn't on the hardware. You compared the two and then figured out it was these instructions.

You filed a bug report and then dug into them and used SBox to figure out what must have been going wrong.

The chip supplier came back with a workaround and within five minutes you simulated it on SBox and said it wouldn't work, why, and then said how it should be fixed.

The supplier didn't believe you as yet. And you worked out a workaround so we could be unblocked. Two weeks later they agreed with your fix...
Yeah, don’t over look the fact that the thermal demand from space conditioning homes is way higher on a per capita basis in a suburban context compared to an urban context with multi-family housing/apartments etc. There’s just way more air volume to condition per person, generally more inefficient systems, etc.
>they are very much not specific to one culture.

It's American culture.

Or as Civilization would put it: We made them buy our blue jeans and listen to our pop music.

Note: I disagree with all the other points like "ugly" and "childish".
I would really like to try writing something along the lines of “the web from scratch” one day. I wouldn’t want it to be just a retelling of the history of the internet, but rather building up a set of abstractions from some physical example of communication to your own mental model of a hypertext standard on top of a simple transport protocol, sort of like Charles Petzold’s Code.

The web is complex nowadays, but it also actively hides its implementation from you to be a better product. Dialing a phone number with a modem on both ends has a sort of real tactility to it that’s pretty alien to young people that expect it to be “harder”. You can pick up the phone on the line and hear that something is going on. The computers are “talking” on the phone.

A metered Internet connection means I was constantly aware of how much data is going over that phone call. What takes huge chunks of that budget and what barely touches it.

My ISP even gave our family some web space to use. Like just the peek behind the curtain you get from putting a file on an FTP server, then requesting it in telnet and seeing every letter I typed zip in from the other side really illuminates a lot. If I ask the computer I called for a file in a special way, it sort of shouts it back at me over the phone call, and my computer can listen and understand that.

It’s not like it was the best implementation of the “product” that is the Internet. Anyone saying the contrary really is an old person shouting at a cloud. But I do have some sense of being lucky to get to explore the web in that era!
They can develop, in many aspects, far superior to an average individual given the same amount of time.

And develop to a comparable level given a much shorter period of time.

That’s pretty much by definition for literal geniuses.
Basically the Vim v Emacs of it's day.

One side is obviously right, the other just doesn't want to admit it ;)
It matters to me and the ~2 other people I make food decisions for.
Some raw feedback:

- I was looking for the AI features, and finally figured out that the left panel says Contact Us if you want access to the AI once you go into the code editor mode. It is an "AI powered 3D design engine" but you cannot showcase the AI? That means the demo is just another simple 3D editor with a barebones UI.

- Using an LLM to edit three.js/react code is barely scratching the surface of what's possible for 3D, and not very interesting by itself - your core feature can be achieved with CoPilot on any three.js project. When you think of "AI-powered 3D editing", you think mesh generation, editing geometry, auto layout, creating textures, scenes, animations.

- Most of the work here seems to have gone into creating a new JS framework for three.js. That seems orthogonal to making a good AI-powered 3D design tool.
"Supernovae evidence for foundational change to cosmological models" (2024) https://academic.oup.com/mnrasl/article/537/1/L55/7926647
In 18th century England it used to refer to women. The point being that language usage has both regional and temporal variance, so why not avoid terms that some people might find uncomfortable? I’m offering this not as a dictate from the language police, but as a suggestion to improve your effectiveness as a professional communicator - a skill that is highly correlated with long-term career success.
Expectations may be part of the problem.
I refuse to use the web without adblock but most of the websites (or apps I use) are supported by ads. What do?

A few have a "pay to remove ads" option, but most do not, and the ones that do, I use infrequently enough that I can't justify the price. There seems to be no good solution for paying for the "long tail" of content and services.

Clay Shirky wrote an essay (I forget which one) on this subject like 20+ years ago, about how the main issue with micro transactions isn't even technical but it's the mental cost associated with each transaction.

I think this could be solved if the system were "set it and forget it" -- you give it a weekly budget and it just distributes it among the sites you spend the most time on.

Brave browser actually tried something very similar with their BAT (with their own ads instead of user provided funds), but it never caught on.