skysight-inc/HackerNews huggingface dataset:
>"hey, maybe if you'd invest more in hobbies, social relationships and a healthy lifestyle you would feel better"

"Just saying" the above is not what CBT is, though. I've had a lot of CBT and other kinds of therapy, and I've never had a therapist just tell me "so don't do that", or "do more x".

It's about analysing your own thinking(cognitive) and actions/habits(behavioral) in cases where those are keeping you stuck in a miserable situation, and identifying what you can do to change them.

Sure, if you put the most inanely over-abstracted construction on it like "just live healthier and you'll feel better", it sounds meaningless, but the implicit assumption there is that's something you can just decide to do, and succeed in. That's not the case for many people, and those people can benefit from CBT.
In the post, they specifically talk about two points that seems to address some of your doubts

1. “We expect to have a more curated API that is informed by critical use-cases (e.g. linting, transforms, resolution behavior, language service embedding, etc.).”

2. “We also can imagine opportunities to optimize, use other underlying IPC strategies, and provide batch-style APIs to minimize call overhead.”

Anyway, I’ve used the compiler API a lot too, and I really enjoy its huge capabilities, making possible practically everything on the source code (EDIT: and hijack the build process too). I hope we won’t miss too much.
Eh, therapy can vary widely in quality.

And peoples lives can also vary in quality. If you're raised in a nest of narcissists it is likely you'll have a very skewed view on relationships and your idea of normal could be considerably different from the average and have negative effects on your social relationships. Sometimes you just need a 3rd party to tell you that's not normal.

Coming from a family of narcissists myself they quite adamantly stuck to the idea that therapy was a total scam. Though my observing their behaviors it is my believe they are really saying "Therapy is a total scam because they didn't tell me what I wanted to hear".
Sorry, no. I'm an indie developer so I wish I can make some money with it. It would be a fair price as I wrote on landing page, will less than $20/year.

But I can share the tech stack I use:

- WXT: the browser extension framework

- Vercel AI SDK. Both SDK core and SDK UI. I wrote a bridge that I can proxy the api request to background script which compat with the SDK streaming protocol, so that I can use the SDK UI.

- Next.js: for the landing page and the up coming cloud service (e.g. prompt sync)

- Strapi: headless cms.
What you're describing is endemic across HN (and tech, tbh). Lots of people on here "know" computers/programming/CS very well. They, naturally, tend to use analogies to computers/programming/CS when trying to explain or "think out loud" in their comments. That's fine. It's what they know. The common problem arises when people forget they're analogizing and begin to see their analogy as ontologically and conceptually identical to the thing they were making an analogy for. This requires a certain amount of ego, echo chambers, and self-valorization, so that they never have to face the actual issues with these analogies.

But as many comments here have pointed out, studying neuroscience, for example, usually makes those analogies seem painfully inadequate. The same is true in philosophy of mind, for example.
That's really the best, when not even intellisense can help you.
I'm sorry no, you should spend some time actually understanding the industry.

JAXA builds a tiny amount of rockets, almost exclusively for their own use. They have never been a significant player and its very unlikely that will change anytime soon.

Its pure fantasy to suggest otherwise. And even if they could reliably hit these prices at commercial launch scale, Falcon 9 could easily lower their prices if real competitors actually existed.

If H3 was such a dynamic thread as you suggest, why did Amazon not buy 100s of launches from them. They bought launches from every SpaceX competitor, but not Japan.

> I don't know what India or China charge for foreign customers, but is it really reasonable to expect worse deal than Mitsubishi from them? ...

China isn't really relevant. Western stuff is just not going to fly from China.

India used to do more commercial stuff, but SpaceX Rideshare is far, far, far more popular.

The reality is, India large rockets, like Japan, is mostly build for their own program, they don't really have that much access capability.
AI: Does your business have needs related to 'words' or 'numbers'?
No ordinary person would interpret your original comment this way. _aavaa_ was correct: "A leak implies an unintended or unwanted behaviour."

