skysight-inc/HackerNews huggingface dataset:
But massive battery farms are becoming cheap as well. And people vastly overestimate how much energy storage is needed to balance renewables.. especially if the country in question starts to decarbonise transportation and industry. The solution to these imply a huge amount of flexible load.

Wouldn’t rule out nuclear regardless. But feels like nuclear needs a big kick in the but in the next decade to keep up, otherwise it will be left in the dust.
Intel (and AMD) are also going to be part of this line of computers:

>We look forward to expanding through deep partnerships with Intel and AMD, starting with Lunar Lake and Strix. We will bring new Copilot+ PC experiences at a later date.

I'm not blaming Microsoft for skipping Meteor Lake, it's been an awkward generation to say the least. Of course, if Lunar Lake sees delays then Intel really has shat the mattress.
And the channel is amazing. Really interesting to watch.
I cannot imagine building on Microsoft in 2024. They have aggressively thrown their weight around doing anti-consumer moves. These are the warning signs they don't need to care about their customers and can fully exploit their market monopoly.

I still have ads after an update in windows 11 pro.

Not to mention I have file explorer bugs and one note path hijacking annoyances.

Legacy software is why we still use windows. There is nothing better about windows than say, Fedora.
Windows 11, if one has OneDrive turned on backs _everything_ up in terms of data/files.

I bought a second computer recently which was the same as my Samsung Galaxy Book 3 Pro 360 --- after setting up Windows I found that it had downloaded _all_ of my files onto the new computer, but the wallpaper wasn't the same --- went to my old one, figured out where the file was and copied it to the desktop. While I was trying to figure out how I'd copy the file over, the file appeared on the desktop of my new computer.
Its a new buzz "AI PC".

Company like Intel is happy that this is happening, it run on NPU from Intel/AMD. This AI PC buzz is supposed to help sell more x86/Windows.
Except when it is actually Copilot, in which case they call it "Github Copilot."
There is no valid reason to list "double major" as a job requirement. It's way too specific, and doing so would encourage people to potentially waste time getting a double major they don't benefit from just to check off a box. I double-majored and I find the idea silly and counterproductive. You should only double major if you want to do something involving both majors together or else you want options to do either one separately. It's not worth it to most people because very few people get to straddle two separate fields in their job. You'd be better off getting an extra year or more of income.
A Spanish Muslim looks like a Spanish person in Muslim attire rather than a Japanese person in European attire. Also, Spain is next to Africa, but the thing is generating black Vikings etc.
There is some overlap in some sense somehow, but not in any literal sense unlike in the sense in which all elements of Z are elements of Q.
I live in Marin and police in my small town frequently arrest criminals using automatic license plate scanners that guard every road that leads into town. Most of them drive from SF over the bridge after committing various crimes. Our town is a very safe town. I feel safe leaving the front door unlocked or keys inside the car in the driveway. Unfortunately everything changes as soon as I cross the bridge.

So the question is this: if your house got robbed and/or you family got hurt, wouldn't you want technology to be on your side?
For me, who needed structure, I most enjoyed the Saxon method of learning. It was heavy on problem sets and homework, but you retained what you learned because a part of each problem set was always designed to revisit past lessons. By the time it was test time, you could be fairly confident that you understood all of the material without additional studying.

Second favorite was in 6th grade where we were handed a bunch of color coded workbooks and told to go at it. I finished the entire grade's assignments by the end of the first 9 weeks, and I hated math. I was just competitive. In hindsight, it's probably why I was placed in the advanced clas when we were promoted to the next grade level. Because I finished all of that content before the end of 6th grade, too. I understood pre-algebra concepts because I had started writing programs on my dad's Ti 99/4a.
Plottable fonts are a thing! They're different from the "normal" font we think of, because they need to be a path to be traced instead of an outline to be filled.
The connection between type isomorphisms and algebraic equalities is known and explored in a variety of interesting ways.

