skysight-inc/HackerNews huggingface dataset:
Eh I'd revise that to say it's anti-rooftop-without-storage. Basically, the CA grid now has a massive glut of solar generation at midday, and so they changed net metering to not pay anywhere near 1:1 on backfed power (it's a really bad ratio, but I don't remember, maybe like 1:5). On the literature around this change, they noted that it's to encourage people to install storage and do time shifting on the power they generate, to help even things out for the grid.
Communities. People want other people to talk about what you're talking about with you. You can add a comment section, but it requires mapping between commenters on your site and commenters on another guy's site in order to really have a comunity with repeated interactions between individuals. And of course if you're new it's hard to get traction on your own site without posting comments that say "here's my vaguely related article on my site". Now, you can imagine a meta-service that exposes websites by new users, ensures consistent usernames across all comment section on user websites, and surfaces interesting discussions in comment sections. And that's what social media is. I think tumblr matches that description most precisely
As far as I can tell, this is not Sora, but a distilled model that runs in a reasonable amount of time, with a reasonable amount of compute. It's pretty likely that's resulted in degradation of quality. Further, the marketing/demo-ing for Sora for the past year has been heavily curated videos from OpenAI and it's not clear what was generate using Sora and what was being generated using Sora "Turbo" (this distilled model). It wouldn't surprise me if some or much of it was from the original Sora model, leading to mismatched expectations and hype fatigue.

Mostly hunches from me. It could very well be that the original Sora is also plagued with outputs that aren't just subjectively "bad", but which aren't _useful_ (not adhering to the prompt, for instance).

There's some cool ideas here. The storyboard thing is nifty - kind of the refined synthetic captions that ChatGPT uses for DALLE3 on crack. Perhaps after people get over the prompting learning curve it will output better results. But it seems tougher to prompt than simple text-to-image, requiring generally longer prompts that aim to steer the model away from whatever strange thing it's doing that you don't need it to do. In my case, using the "image as the first frame" approach, the model generated cuts between newly imagined cameras consistently, when I simply wanted a single continuous shot from the POV of the camera of the photo.

We'll see, but I'm sort of over it. The UX is fancy for sure, and the scale they're pulling off with this is unprecedented even if there's already decent competitors.
Comments moved to https://news.ycombinator.com/item?id=42370622, which is currently on the front page.
static typing doesn't cover all (or most) testing but it absolutely replaces type testing.

webdev isn't square root functions it's working with complex data APIs.

In fact, the argument was about ruby/rails not needing types/interfaces was because "the tests are the interface" that's how baked in tdd was
FireWire had a backdoor into memory. FireWire isn't a "bus", it's a local area network. Mostly you send packets around. IP over Firewire was a thing. But there are also built-in packets to read and write memory, one word at a time.
That's how commands are sent. This probably made sense to people who thought in terms of device registers, rather than a command with parameters.

There's a register in most Firewire controllers where you can set the address bounds for which that function is available. I once noted that the hard-coded default values for Linux were 0 .. 2^32-1, that is, the first 4GB. I reported this as a security bug and was told it was needed for the kernel debugger.

Sigh.
There is clearly a difference in the uptake of fructose and glucose as you can see here, no insulin is required to uptake fructose. https://phdmuscle.com/fructose-metabolism/

If there is a difference in fructose and high fructose corn syrup it would likely be the fact that it is corn based. Corn has been selected to be farmed with high glycophosate (round up ready), which metabolically different from other corns and produces some proteins not found in non GM corn. https://enveurope.springeropen.com/articles/10.1186/s12302-0...
But the internet.
One weird trick to avoid jury duty for the rest of your life?
In the past five years I participated in a project (with Yosi Rinott and Tomer Shoham) to carefully examine the Google's 2019 "supremacy" claim. A short introduction to our work is described here: https://gilkalai.wordpress.com/2024/12/09/the-case-against-g.... We found in that experiment statistically unreasonable predictions (predictions that were "too good to be true") indicating methodological flaws. We also found evidence of undocumented global optimization in the calibration process.

