skysight-inc/HackerNews huggingface dataset:
It's also my field. One clarification I would make is, I think, foundational. The amyloid research that was famously falsified was not the mainstream "amyloid hypothesis" research. It was a very niche subset, as GP described.

As for people feeling shut out of funding: people feel a lot of things all the time, but I've never seen a good idea be repeatedly denied funding because it wasn't amyloid-primary. Unfortunately, it's usually a lack of rigor, lack of pertinence, lack of preliminary data demonstrating plausibility and feasibility, or some combination. Not always--there are big money and prestige politics going on all the time, but that has nothing to do with amyloid.

To add another nearly useless data point, my lab and those I collaborate with focus on amyloid as well as tau, alpha-synuclein, TDP-43, microvascular changes, and inflammatory contributions. Metabolomics, proteomics, and transcriptomics are other big systems biological approaches. Not to mention social determinants of health, which are also massive.

All that said, I'll read the book, but the "daring journalist finds a crew of whistleblowers" framing strokes me as either ignorant or disingenuous. Off-putting either way, as we face major cuts to public funding of health science, which has overall been an extremely generative and sustainable model for improving national and world health.
The NSF funding last year was $9B. Cutting it will stop the US from continuing to have a growing economy in ten years. That’s stealing trillions from our children.

Look at the republican budget. They’re adding $85B a year for better border security; half of which is to deploy the US military inside the US. The other half goes to the national guard and customs and border patrol. So, for every dollar they cut from the NSF, they’re spending $10 to deploy troops against American civilians.

For every one of those dollars, they’re handing $10 out in tax cuts for the ultra wealthy.

This is being paid for by cutting medicare, which we will all rely on, assuming we somehow manage to live through the inevitable pandemics, natural disasters, economic collapse and wars this jackass is going to start.
Are you aware:

1. That PgSQL also has issues in jepsen tests?

2. of any distributed DB which doesn't have jepsen issues?

3. It is configurable behavior for MongoDB: can it lose data and work fast, or work slower and do not lose data. There is no issues of unintentional data loss in most recent(5yo) jepsen report for MongoDB.
That was an interesting talk, thanks for sharing.
How does it stack up against Grok3? I've seen some discussion that Grok3 is good for coding.
> There’s something about talking to an AI that just always feels wrong.

That the potential for scams and emotional manipulation seem much higher than any "positive" use cases
I remember seeing a small patch at the top of The Peak that should do the trick
AI voice is like AI art. I am sure many people will appreciate it and love it.

But the whole point of this medium is that you want the humanity and personality. Otherwise just use text.
Why Airlines Aren't Supermarkets
I sort ratings by worst but look at the reason. If the 1 stars are "the waitress was rude", then that's fine. I'm there to eat. I don't need them to flatter me. If the 1 stars are "the food smelled foul and I saw them mixing leftover soup back into the pot", I know to avoid it. I've seen both of these types a lot.

And I also do a quick sort by newest. If all the newest reviews are tourists, I know to steer clear. Tourists will give a convenience store egg sandwich 6 stars out of five. They'll write a full-on essay about the fine experience they had at a restaurant and saying it's obvious the chef put lots of care into the meal, not realizing it's a local chain restaurant that just pops things in the microwave. Then they'll take off 2 stars at a good place because the chef couldn't make them a gluten-free, rice-free, beef-free, soybean-free chicken burger (also, they have deadly poultry allergies so they can only eat chicken substitutes). I also see loads of these types of reviews.
From my experiments with the Deepseek Qwen-32b distill model, the Deepseek model did not follow the edit instructions - the format was wrong. I know the distill models are not at all the same as the full model, but that could provide a clue. Combine that information with the scores, then you have a reasonable hypothesis.
I wonder if the ads are still visible when you're fuming with rage.
Was it Lockheed who simply ran a regular marketing campaign for NGAD and then later scrubbed references to it
DigiCert's legal threat, while obviously biased towards DigiCert, gives some context: https://bug1950144.bmoattachments.org/attachment.cgi?id=9468...