I don't know the precise history of the development of the notation and vocabulary, but there's a reason types like A+B are notated with a plus symbol and called "sums". Similarly for products. And it may surprise you (or not) to learn that people sometimes call A -> B an exponential type, and even notate it with superscript notation.

One of my favorites is the result that the binary tree type is isomorphic to septuples of binary trees, which you can arrive at by using the definition of binary trees as the fixed point solution of T = 1 + T*T and deriving T = T^7 with some algebra. [0]

[0] https://arxiv.org/abs/math/9405205
Although a Boeing plane is unlikely to kill you, 777s appear relatively safer than other models but I'd still prefer an Airbus whenever possible because there has be a few micromorts difference between 737 MAX and 777ER and 320neo.
Most relevant that it's similarly an HCOLA, in the US, and few reasons to stay.

But naming it seemed a little rude to the place, in that it's negative PR.

A bit like talking online about a relationship difficulty, you wouldn't name your SO.

If the first response was to the effect that people care about the SO's identity, you'd ask yourself whether you're in the wrong discussion group.
Not sure, but worth checking on this, I thought the tax on RSUs can follow you out of California if they were vested there.
Car-Free Version of Frogger
In an open-world, walkable city. Where goes on quests and uncovers a deeper mystery.
NMAP Dashboard Using Grafana
So initially I thought this was just going to be "GNOME is running out of money, what do we do about it?" but...

> Missing information in the tax declaration: most remarkably, in the tax fillings of fiscal years 2020/2021 and 2021/2022, the category: “Fees for services, Other” represents more than 10% of the expense, which is clearly stated that it should be explained in a later part of the tax filling. However, it is not. I was told 6 months ago that might have to be with some problem with ProPublica not getting the data, and that they would try to fix it. But I was not provided with the information, and 6 months later the public tax fillings still have not been amended.

That's... pretty bad if true, isn't it? Like, "lose 501(c)3 status" bad? Or have I misunderstood?
Example PDF? Because I tried it too and it worked. Does your PDF use tags?
Wonderful and just in a right place..
When photography first began to proliferate in the 19th century, people feared that it would replace the art of painting [1]. Photography is used for some practical applications where painters were once employed, but we still paint and draw things. Ultimately, the two mediums are distinct in their aesthetics and expressive abilities.

Using that situation as a reference point, I'm not totally convinced that AI art will supplant digital art/drawing. AI art can be used to produce some types of drawings, sure, but not all types of drawings can be convincingly produced using AI. AI's stylistic and compositional abilities are constrained to its training set, for example.

Another thought: when the DSLR became affordable in the early 2000s, it wiped out an entire segment of low-level professional photographers. Suddenly, any schmuck with a DSLR could take "good enough" photos with ease, and without the friction of film. I'd expect AI art to have a similar effect in the realm of digital illustrators. But, professional photographers still exist, and so will professional illustrators.

[1]: https://daily.jstor.org/when-photography-was-not-art/
False positives are the main problem here, exactly. We'd all feel a lot better about facial recognition technology with police reform that ended/compensated the widespread harm being done to mere suspects, as well as fixing courtroom standards of evidence to take into account that things like facial recognition are essentially pulling signal out of noise. If facial recognition turns police onto a suspect who is then found to possess the stolen items, the latter is corroborating evidence that they've found the right person. If facial recognition turns police onto a suspect who then merely looks like what eyewitnesses remember, that part of the witness's recollection is inherently correlated to how the suspect was picked and so it needs to be disregarded.
Both bananas and potatoes are sources of potassium. Perhaps that's pertinent.

I don't know.

I know biofeedback is a real and useful thing and may account for at least some of what people dismiss as placebo effect.

But I'm not personally a big believer in that stuff being particularly significant medically. I think it's more likely that a ritual helps keep the mind focused on "I want this gone!" And that may subtly alter behavior in ways that support the desired outcome without the individual knowing exactly what they did differently.