In view of these and other findings my conclusion is that
Google Quantum AI’s claims (including published ones) should be approached with caution, particularly those of an extraordinary nature. These claims may stem from significant methodological errors and, as such, may reflect the researchers’ expectations more than objective scientific reality.
I'd be curious to see regret vs. would you make the same choice again. I can imagine parents nor regretting it, but maybe thinking about it twice if they had known what to expect.
Neural Attention Memory Model: An Evolved Universal Transformer Memory
Indeed, I opened the link wondering what Apple had fucked up in their sandbox policy that it could hinder an innocent C compiler.
Good-looking Unabomber with terrible opsec is pretty spot on for this guy.
Why not both? Ted Kaczynski was an important thinker whether or not you agree with his thesis and methods. ISAIF was published in newspapers and the sky didn't fall.
Oh, I'm sure you can walk and sing, too. A waltz and sing, probably. But when you're dancing hard enough to sweat? Naaah.

Just for fun tomorrow, go out for a jog and try to sing.
What's in place instead of mining, nowadays? Proof of stake or sth like that?
It's very interesting to me that everyone is blaming the CEO and not the system. The tethering of health care coverage to employment is the real issue. If decoupled, people could actually shop around and not purchase from companies with high denial rates.

It's baffling to me that people are calling this a righteous cleanse when it was purely the murder of an innocent man with a family.
Fooled by what? Some of it looks real but is incredulous enough that it should set off your BS sensor. Other stuff is/will be more subtle and we will have no way of knowing.
>Make streaming services pay fair compensation
Others have probably pointed it out already but if it happens, streaming services are very unlikely to survive. They are not profitable even today. To make things worse, AFAIK there is research that basically says that streaming services will never generate money for their investors.

Spotify can only afford to pay its musicians "unfair" compensations. Otherwise it will be forced out of business.
The middle class and below live paycheck to paycheck so that's an issue they don't have. I suppose the author refers to this (ironically or not)

But debanking happens, or has happened, to _almost_ everybody who has some assets and cash, probably from the higher middle class until the ~1% .. as for the super wealthy, this class enjoys offshore private banking, has assets split into dozens of accounts and is mostly unbothered by AML.
> They're in competition with all the other bands.

I feel like we need to break out the Housing Theory of Everything on this one.

Bands have been in competition with other bands since music was invented, that's not new. What's new is that it costs $200/night for a hotel room when you're making, uh, $200/night. If everything didn't cost so much then making that amount of money would work.
>If you want to make a change where the majority (or at list the rich majority) don't want, then violence will be much more effective.

So you're saying violence is a morally acceptable way for a minority to force its will on a majority? This just sounds like an argument for dictatorship.

- - -

I think whatever argument you make in favor of violence, you should anticipate that your political opponents will make the exact same argument to excuse their violence. So whatever argument you make -- be sure it's an argument you are OK with your political opponents using.

A social contract regarding the times and places where it's acceptable to use violence is actually a really valuable thing. Confucius was actually on to something.
Sorry, Social Media Is Never Getting Any Better
Maybe if it does not sound funny in German, it's a real name?
Turns out it wasn't nearly as much as 1600 days of labor. So, clickbait headline.
>This feels like a classic case of addressing the symptoms <...> while failing to address the actual problem
Or even worse, simple virtue signaling.
What does it mean when they say that the computations are happening in multiverse? I didn't know we are that advanced already :)
There's some _interesting_ issues being created: https://github.com/lnmangione/Halite-III/issues
And vinyl!

People like both and there are tons of players out there.