If producers are intentionally venting off the methane, it isn't leaking, it's being released.

> A leak is a way (usually an opening) for fluid to escape a container or fluid-containing system, such as a tank or a ship's hull, through which the contents of the container can escape or outside matter can enter the container. Leaks are usually unintended and therefore undesired.

https://www.wikipedia.org/wiki/Leak
Sad that GP's wit was lost on you.
Don't get me wrong: as a piece of advertising, this is one of the few I would be willing to watch again. On the other hand, I am left asking: what is the point? It is not as though there were many venues where you could enjoy the vibrance of it. It certainly looks better on my modern monitors than on my Bravia TV of that era.

As for children, I would be strongly opposed to showing a child that commercial. It isn't hard to imagine them trying to haul buckets of bouncy balls to the roof after being ... inspired.
Agreed. Google isn't aggressive enough to productize many of their ideas and their existing products feel like they're developed by N different companies with no unified experience.
The article links to another news article which links to http://dx.doi.org/10.1038/s43856-025-00775-0 which says:

> For IHM risk prediction, we utilized the LSTM model, CW-LSTM model, transformer, LR, AdaBoost, XGBoost, and random forest (RF) models. For 5-year BCS prediction, we used MLP, AdaBoost, XGBoost, and RF models.

All of those acronyms are obsolete machine learning techniques from prior to the current trend of large language models. In other words, this paper is not reporting that any actually-deployed AI is failing, it's reporting that a group of researchers tried to build an AI for evaluating health, but failed to do so.
I think the author's main point is that it's product revenue is flat (iPhone) or dropping (all other products), in comparison to (I guess) other tech companies that are still growing.
You might consider mirroring the (legal) BitTorrent releases of your favorite Linux ISOs or something to that effect. I personally mirror several OCRemix BitTorrent releases [0] including the big 4K archive.

[0]: https://bt.ocremix.org/
I am personally finding Claude pretty terrible at C++/CMake. If I use it like google/stackoverflow it's alright, but as an agent in Cursor it just can't keep up at all. Totally misinterprets error messages, starts going in the wrong direction, needs to be watched very closely, etc.
> Costs are largely meaningless

Costs are never meaningless when you're talking about technical projects that cost billions of dollars.

> trust with spacex is gone for good.

Sorry to pop your bubble, but they launched 134 rockets with payloads last year and they all made it to their orbits successfully except for one of their own starlink payloads. This is more than 90% of all launches that occurred last year.
I grew up in front of a TV, I don't want that for my kid. Sometimes we can't avoid it and we're not avoiding it altogether with our kid, but I can definitely notice the negative effects.
Interestingly, the main article mentions Bill Thurston's paper "On Proof and Progress in Mathematics" (https://www.math.toronto.edu/mccann/199/thurston.pdf), but doesn't mention a quote from that paper that captures the essence of what you wrote:

> "The rapid advance of computers has helped dramatize this point, because computers and people are very different. For instance, when Appel and Haken completed a proof of the 4-color map theorem using a massive automatic computation, it evoked much controversy. I interpret the controversy as having little to do with doubt people had as to the veracity of the theorem or the correctness of the proof. Rather, it reflected a continuing desire for human understanding of a proof, in addition to knowledge that the theorem is true."

Incidentally, I've also a similar problem when reviewing HCI and computer systems papers. Ok sure, this deep learning neural net worked better, but what did we as a community actually learn that others can build on?
Is that true by default for Chrome?

Safari does use different types of encryption for open tabs and history vs. bookmarks (the former E2E, the latter depending on whether the account is using ADP), and I believe Firefox is completely E2E (based on the Mozilla password) by default, but I can't find a description of what Chrome does in details.

Specifically, enabling Chrome's end-to-end sync encryption opts the account out of history sync. I can't think of any reasonable explanation for that other than Google wanting to discourage its use.
Their products are too reliable. My M1 MacBook is still going great after 4 years. My iPad Pro from 2018 is showing its age, but still has another couple of years of life left.
Elon Musk's Self-Destruction
Surprised that gpu accelerated databases are not a bigger thing, for example ive never even heard of PG-storm in the wild nor does it implement a sorting algorithm like onesweep iir
My take is a bit different. I only have a math undergrad and only worked as an AI trainer so I’m quite “low” on the totem pole.

