codekilla

Thanks for the reference. Have you ever worked with Maude? Curious what the advantages of one over the other might be. Maude seem like it might be more focused on being a meta logic, and I'm guessing it is probably easier to write programs in Prolog.

I guess Turing couldn’t see the trillions of base pairs of DNA, complex methylation states, dendritic spines of the neurons, etc., just for starters.

The author seems to be of the opinion that the creators of DeepSeek will either be unable to, or will not see the value of optimizing the 'second stage' RL component of the 'new' (post pre-training RL) way of training frontier foundation models. Every competent programmer in China is now looking for low level ptx optimizations for EVERY SINGLE STAGE of the pipeline. They will now, likely not publish any of it.

I don’t disagree with any of these points, it’s just I’ve been involved in open science circles, where these things are always mentioned, and I just don’t see any material progress (maybe I’m not looking that closely though). I think the reason for the lack of progress is mainly funding—so until someone gets serious about funding (billionaires or taxpayers), it just seems like the same merry go around. It’s very expensive to replicate biomedical studies—but it’s the only thing that works. Maybe the tide is turning though and simply incentivizing/protecting grad students to become whistleblowers will do more good, but I fear this case was more the exception than the rule.

> To expect a national-level organization to essentially take over the duties of peer-review journals is a very big ask

Fair, but what is the alternative that would actually work? What is the budget of all of the journals compared to the NSF+NIH? Is medical research that is true, and certainly actionable worth as much as an F whatever fighter jet? People will have to decide.

Sure, and that's on the private funders to ensure they are getting what they pay for. Google pays for plenty of research--since they are the payee, it's their responsibility to ensure it's accuracy to whatever degree satisfies them. Institutions like the FDA are supposed to regulate private research when it comes to market (.i.e pharmaceuticals and the like). Whether or not the FDA and related agencies are effective is a different, but just as important question. Taxpayers desperately need a formal, funded system to verify the science they are paying for--particularly for biomedical research where the incentives for fraud are so high.

Peer (or any type of institutional) review needs to be implemented at the national level--same as the funding for the original research. Why would you pay for research and not check that it is correct? Congress needs to fund a new science agency that explicitly does this. I have suggested before that part of graduate training should be replicating select studies that are published (a national review board could select those that seem the most high impact). State-funded schools could take this on, and students would probably learn at least as much doing this as they do in their other studies.

Thanks, yes, I was thinking along the lines of HPC type applications in industry.

Thanks, this is helpful. It seems like (based on your reply) there are people successfully using Regent for scientific computing (I'm assuming); do you think the language is a viable choice for industry, or are there particular milestones you're looking reach?

How would you characterize/contrast Regent vs. Chapel? What do you see are the main drawbacks/benefits of each?

Bought current house without agent (very desirable part of Los Angeles). Selling now without agent. If you buy with an agent you put yourself at a disadvantage because the selling agent will need to split the commission (typically 2.5% a piece or so). When you make an offer on a home without a buying agent, suddenly your offer looks a lot more attractive to the selling agent, who is the only point of contact the seller has into what is happening with their property in terms of offers. People wonder how we got our house so cheap—bank on the real estate agents being greedy. They are the worst, period. I have not met a single one who will not double end a deal in 10 years in the LA market. Not sure how the current sale will go, but I will not work with an agent, I’ve dealt with too many to make that mistake.

Mathematical Biology/Bioinformatics. We have to think very carefully about every step in the process of extracting information from large, diverse datasets--often writing things from scratch, combining/transforming things in novel ways, and implementing new mathematical ideas efficiently enough to be computable on large datasets.