Heck, the car I just got has one. (Used 2001 model

My granddaughter absolutely loves CD media. She looks at the notes for the couple I have cases and liner notes for.

She decorates the ones we made with her tunes on them.

And working the SONY player has shown her the allure those techy looking vacuum, phosphor displays [1] coupled with buttons, dials and the little noises the thing will make, all combine to make for a fun experience just operating the thing.

I wonder what she will make of hidden tracks... [0]

[0] https://www.udiscovermusic.com/stories/90s-hidden-tracks/

[1] https://youtu.be/PkPSDOjhxwM?si=ldymG0ts31iabCQ8
> but it doesn’t replace any tests.

As someone who has programmed in statically-typed languages and ones that aren't, I can absolutely, positively confirm that a static typing system and compile-time checks absolutely, positively replace an enormous swath of tests.

The difference between refactoring code in Ruby and in Kotlin (or Java or C# or whatever other language you choose) is worlds apart when you can actually trust that the thing being sent to the method you're checking actually conforms to a certain type.

What would take multiple days and maybe weeks to find all the edge-case-hells of type assumptions in Ruby is often a multiple-minutes change in those other languages.
Lately i've been avoiding all peanuts (and Kirkland's in my house) because of the saturated fat content, but i'm never sure if its that necessary.
About C/C++ compilers, mostly.

C++ has terrible template and include compilation problems, for historical reasons.
What a nice surprise seeing trusty Twig here. Breaks my heart that I have less and less use cases for Perl.
They don't, but if I interpreted the post above correctly analog QCs aremuch easier to build

At least as far as I'm aware by digital they probably mean a generally programmable QC, whereas another approach is to encode a specific class of problems in the physical structure of an analog QC so that it solves those problems much faster than classical. This latter approach is less general (so for instance you won't use it to factor primes) but much more attainable. I think D-wave or someone like that already had commercial application for optimization problems (either traveling salesman or something to do with port organization)
> “Detective” work is carrying a lot here which is really just comparing clothing, pictures, following the journey etc. all made possible from the surveillance resources and not their work

Do you remember the Boston Marathon bombings [1]?