Historically, some doctor had a track record of referring patients for an STD test (syphilis iirc) much earlier than usual and consistently being right. Rather than pretending he must be psychic or a magic voodoo witch doctor or some bullshit, they put two other doctors in the room with him to see if they could spot what he was seeing well enough to refer patients for testing without being able to tell you why.

This is how an earlier, subtler symptom was identified -- an eye flutter -- and that empowered other doctors to look for it too so they could refer patients for testing earlier as well instead of acting like he was all special and no one else could possibly do what he did. (Of course, earlier identification generally translates to better medical outcomes.)
Oh joy, Pluton is back.
> Structural unemployment happens when the skills of the work force don't match the needs of employers, so there is both unemployment and difficulty hiring.

Any study on why there would be this kind of mismatch in the tech industry? I'd imagine that tech industry is the most transparently competitive and least regulated sector so there should be a reasonable balance between the supply of skills and the demand. In addition, there are so much resource that teaches people all kinds of tech skills, so people should be able to move from one skill set to another if really needed.
This was very useful when I supported a German office... search up the settings you need in English!
Because there are two distinct areas:

1) Pushing a chatbot where you previously had a human chat is plain wrong, especially when it pretends to be human "Hi it's Lynda!"

2) Adding functionality to permit users to ask questions and receive relevant answers instead of reading the documentation as an option to the former might be a good thing if presented properly and implemented well (which almost never happens - what you get is an annoying popup that is practically useless half of the time)
Don't forget .NET, which simultaneously referred to an abstract machine runtime, an SOA strategy involving SOAP and XML, rebranded versions of Microsoft services intended to align with this strategy, and even Microsoft's centralized authentication service (called .NET Passport at first). It wasn't until later years that Microsoft associated the brand more or less strictly with the runtime.

Not to pick too much on Microsoft, Sun had previously done the same thing with Java, sticking Java stickers on anything and everything they could get away with. Arguably, it worked: Java was the buzz of the industry in the late nineties and table stakes for greenfield enterprise development in the early 2000s -- unless you were using .NET.
I recently got back into the Windows ecosystem, and I gotta say it's pretty nice. I'm excited too!
i would hate to be your neighbor, with all the rhizome grass from your monoculture lawn forcing itself into my yard
The correct response to this sort of behavior by law enforcement is sousveillance.

We as a society need to start coordinated programs of sousvaillance on law enforcement and any time they step out of line society can just spill some of their greasy secrets like which corrupt cop is cheating on their wife or whatever.

Do this publicly, name and shame and explicitly state what actions these individuals took that brought about this sort of reaction.

This is a start to correctly identifying and and modifying unacceptable behaviour from law enforcement.

[0] https://en.wikipedia.org/wiki/Sousveillance
If I were to have said "Microsoft will start adding ads and rental of Windows in the future" 20 years ago, I think I would have been laughed out of the forum I would have posted this in.

Is M/S trying to make people move to Apple ?

Actually a relative needed to get a new PC because Windows 11 would no work on the one he had. I told him to go to Apple and dump M/S. He did and so far is quite happe with it.
I just listed how. I stipulated it would make it safer from police, but then listed how other things would not be improved. I do not believe I wrote it in a confusing manner. You not willing to accept that improving on type of danger does not make all danger safe. By all means, move the needle, but don't paint with a wider brush than what the needle is actually moving.
> Moreover, in refueling ISS you can use something like a flexible bladder and pressure differential to simplify the job of moving liquid from container A into container B. But in the rocket-to-rocket case, you might be moving propellant from an almost-empty Starship into an almost-full depot rocket. In that case, you're trying to hunt around for liquid in an almost empty fuel tank, and push it into an almost full one.