For further reading, consider these two incidents which resulted in delayed revocation from DigiCert and a bunch of comments about how DigiCert should not be allowing delayed revocation:

- Incident report https://bugzilla.mozilla.org/show_bug.cgi?id=1894560, delayed revocation report https://bugzilla.mozilla.org/show_bug.cgi?id=1896053 - incident due to the issuance of some certificates with incorrectly-capitalized phrases in the certificate's Business Category field; baseline requirements require revocation within five days but DigiCert dragged that out much further

- Incident report https://bugzilla.mozilla.org/show_bug.cgi?id=1910322, delayed revocation report https://bugzilla.mozilla.org/show_bug.cgi?id=1910805, DigiCert information page https://www.digicert.com/support/certificate-revocation-inci... - incident due to incorrect CNAME-based domain validation (failure to check that the CNAME started with an underscore); baseline requirements require revocation within 24 hours but DigiCert was stopped by the TRO and revoked after five days.

Essentially, DigiCert has been delaying the revocation process (twice now) and people are unhappy about that. DigiCert has apparently attempted to silence those unhappy people (Sectigo and their representative Tim Callan) with legal action.
The NRO doesn't need this thing to lift its birds into orbit. Keyhole satellites have gotten rides on Deltas and Titans, so probably going to be sticking their thumbs out in the direction of SpaceX pretty soon.
Ask HN: Helppp Reddit account problems and there's no way to get help
I have been facing this problem for a long time now. Just few minutes after creating the reddit account, it keeps showing that there is some server error(on the web). And my profile is no longer visible. Can't update my profile settings. Anything I post is not visible to anyone. I tried reaching out for help, but reddit's helping system is weird. I need to post in subreddits for help. Like my posts are not even visible, so posting it i donno if it will help. But I still did post. And didn't get response. I tried deleting the account and created new accounts. But the problem remains. I emailed them but no response as well.
What should I do?
So, you can't necessarily do that because video is compression, and compression means not predictable. (If it's predictable it's not compressed well enough.)

That means you have to stick to inside the current block. But there are some tricks; like for an IDCT there's a previous stage where you can rearrange the output memory elements for free, so you can shuffle things as you need to fit them into vectors.
Small discussion (11 points, 7 days ago, 8 comments) https://news.ycombinator.com/item?id=43083297

Smaller (19 points, 15 days ago, 3 comments) https://news.ycombinator.com/item?id=42991887
See answer above, it's something I want to get into. I am inspired by this post on Reddit, it's very cool what this guy is doing.

https://www.reddit.com/r/LocalLLaMA/comments/1i1kz1c/sharing...
Show HN: Built EvoAI.Tools MVP – AI tools platform
I built the MVP for EvoAI.Tools in just a week – an all-in-one AI tools platform! It's live now, and I'd love to hear your feedback! What features are missing? Any ideas for improvements?
Congress has authorized it: civil rights laws make schools ineligible when violated, and Trump is claiming various programs violate those.
Pedantic nitpick: he didn't find a linear correlation.

Let x=[-5..+5] and y=[25,16,9,4,1,0,1,4,9,16,25] (that is, x²). The Pearson correlation coefficient, R², will be zero. We know that y is dependent on x, but isn't linearly dependent.
Unfortunately it's not sufficient. Facebook tracks you from bits of js embedded in many (you have no idea) pages you visit nowadays.
I really feel this, and I wonder whether it's us humans trying to reaffirm our higher reasoning, or whether it's a regression to trying to recapture a simpler age.
I appreciate the moral support from someone on the private research side. Politics aside, we all tend to value the common goal of improving population health, even if egos are tempted by perverse incentives.
“The executive power” means “all the executive power,” in the same way “the judicial power” in Article III means “all the judicial power.” Or do you think the other branches can properly exercise some judicial power? Advice-and-consent isn’t an exercise of executive power, it’s a check on executive power, just like impeachment.