I have listened to colin Mclarty talk about philosophy of math and there was a contingent of mathematicians who solely cared about solving problems via “algorithms”. The time period was just preceding the modern math since the late 1800s roughly, where the algorithmists, intuitivists, and logical oriented mathematicians coalesced into a combination that includes intuitive, algorithmic, and importance of logic, leading to the modern way we do proofs and focus on proofs.

These algorithmists didn’t care about the so called “meaningless” operations that got an answer, they just cared they got useful results.

I think the article mitigates this side of math, and is the side AI will be best or most useful at. Having read AI proofs, they are terrible in my opinion. But if AI can prove something useful even if the proof is grossly unappealing to the modern mathematician, there should be nothing to clamor about.

This is the talk I have in mind https://m.youtube.com/watch?v=-r-qNE0L-yI&pp=ygUlQ29saW4gbWN...
How Engineering Teams Are Using AI
The follow up ad was impressive, too. Although I'm not sure what why there's a clown in the middle of it.

https://youtu.be/G5tLqb8T5xU
Project Hail Mary - Andy Weir

The sun is dying. A capable team is assembled and put into cryosleep in an automated ship for a journey to a neighboring star system to try to diagnose the problem. Only one member survives, and they have amnesia.

The novel does a great job of explaining the process of troubleshooting under pressure and with incomplete information.
Slightly off-topic, but why is it still referred to as "Google" and not "Alphabet"?
does that mean you think the issue is the IDE code itself and not all the calls to the AI models?
> People said the same thing about Bell Labs and they were profoundly wrong.

They were profoundly wrong, but not about Bell Labs' ability to create value from their research. That, they were absolutely dead-on about. AT&T and Bell Labs were absolutely awful at reading the room about what their technology could do and how it could be monetized.

Some of that was just packaging things the right way, and some of it - like charging absolutely insane license fees for UNIX in the 80s and 90s during the beginnings of the personal computing revolution - was because of lazy execs who didn't want to really put in any effort. Either way, I'm not using a Bell Labs LabsBook Pro to write code for a UNIX OS, and I'm not using Bellgle to search for information. AT&T ultimately thought the best way to create value from Bell Labs was to sell that division.

We're in a long, hot AI summer, but we've had winters too. Who knows which hemisphere they're in at Google right now.
In the narrow case of zero day vulnerabilities perhaps, but a good ad blocker is part of any reasonable security posture and is key to avoiding exploitation in practice.
Problem is that any sort of non-trivial robotics is easily weaponisable
https://en.wikipedia.org/wiki/Carl_Lundstr%C3%B6m

https://english.sta.si/3403646/pilot-killed-in-velika-planin...

https://www.expressen.se/nyheter/sverige/carl-lundstrom-dod-...

https://www.assarchristian.se/p/carl-lundstrom-har-lamnat-os...
Try out Rectangle. You can set keybinds to match what you're used to.
An all-timer for me as well! So much strange magic in there. No game before or sense has quite that vibe. Maybe a product of it coming out at just the right time.

"Do you remember... that day?"

"The day it snowed?"

NO! The day I got it right as it came out. A Friday after school and I played for like 4 hours straight. Yes! I remember THAT day!
Everything you need to know about MCP
Yeah and even Gemini only seemed to come about because OpenAI forced their hand and gave them a product vision to follow. If OpenAI didn't exist I bet Google would still be fumbling over how to make a product out of transformers.
For the most part that's been on known objects, these are objects it has not seen.
> Above certain power requirements, you essentially need the power generation to be onsite.