> You can't use a bladder because Starship is too big, and it's hard to maintain a big pressure difference (unless you're willing to vent a lot of propellant in the process).

You just put a baffle in the tank so the volume with remaining propellant is small and close to full. Also eliminates sloshing issues that you'd need to deal with anyways.

In orbit fluid transfer is a reasonably solved problem, and there are many ways to do it. In addition to using bladders, you can also use ullage motors, centrifugal propellant settling, capillary tubes, etc. Cryogenics are harder because cryogenic pumps are just generally more challenging than standard pumps, but luckily the pumping requirements for propellant transfer are much less demanding than for engine restart - rocket engines need high flow rates and can't tolerate entrained gas, propellant transfer can use slower but more robust pumps.

I don't mean this to diminish the accomplishment of the engineers who spent quite a bit of time solving this problem, but rather to point out that people have been working on this for decades and have had significant success. Sure we haven't done a perfect 1:1 dress rehearsal in orbit where large quantities of cryogenic propellants are transferred between docked spacecraft, but we've done everything shy of that.
Yes, but what I’m saying is that you can also handle monadic types using try/catch syntax. Consider this imaginary language, the bastard child of Rust and Swift:

fn returnsAResult() -> Result<i8, Error> {
return rand(0,1) ? Ok(4) : Err(BadLuckError)
}

do {
let x = try returnsAResult()
} catch e {
print(e)
}

This language doesn’t exist, but it could.

Results are in-band errors where the error is a normal return value. Swift by contrast uses out-of-band errors.

Try/catch is one particular syntax for detecting errors. Match syntax is another. In principle there’s nothing preventing match syntax being used with out-of-band errors, even with Java-like exceptions. It would look something like this:

match (iCanThrow()) {
case 42 -> …
catch e -> …
_ -> …
}

I like this one less than the first one though.
I've posted about this several times and will try to find some of those links for you, but the short version is that posts on all sides of this topic get flagged quickly (by users), and mods turn off the flags on limited occasions—mostly when some significant new information arises and there's at least some chance of a substantive discussion about it. The current story clears both of those bars, so I've turned off the flags on it.

It's pretty important that most stories about this conflict and similar current affairs get flagged, because otherwise HN's front page would consist of little else, and that's not the purpose of the site. But it's also important the the topics not be ignored completely, even though they're painful. There's no happy medium here, unfortunately.

Edit: here are some links to previous explanations. If you (or anyone, of course) have a look at these and still have a question that isn't answered there, I'd be happy to take a crack at it.

https://news.ycombinator.com/item?id=39920732 (April 2024)

https://news.ycombinator.com/item?id=39618973 (March 2024)

https://news.ycombinator.com/item?id=39435324 (Feb 2024)

https://news.ycombinator.com/item?id=39435024 (Feb 2024)

https://news.ycombinator.com/item?id=39237176 (Feb 2024)

https://news.ycombinator.com/item?id=39161344 (Jan 2024)

https://news.ycombinator.com/item?id=38947003 (Jan 2024)

https://news.ycombinator.com/item?id=38749162 (Dec 2023)

https://news.ycombinator.com/item?id=38657527 (Dec 2023)
I hope gaming on Linux keeps getting better. I don’t see myself using anything beyond windows 10.
This can be combined with Grouped Query Attention or Multi-Query Attention for an even further reduction in the size of the KV Cache!
It seemed true before covid. When I lived there, a ton of special events and spur of the moment meetings just so happened to be a walk or short ride away from me. Nowadays, it still seems better to be there, but all things considered, I've decided not to.
Ask HN: Why do you all think that Htmx is such a recent development?
As far as I can tell, all the necessary tech was there in 2005, with ajax. So I am curious why it was developed after react, despite being so much simpler in concept/aligning more with how websites used to be developed before rendering on the client became that popular.
> But it all depends on the market share of ARM at one point.

Right thats kinda my point, unless I have missed it I have yet to see any real talk about ARM on custom built machines and I doubt gamers are going to give that up anytime soon.

Apple was able to force the transition to happen. I highly doubt Microsoft is going to risk actually dropping x86 from Windows on any reasonable timescale and there has to be something for ARM to x86.

Unlike when Apple announced that all of Mac was transitioning, there isn't a reason for a developer to think that anytime soon they can drop x86, so why complicate what they have now by adding ARM?
You're not saving money, controlling your own destiny sure. That's worth something, maybe even more than 6 million, but I was a SRE at Uber who had to be oncall for systems like this, believe it or not, people like me aren't free either :)
Well, in many places in the US, you already have both.
It's not the prefix-system per-se, but it is the fact that code and data are sufficiently similar that you don't have to context-switch when writing macros is very nice.

Your argument seems to be that Macros ought to be harder to write in exchange for being easier to use? What non-lisp macros are easier to use than lisp macros, and how?
>Looks like they're relying on system fonts instead of serving them over the web.

This is a good thing. Using system fonts means less bandwidth consumed, more privacy (presumably), faster rendering, and better consistency with the rest of the user's environment.

The only failure could be not serving a web font as a failsafe, but I'm not going to count that against them because I hate the idea of web fonts.

Edit: Actually, nevermind all that. Microsoft is serving Segoe UI as a web font in addition to referring to the system copy.[1] If that's not rendering properly, either Microsoft got the URL wrong or something is fubar on the browsers concerned.

[1]: https://blogs.microsoft.com/wp-content/themes/ms-blogs/style...
You'd still need an insanely large battery to move 240 tons, wouldn't you? I can't find any info on the battery capacity of this specimen.
Sounds like it could be almost livable if it weren't for the derechos and hurricanes.

Meanwhile, Austin and other parts of the triangle are building like crazy in low-lying areas and near floodplains with massive tract home developments.
Qualcomm makes the CPUs in most android devices, as well as VR/AR (e.g. Meta's Quest line). Qualcomm probably makes more CPUs (and GPUs) than any other vendor.

https://www.pcgamesn.com/intel/qualcomm-snapdragon-x-elite-b...
> Recall won’t work with every Windows 11 computer. You’ll have to buy one of several fresh new “Copilot Plus PCs” powered by Qualcomm’s new Snapdragon X Elite chips, which have the neural processing unit (NPU) required for Recall to work.

Well... unlocking the future of a small subset of PCs, at least.
> What will end up happening is they will make a wealth tax, companies will stay private and hide behind accounting for their income

That makes sense

> and it will shut off wealth building for many.

Can you elaborate on how would wealth building be shut off?
Ginkgo Bioworks Could Be Delisted by New York Stock Exchange
AntennaPod is my favorite podcast app. I use it for all my podcasts that have RSS feeds. Highly recommend
Didn't immediately recognize the name...

Dieter Rams (born 20 May 1932) is a German industrial designer who is most closely associated with the consumer products company Braun, the furniture company Vitsœ, and the functionalist school of industrial design. His unobtrusive approach and belief in "less, but better" (Weniger, aber besser) design has influenced the practice of design, as well as 20th century aesthetics and culture

...

Rams documentary

On 22 June 2016, filmmaker Gary Hustwit announced his documentary Rams and launched a Kickstarter campaign for the project. The full-length documentary features in-depth conversations with Rams about his design philosophy, the process behind some of his most iconic designs, his inspiration and his regrets. Some of the funds raised in the Kickstarter campaign also helped to preserve Rams's design archive in cooperation with the Dieter and Ingeborg Rams Foundation.

https://en.wikipedia.org/wiki/Dieter_Rams

(that said I get "Sorry Because of its privacy settings, this video cannot be played here.")
No. I literally said the opposite.

> Teflon changed their manufacturing process so it's made with polytetrafluoroethylene instead. So yes, pans made with teflon before 2014 absolutely due contain a toxic chemical.

Incorrect. Just because something is used as a chemical precursor in a manufacturing process, does not mean that it is present in the final manufactured product.

Teflon is an solid, non-reactive material. PFOA is a liquid acid. They are very, very different things. Even if manufactured Teflon contained any residual PFOA (it doesn't), it would be washed away the first time you rinsed the pan.
Thank you for this post. I feel like this is the correct answer.