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…
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…
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…
> 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…
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…
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…
For dependent types, I would look at Idris [1]. Adding Univalence in a satisfying way is I think still somewhat of a research question (I could be wrong, and if anyone has any additional insight would be interested to…
Bob Harper wrote a really good blog entry that expounds on this as Computational Trinitarianism [1]. Michael Shulman also wrote about the extension to Homotopical Trinitarianism [2] For a good summary with links there…
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…
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…
The Quantenkoffer by qutools is an interesting kit for learning about quantum stuff [1] Also, Qiskit pulse was fun to play around with (haven't in awhile, don't know what the current capabilities are) [2] [1]…
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…
Absolutely spot on. I actually do algorithm design, usually over a period of weeks (at least), and leet code is a joke for the serious algorist (I’m sure I’d fail an interview based on it). Nothing has so clearly…
Try Eugenia Chang’s new book, The Joy of Abstraction. Riehl’s book is very technical.
Something like this: https://en.wikipedia.org/wiki/Theater_of_All_Possibilities, where they were guided by the idea we could be artists, explorers, and scientists.
It’s nice to finally have a name for what I suppose is an incurable addiction (maybe 1K books in my library). The most fun for me is buying almost exclusively used books, and then finding interesting inscriptions in…
Well....for starters there is the monkey tunnel that leads from Broad to the Chen building because....you guessed it....the vivarium was in the basement (and still is) of Broad. Many neuroscience labs were in Broad (a…
I believe at least 170 million was slated initially for construction costs, which may have run over. I don't know how much was for new equipment, but I can't imagine it was a significant fraction (and likely it was an…
I worked in the Broad building at Caltech (Eli Broad), and I watched for 2 years as they demoed the parking lot outside my office to build the 200 million dollar Chen neuroscience building. It is a complete and total…
Is the pitch directly to taxpayers? There have been lawsuits (by faculty even..including one in which the DOE was deposed) to rein in misappropriation of funds etc., but it seems like the agencies themselves don't care…
Thank you!
Yes, it's admittedly an incredibly tough problem (how do you get those competing to cooperate?), and how to compute on data that is trustworthy. Ultimately, in biotech/pharma you have to ultimately know what an…
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…
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…
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…
> 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…
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…
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…
For dependent types, I would look at Idris [1]. Adding Univalence in a satisfying way is I think still somewhat of a research question (I could be wrong, and if anyone has any additional insight would be interested to…
Bob Harper wrote a really good blog entry that expounds on this as Computational Trinitarianism [1]. Michael Shulman also wrote about the extension to Homotopical Trinitarianism [2] For a good summary with links there…
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…
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…
The Quantenkoffer by qutools is an interesting kit for learning about quantum stuff [1] Also, Qiskit pulse was fun to play around with (haven't in awhile, don't know what the current capabilities are) [2] [1]…
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…
Absolutely spot on. I actually do algorithm design, usually over a period of weeks (at least), and leet code is a joke for the serious algorist (I’m sure I’d fail an interview based on it). Nothing has so clearly…
Try Eugenia Chang’s new book, The Joy of Abstraction. Riehl’s book is very technical.
Something like this: https://en.wikipedia.org/wiki/Theater_of_All_Possibilities, where they were guided by the idea we could be artists, explorers, and scientists.
It’s nice to finally have a name for what I suppose is an incurable addiction (maybe 1K books in my library). The most fun for me is buying almost exclusively used books, and then finding interesting inscriptions in…
Well....for starters there is the monkey tunnel that leads from Broad to the Chen building because....you guessed it....the vivarium was in the basement (and still is) of Broad. Many neuroscience labs were in Broad (a…
I believe at least 170 million was slated initially for construction costs, which may have run over. I don't know how much was for new equipment, but I can't imagine it was a significant fraction (and likely it was an…
I worked in the Broad building at Caltech (Eli Broad), and I watched for 2 years as they demoed the parking lot outside my office to build the 200 million dollar Chen neuroscience building. It is a complete and total…
Is the pitch directly to taxpayers? There have been lawsuits (by faculty even..including one in which the DOE was deposed) to rein in misappropriation of funds etc., but it seems like the agencies themselves don't care…
Thank you!
Yes, it's admittedly an incredibly tough problem (how do you get those competing to cooperate?), and how to compute on data that is trustworthy. Ultimately, in biotech/pharma you have to ultimately know what an…