Sure, Congress can change or clarify the mandate of an agency, and the President must go along with that. But what we’re talking about with Trump is accountability for individual employees and the discretionary conduct of executive branch employees.

For example, Congress has appropriated $1.7 billion for USAID operations, “for purposes of the carrying out the 1961 foreign development act” (paraphrasing). I agree the executive must ultimately spend that money within the broad mandate of the appropriation. But do you spend that money on DEI in Serbia or pro-natalism in South Korea? Clearly the President should be able to decide that.
Haha - until reading this I thought it was "restaurauteur" like a control-freak film director who makes food. Since most restauraunts don't end up making money it could more appropriately be "restauramateur".
Thanks for the feedback!
It is possible to use an external dictionary tool to speak via the clipboard, but it seems difficult to support many languages.
It would be easy to implement using Microsoft UWP speech API, but there may be quality issues.

I will research if there is a good quality playback method locally, Thanks.
When I use it, I mean it the way stackexchange says it is meant
You say Buck Rogers, but I hear the Muppets with Piiiigs in Spaaaaace!!

https://www.youtube.com/watch?v=EmI77ZBeJrQ
I was always told that Fives Eyes was about each country watching the others backs by doing spying on their citizens that countries couldn't do internally. I remember there was that MP in NZ who was blocked for CCP connection by the US IIRC.
I think many of the negative comments in this thread haven't seen recently the human-machine interactions of the young generations with Siri and her chatbot friends.
Those companies are always ready to defend themselves in court, and this is a country with extremely strong free speech rights.
Microsoft CEO Admits That AI Is Generating Basically No Value
Wtf is “clood”?
My take as undiagnosed ADHD in constant burnout to just self sustain.

You are NOT ALONE. Adults barely manage to stay alive, just mask better. Your parents and ex colleagues too.

Get a therapist, realise that your ADHD is actually you, get better with it, treat it as you would your dog friend.
Find another job asap, doesnt matter if you like it.

Produce any kind of art, follow inspiredtowrite on Instagram. Accept a virtual hug from me and everyone in the world that barely copes.

We are not all alphas, and it's a lie that you have to.
It's not unique to the US but there are factors that accelerate the lack of ability to freely be around people.Some a unique-ish societal problem (declines of US malls while EU is fine)
. And part of that is indeed cultural attitude.

>Do you really stop seeing a friend because they can’t afford to go places?

On a personal level, it's because I was traditionally the one planning get togethers, and then life got rough and I just planned less with no one to step up. Maybe they are also on hard times, maybe they had other groups they prioritized. Hard to tell.

I still try to at least check up once and a while remotely, but I do miss those times.
gRPC?
>You talk about Amiga computers so much that I'm pretty sure your brain still runs on Kickstart ROM and requires a floppy disk to boot up in the morning.

excuse me, we boot from compact flash these days

>Your comments about modern tech are so critical that I'm convinced you judge new programming languages based on how well they'd run on a Commodore 64.

ouch
Finding your friend on a uniform sphere
> Microsoft quietly launches free, ad-supported version of Office apps for Windows with limited functionality

Is this beside the non-free, ad-supported version?