Is this due to transmission losses or just because you couldn't feasibly build enough capacity cables to transmit large amounts of power over long distances?
That's not what loss leader means.
Well that's ANOTHER oddball, semi-forgotten, great game!
I'm not actually a fan of make, I think mk is a much better language, but everything is relative. I still prefer make over any meta-build system or garbage like boost jam. In my experience the problem of modern codebases is that they're structured like crap in the first place. Too complicated and for very little real reason. OP's codebase is actually trivial, so the problem doesn't really exist. It would be trivial to adapt it to use msvc, but if you have make on windows, chances are you already have gcc so there's not much point unless you REALLY want to use microsoft's compiler.
> SIMD operations are contant time, since the whole vector needs to be computed

Is that actually guaranteed? Having to do the whole vector doesn't necessarily mean the time can't vary for different values for complex operations. (like division)

I can't find the details, but https://gleissen.github.io/papers/iodine.pdf at least mentions "Dually, if timing variability is unavoidable, e.g.,
in SIMD or floating-point units, making this variability
explicit can better inform..." so it sounds like simd is at least situation specific here.
It is. FDA requires manufactures to display UDIs in packaging (or devices themselves) in human and machine readable format. But hospital IT systems are not set up to capture this information and they have no compelling (i.e. financial) incentive to invest in the IT system upgrades and operational changes needed to capture this information. You would think better inventory management would be enough of a selling point, but apparently not. I am convinced that it will take government interventions - like CMS requiring UDIs on reimbursement forms - to get it done.
Was thinking the same thing. In some ways OpenAI is the Apple to Google's Xerox.
> simple type checking becomes undecidable

Where can I read more about this?
I’m not familiar with that paper but it would probably be best to compare speeds with an unoptimized transformer decoder. The Vaswani paper came out 8 years ago so implementations will be pretty highly optimized at this point.

On the other hand if there was a theoretical reason why text diffusion models could never be faster than autoregressive transformers it would be notable.
Java Is Fast, If You Don't Create Many Objects (2022)
Everyone is always guessing about everything. I try not to combat too many universals.
I'll have to try to find a video of the HOPE presentation where I first heard about SS7 and how riddled it was with known vulnerabilities, my jaw hit the floor.
FPGAs are very expensive, so a TPU that implements the most important algorithms might be so much cheaper because the design cost can be amortized on the huge amount of required chips.
I took the GP for asking why there might even be differences in the first place, and answered that question directly.

The question as to whom it might impact differently and in what way takes a critical survey of research, of which much has been done. With the output of that research being contentious and hotly debated, I have no interest in trying to summarize that here even if it was what I read the GP to have asked.
I’ve worked in tech my entire adult life and boy do I feel this deep in my soul. I have slowly withdrawn from the higher-level tech designs and decision making. I usually disagree with all of it. Useless pursuits made only for resume fodder. Tech decisions made based on the bonus the CTO gets from the vendors (Superbowl tickets anyone?) not based on the suitability of the tech.

But absolutely worst of all is the arrogance. The hubris. The thinking that because some human somewhere has figured a thing out that its then just implicitly known by these types. The casual disregard for their fellow humans. The lack of true care for anything and anyone they touch.

Move fast and break things!! Even when its the society you live in.

That arrogance and/or hubris is just another type of stupidity.
So how much GOOG have you bought?
Did you read the first or third sentence in point 1?
Linear Logic: Par, a Friendly Explanation
An accessible introduction to the infamous Par operator, with a focus on intuition. Notably, this is on the broader concept of multiplicative disjunction, which appears even outside of linear logic!
> Gives another dimension to being 'in tune' with someone.

Love this.

> I think the clinical shift to focus on 'the individual' instead of the ensemble has overlooked the importance of inter-brain synchronisation

My sense is this is also the case for our cultural story of neuroscience. We can run massive analysis of the brain and what brain regions or neurons or transmitters are being used/activated and it all boils down to something we can't conceptualize. Even the principal components seem to be too complex for us to grock.

With this barrage of complexity I feel like we have a (bad but understandable) habit of reducing to the individual. We talk about the grandmother neuron or what region x is responsible for. We harp on the cog sci of individuals and we run experiments where we try to isolate them for "confounding factors" (other people).