[1] https://en.wikipedia.org/wiki/Suicide_of_Sunil_Tripathi
> To save others the clicking and scrolling (if you're mainly interested in the conclusion, as I was)

Thanks. Another solution is to read the abstract at the top.
I've also been looking for something like this. Was going to post on the Textual discord actuality to ask around.

Most of the email tools like notmuch tend to be GPL which limits adoption IMHO.
Original source: https://www.bloomberg.com/news/newsletters/2024-12-08/apple-...

.. which granted has a non-obvious title, and the scoop is about 60% of the way through Apple’s Johny Srouji will likely be on Intel’s short list for a new CEO https://news.ycombinator.com/item?id=42367248
https://archive.is/ddVgt
I hear you, and am as baffled as you are.

Why, then, do I love all the various Fleetwood Mac concert versions of their songs better than the radio edits?
Maybe not the _only_ reason he got caught, but a major reason is exactly what OP mentioned: the victim was a member of the 1%.

Waaay back in the late-80s, I was at an underground dance party. Some dude shot and killed another dude in the parking lot. At least a dozen witnesses saw it (I only heard it). Everyone knew the identities of both people involved. No arrests were ever made. I saw the dude on the street a few years later, walking around like he never shot and killed someone - thanks to the fine work of the Modesto PD.
Lisp is based on lambda calculus which has no tools to modify programs written in itself, this is apparently a useful feature, so there are many lisp-like languages with added macros as such there are many different implementations of these features. Even something as prevalent in lisp-likes as eval isn't part of lambda calculus, which only has abstraction application and variables (no env). If the notion of reflection is well defined and if tree calculus is reflective then it's definitely not just lisp (certainly not forth) with a different syntax

I'm no expert so take this post with a mountain of salt. Without confusing the issue: In practice it's just a slow lisp, in theory it's different from lambda calculus and can be used to implement that slow lisp-like in a simpler way.
Not guilty must also be unanimous. If the jurors can’t agree it’ll be retried. Usually lone holdouts capitulate.
For discussion here, the number of labels is irrelevant: only their market share.

UMG alone has 38% of the entire record label market share. Its annual revenue is more than the entire revenue of all independent record labels combined.

AFAIK the lion's share of the market is held by the top ten labels, none of whom have the musician's best interest at heart. So yes, it's reasonable to say that labels generally don't represent musicians.
Well, Kaczynski thought they were guilty. The intended recipients that is; not sure if he made any statement on employees who were injured by opening mail intended for their boss.

In his later writing like Anti-tech Revolution he advocated for strategic actions that would make a return to a pre-technological society (apparently 18th century pastoralism or something similar) inevitable, but sort of threw up his hands over figuring how to meet that criterion.
Luigi Mangione Storyline, open source mdbook
> why pacifism is heavily promoted in mainstream media and society

Yes, America's problem is it's just too peaceful, at home and abroad.

Like, it's a neat hypothesis. The data just don't fit, certainly not for America. We have high rates of gun ownership and gun violence (as well as other violence, e.g. at bars and schoolyards) precisely because we like taking justice into our own hands.
Can you please give an example of a “completely illogical statement” produced by o1 model? I suspect it would be easier to get an average human to produce an illogical statement.
I am reading 'The Man Who Fell To Earth" and it's about this supposedly very smart martian who makes very basic mistakes that led to his capture. There is a quote, something to the effect, 'it's amazing the number of things you just don't think about'. Which I think is true and why people got caught. Truth is, he had a lot on his mind and that can make you very clumsy.
Isn't there a Python library that abstracts most of it away with a couple of gigantic classes with incompatible dependencies?
I'm not arguing against tests as much as I'm suggesting that sufficient typing can provide a similar form of interactive refactoring that the author claims TDD facilitates. Numerical functions are usually good candidates for tests.

I don't even have an axe to grind about TDD itself. I don't do it and nobody forces me to. I'm just hypothesizing that the practice was tied to the primitive typing of its time. I could be wrong about this.
Banks and financial institutions see AML as a necessary cost center to continue operating as a business. They would gladly fire 90% of their compliance department if they didn't have to write hourly memos to FinCEN and join conference calls with the Fed. Power and money correlate, but money is ultimately what does the talking.
For those curious (and still locked out) here’s direct a comparison of Sora vs. the open-source leaders (HunyuanVideo, Mochi and LTX):

https://app.checkbin.dev/snapshots/1f0f3ce3-6a30-4c1a-870e-2...

Pros:

- Some of the Sora results are absolutely stunning. Check out the detail on the lion, for example!
- The landscapes and aerial shots are absolutely incredible.
- Quality is much better than Mochi & LTX out of the box. Mochi/LTX seem to require specifically optimized workflows (I've seen great img2vid LTX results on Reddit that start with Flux image generations, for example). Hunyuan seems comparable to Sora!

Cons:

- Still nearly impossible to access Sora despite the “launch”. My generations today were in the 2000s, implying that it’s only open to a very small number of people. There’s no api yet, so it’s not an option for developers.
- Sora struggles with physical interactions. Watch the dancers moonwalk, or the ball goes through the dog. HunyuanVideo seems to be a bit better in this regard.
- Can't run it locally mode (obviously)
- I haven't tested this, but I think it's safe to assume Sora will be censored extensively. HunyuanVideo is surprisingly open (I've seen NSFW generations!)
- I’m getting weird camera angles from Sora, but that could likely be solved with better prompting.

Overall, I’d say it’s the best model I've played with, though I haven’t spent much time on other non-open-source ones. Hunyuan gives it a run for its money, though!
I've bought only NVIDIA cards ever since my Radeon 9800 pro gave me the ol' ~shards of glass~ death throws too soon back in 2003. Intel GPU's have always been awful. Lamentable. An instant mark of an inferior product.

That said, if there's no epidemic of games crashing on these cards I could see myself buying 1-3 of them for my cadre of adjacent rural citizens. Hard to argue with the purported performance at that price.

I'm a gamedev and it feels a little weird to use something that niche in my main machine, my level of trust isn't there yet. :D
Well, if that’s the case, that only means it’s not a profitable business and that it must close.
"long tail" typically refers to the tail of a normal distribution - basically it's a sciencey, but common, way of saying "very unlikely event". So, the OP was saying that it's worth spending some time strategizing about the unlikely event that a practical RSA-breaking QC appears in the near future, even though it's still a "long tail" (very unlikely) event.

Honestly, there's not that much to discuss on this though. The only things you can do from this strategizing is to consider even encrypted data as not safe to store, unless you're using quantum resistant encryption such as AES; and to budget time for switching to PQC as it becomes available.
Don't you think companies have ways of hiding profits for tax purposes?

Don't you think those margins are calculated from these lower official profits?

Margins have nothing to do with reality. They are a compromise between looking poor for IRS and looking good for investors
Young vs old Glen Gould playing the same Bach, for example.
> what you can already prove.

bazoom42 touches on the value testing aspect that goes beyond the mere type or return.

Typing and compilers also only guarantee coherency inside your declarations. If for instance you're expecting some library to return an int, but it's utterly broken and actually tries to return a string, the strong typing system will only let you identify why it's crashing in production. Hopefully you'd want to detect this class of issues beforehand.
It still compiles the rules down to a very basic bytecode: https://bdash.net.nz/posts/sandboxing-on-macos/#sandbox-poli...
Surely you recognize that all you need to do is to rub it on some concrete for a couple of minutes to completely destroy it right? Not to mention if you owned a pair of scissors or a lighter or something…
Dioxus 0.6: Web, Desktop, Mobile Apps in Rust
Right now it's based on PostgreSQL 11.2 with some patches pulled from newer releases. The upgrade will be to PG 15, and includes work to make further PG upgrades easier (think online upgrading a cluster on postgresql major versions).
Once the police traced the suspect to the hostel, wouldn't they check the relevant IDs?
I used it for like two weeks.
TV Pilot Script – "I Work in Marketing" – Breaking Bad for Porn
Relatives were asking for a basic explainer. Here's a good one by Hannah Fry: https://youtu.be/1_gJp2uAjO0
Re: greenfield development. I approach this in two stages. First, write code that works regardless of its quality. Then go and rewrite the important or fussy bits using TDD where possible.
Innocent? No, he was a bad person with blood on his hands, made rich by the pain and suffering of the sick. Those people have families, too.

I think all of these things can be true. It is possible for one person to be ambivalent about the killing of a bad man, acknowledge that he had a family and that is unfortunate, and accept that the system is flawed and that systematic change is required to materially improve things.
Lol, mercury in rockets fuel reminds me of lead in petrol.
There is a similar thread on zerohedge.com:

https://www.zerohedge.com/political/person-interest-nyc-assa...

It contains much discussion regarding esp.

- the police finding a gun, multiple IDs and a "manifesto" on his person. Much suspicion of the suspect being a "patsy", i.e., someone falsely incriminated.

- questioning of the rationality of the suspect, i.e., was he mentally ill, a drug user, etc.

Best segment [copied here] concerned the suspect's travels:
...

12 hours ago iamtheghostofeustacemullins:

I don't understand how this guy could be on the lam for five days and only get as far as Altoona PA?

12 hours ago iamtheghostofeustacemullins:

Note to self: It takes me around 8 hours to drive to JFK Airport from Wheeling WV.

12 hours ago ElChapocabra:

He rode an actual lamb?

12 hours ago J Jason Djfmam:

Specifically, an escape goat.

12 hours ago _0000_:

lol

7 hours ago PressCheck:

Worth reading thru all the stupid comments just to read ones like this
...
I was guessing breakage of some JIT thing, though in hindsight that would probably be a bit out of character for tcc.
The problem with such takes is 1) the facts are also consistent with performance plateauing for fundamental reasons and 2) there are good, perhaps better than them, competitors with similar issues.
You haven’t missed anything, we are merely witnessing the scary, pathetic beginning of the internet version of medieval peasant mob violence.
Omitting that tends to result in more productive discussions. Most people are much more principled when discussing in the abstract than when it comes to something that they have been two minutes' hating for their whole lives.
Because live, not studio.
This is specifically a response to Andreessen conflating crypto offboarding with "debanking" on Rogan. The goal is to inform you about the regulatory and political environment around banking and crypto in general, and to warn you to be wary when a crypto investor uses terms like "debanking" to rally favor for their cause, which is to integrate crypto into the banking sector.