Viewing profile — 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 logi…

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' (…

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…

> 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? …

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 ens…

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 chec…

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 addi…

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…

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 viab…

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 …

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 curre…

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 fr…

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 base…

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 …

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. Ma…

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 signi…

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 …

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 l…

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 h…