I keep coming back to evolutionary theory as the middle ground between this over and under simplification of cognition.
> This quest for deep understanding also explains a common experience for mathematics graduate students: asking an advisor a question, only to be told, "Read these books and come back in a few months."

With AI advisor I do not have this problem. It explains parts I need, in a way I understand. If I study some complicated topic, AI shortens it from months to days.

I was somehow mathematically gifted when younger, sadly I often reinvented my own math, because I did not even know this part of math existed. Watching how Deepseek thinks before answering, is REALLY beneficial. It gives me many hints and references. Human teachers are like black boxes while teaching.
Also, un-fun fact and coincidence... Peter Bright, formerly of Ars Technica and arrested for Child Enticement, had the nickname of "Dr. Pizza" on the Ars forums.

I wish I was joking.
I think the more critical thing is an open UI protocol.

Let me explain - imagine generative AI is good enough we can just generate a UI on the fly. Take to its extreme every user can have a personal block of UI components catered to their preferences (dark mode, blue color scheme, bigger fonts etc). Then instead of every business designing their own UI for their website they just send over the information and the UI is compiled for every user baed on their own personal set of blocks.

We would very quickly need to have some sort of standard protocol to make this work. I think that would be a way more efficient world because companies can focus on the content and not on tweaking design. And every user has a lot more control over their user experience.

Of course a lot of companies may want to control the experience themselves so maybe its not one way or the other but a good chunk of websites cna use this pattern and in time it may actually become an advantage as users expect you to follow this UI protocol.
> What didn't work about the remaster or was it just a matter of shattering the illusion of your memories?

At the time it was a unique, first of it's kind, game. Now there have been a lot of advancements since then so I didn't have the same "Wow" feelings of just being in the world. But the nostalgia still hit me hard and it still has a special place in my heart.
I suspect that if a nuclear war brings humans to extinction tomorrow, this project could be looked at by hypothetical aliens, visiting our planet in the future, as the "Antikythera mechanism" of our times. (well.... if we can trust the video)
Says who?

Just because that's the easiest solution if you already have the data unencrypted on the server side doesn't mean it's the only one.

> What benefit does the service bring?

It allows synchronization between clients, online collaboration, and serves as an automatic backup. That's basically everything I want from most document cloud services!
There's a lot of fun stories about transforming robots but people tend to age out of them.
Iain M Banks - Culture novels.

Strong warning: Start with either book 2 (Player of Games) or book...7, Look to Windward.

I strongly suggest you skip book 1 until you're comfortable with the rest of the books that focus on the Culture itself, and not some weird offshoot story that barely involves the Culture.
Yale Suspends Scholar After A.I.-Powered News Site Accuses Her of Terrorist Link
Any idea how long Experts should take to import/index data? I pointed an expert at a big directory of source files on a M4 iMac with 32G RAM, and it pinned a CPU at 100% for 24 hours but was not finished.

A single file seems to finish quickly, but folders (even with just a few files) seem to be very slow.
> show me something early or I'll move on.

Tbh. you probably should, you are not the target audience, they aren't trying to sell you anything this isn't "for you".
Yeah, it's good economically in the sense that it's still near top of market, due to having a large-ish existing economy (even if aspects of said economy seem fundamentally whack).

As in: if you want something at decent quality you can pretty much get it pretty easily with a bunch of options (assuming you can afford it).

Caveat - not necessarily the top of everything for all markets is available, but overall stuff is still around -- even as some things are disappearing from the area.

In contrast, other places are just poor, and you "cannot" find as large a variety of lots of goods and services, I imagine. But I could be wrong -- I'll check my assumptions. Thanks.
I'll occasionally do quarters. Especially half on one side, two quarter-windows on the other, for a 3-window arrangement. On Mac.

My key bindings are a little different because I use the defaults in Spectacle to do it. More than a decade like that. Program's discontinued but still works and has never given me so much as one problem this entire time, so I'm going to keep using it until it stops working.