(Okay, I'm assuming, based on my last experience with a paid Windows 11, which just kept pushing ads into my face)
Success really depends on the pool you're drawing from. A public open invite on FB is one of the hardest approaches. Kudos to the people who can pull it off.

The easiest for me was using my city's discord server as a launch pad for running book clubs, coffee meetups, and hikes. After a few successes, it's easy to gain a reputation for making things happen and it sort of snowballs from there.
Not at all, super appreciate the discussion and your detailed read!

> what I'm asking is whether you envision your future as one of ("eh, it's good enough", "we're integrating more libraries that attempt to formalize IAM", or "we'll roll our own policy engine in python, how hard could it be")

It's a combination of 2 and 3. Today we use the policyuniverse library for things like s3 bucket-policies, and we have that self-rolled policy engine described in that blog post I shared. I should've mentioned earlier that this is the first time I've seen IAMSpy, thanks for sharing.

I think we're currently pretty good at permissions evaluation since that feature gives lots of value as it is, but there is a lot more to do. Continuing to improve this and being able to connect that with other data is a priority since it's one of our main value propositions.

> there is a massive opportunity for expectations being out of alignment unless you have a plan to get from where you are to Industrial Grade Introspection.

Industrial Grade Introspection is absolutely the plan. I'll also add that we're especially interested in highlighting cases that involve permissions that go between providers - like Okta->AWS, Opal->AWS, etc - and we intend to be very competitive here.
Now. It’s amazing to me that everyone is like fuck OpenAI deepseek is the savior, when OpenAI’s papers and code jump started an AI revolution just a few years ago. Let’s wait the same number of years and see what deepseek does.
"It's not object oriented programming" is only a good case to make if you think object oriented programming is synonomous with good. I don't think that's true. It's sometimes good, often not good.

Why would focusing on OO be a goal? The goal is to write good software that can be easily maintained. Nobody outside of book writers are shipping UML charts
Agreed, but to some degree relying on a simulator means it can no longer evolve truly novel solutions. No simulator would have accurately simulated many of the effects it was leveraging in the lab. Essentially you would only generate efficient uses of concepts we already know how to model / engineer well. Using the setup he used, it can generate things we don't understand well and can take advantage of. Or begin to study better.

That's was truly interesting about it to me.
I had the same thought. Still, perfect or not, I bet it'll be an attractive option for some.

I guess our gmail content has been fed into an AI of sorts since many years ago. I would surely hope, however, that Google would not use it for any sort of non-private LLM training data.
One step solution, delete your account.
Libreoffice it is!
I'm pretty convinced that voice interaction will be the biggest UI change since apps.

Voice is simply natural to humans. Downloading an app to learn about the departure of the next bus is not.

I used voice bots to let my 5-year-old play role-playing games (e.g., checking into a hotel) or let my parents (60+) call a fake car dealership.

It's amazing to observe. They behave as if they're talking to a human, especially when doing it via a phone. That is exactly the UX a computer system should have—simply a phone number and voice.

As soon as people have to learn something new (a new webpage, a new app, etc.), something is wrong.
imagine if noah had this during the deluge mtsm
> And your point about immunity is misinformed. The Supreme Court held that the President has immunity for official acts.

We'll have to agree to disagree here. You'll never convince me that a phone call from a candidate trying to convince someone to "find" extra votes is an official act of office. Nor is assembling a league of fake electors because the official ones will not bend the knee
(I think Sectigo's argument is that Digicert did not even attempt to convince the court that it should be allowed to revoke those certificates in the mandated timeframe. If they had attempted and failed, I don't think they would be receiving criticism.)
Roo Code 3.7 – Yes, we support Claude Sonnet 3.7
For those of you who are not familiar with Roo Code, it is a free 'AI Coding Agent' VS Code extension. Here are the latest release notes!

Sonnet 3.7 shows notable improvements in:
- Front-end development and full-stack updates
- Agentic workflows for multi-step processes
- More accurate math, coding, and instruction-following
Sam is busy with his new kiddo
The Efficiency of Vim
Maybe it's just that, you're so hard on yourself, you don't have space for healing. This is really a transformative period for you, take it as it is. Things will turn.
Gibellula: Parasitic fungi which attacks arachnids
> What should I do?

Stop trying. They don't want you, and it's unlikely to change by registering again and again.
Got to pay someone to do the catching. We all do these reviews for nothing! Manuscript peer-reviews, and yes, even the major NIH study sections that review numerous grants every submission cycle.

I agree that the toothpaste is out of the tube here. But do the mods have to fix the reddit community? If HN gets out of hand, is that dang's fault?

For most of us it's a thankless job full of many uncompensated and thankless tasks, but we do it for any number of reasons. Most academic scientists I meet are capable and (mostly) driven by a desire to uncover knowledge.
doom via phobe better than doom via grass though :(
Notions of Stack-Manipulating Computation and Relative Monads (Extended Version)
Let's Encrypt has been around for a decade and is doing pretty well for itself. The manual validation required for EV and OV certificates precludes it from being a passion project, unless managing a call center and a squad of document reviewers is your dream job.
Note that Clinton balanced the budget while also funding stuff like the NSF. His term ended with the dot com boom, which was clearly a long term win for the US economy.
> We haven't figured out how to integrate this into everything yet.

Maybe we don't need to. The world is fine without a sci-fi chatbot.
What is the correct action when a TRO says a company cannot revoke the cert? Is it that the company will delay revocation, but will push the judicial system to resolve the issue as fast as possible?
I think my ip has been banned or something. Even though i've done nothing wrong. didn't break rules as well.
First, I can't listen to this article so this makes their point kinda less relevant.

> It is the most frequent (and information dense)

Second, this is false. Voice is effective when the sensory context is available to both people, e.g. in the dinner table where "pass the salt" makes immediate sense. Otherwise it is an erratic form of communication, prone to misunderstanding, often repetitive and redundant.

It is not more information dense, but it is the most immediate. The latency of AI applications makes its immediacy less useful.
I'm reading your comments, and I care :) 'cause we still got empathy and connection, and it's a gift. Don't believe the American self-built ideology. We are a mass of chimpanzees lost in an ocean of stars! *
I blog solely for my own memory. If people find it interesting, ok, but it's because I forget stuff and then will go somewhere thinking it's interesting only to recall I did this already. If no-one ever reads it, it's not really a worry.
paywall with a paypal button
I should note that in Latin the masculine agentive suffix is definitely -or. It may look like -tor, but that -t- is actually a separate element marking the perfect passive participle form. (From which agent nouns are derived.)

Most verbs have a passive participial form that includes the -t-, but in some it's been swallowed by an S. The only example that comes to mind is missus [sent], the passive participle of mittere [send]. The modern French verb is apparently mettre. I guess if the agent nouns are formed from that root, they should be metteur and mettrice? But if they descend from Latin, the masculine form might not use -tt-.

I feel pretty safe in saying that "sender" would be missor in Latin - it's an attested (though "very rare") word - but I have no instinct for what the feminine form would be. Missrix just doesn't feel right.
any thing that leads to or could lead to decentralization will be exterminated smh zuck
NASA Gives 'All Clear' for Asteroid That Seemed to Threaten Earth
It isn't available over api yet, as far as I know. So it can't be really tested independently.
> For extreme performance, we discover and use an out-of-doc PTX instruction: ld.global.nc.L1::no_allocate.L2::256B. This instruction will lead to an undefined behavior: accessing volatile GPU memory with non-coherent read-only PTX modifiers .nc. But the correctness is tested to be guaranteed with .L1::no_allocate on Hopper architectures, and performance will be much better.
> For enterprises, AI directly replaces human labor with technology. It's cheaper, faster, more reliable — and often even outperforms humans.

That’s… quite the claim. I guess we’re picking the worst people, the best voice-based AI, the easiest of scenarios, and a total desire for humanity to remove other human from interaction.

Pretty dark and sinister if you ask me.
> Congress hasn't approved DOGE.

In 2014, under Obama, the United States Digital Service was established with by Congressional appropriations with the mission to "deliver better government services to the American people through technology and design" and in 2025 it was renamed to DOGE.

Have you considered that it might have been renamed DOGE for the same reason that Tesla car models spell out the word SEXY? The mission has not changed very substantively. The order directs them to modernize federal technology and software to maximize efficiency and productivity.

[1]: https://en.wikipedia.org/wiki/United_States_Digital_Service

[2]: https://www.govinfo.gov/content/pkg/FR-2025-01-29/pdf/2025-0...
He probably meant enshittification industry employed programmers.