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.
> 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…
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]…
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…
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…
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…
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…
Yes, essentially, though you may create models of interactions etc., but the main idea is to extract information from various aspects of the cell. As far as in silico, I think absolutely there are probably opportunities…
I've thought about things like the patent/ip problem, the structure of biomedical research, Pharma research, etc. This is an area where I don't actually see competition as a net benefit, however....it's the reality. The…
Interesting....I'll have a close look at this, thank you. I didn't mean to imply drug repurposing was straightforward, certainly as you say this is very challenging. I guess my thinking was that there might be…
I have been reading a book recently: The Story of Taxol: Nature and Politics in the Pursuit of an Anti-Cancer Drug, and one of the most fascinating parts was the way they discovered this molecule. Long story short,…
What you're describing was outlined pretty clearly in The New Ruthless Economy[1] in 2005. A very interesting read, given when it was publshed. [1] https://global.oup.com/academic/product/the-new-ruthless-eco...
Not sure how much detail you are looking for, but I think essentially it is a term rewriting system.
What would a low capital biological research institute look like? Like nothing?....because it can't exist? (This is the answer in my experience). I ask only to see if anyone has any ideas. The consensus seems to be that…
Yes, but the point is the approach to proof (proving this for all cases) that represented a paradigm shift in mathematics, largely attributed to Thales.
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.
> 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…
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]…
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…
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…
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…
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…
Yes, essentially, though you may create models of interactions etc., but the main idea is to extract information from various aspects of the cell. As far as in silico, I think absolutely there are probably opportunities…
I've thought about things like the patent/ip problem, the structure of biomedical research, Pharma research, etc. This is an area where I don't actually see competition as a net benefit, however....it's the reality. The…
Interesting....I'll have a close look at this, thank you. I didn't mean to imply drug repurposing was straightforward, certainly as you say this is very challenging. I guess my thinking was that there might be…
I have been reading a book recently: The Story of Taxol: Nature and Politics in the Pursuit of an Anti-Cancer Drug, and one of the most fascinating parts was the way they discovered this molecule. Long story short,…
What you're describing was outlined pretty clearly in The New Ruthless Economy[1] in 2005. A very interesting read, given when it was publshed. [1] https://global.oup.com/academic/product/the-new-ruthless-eco...
Not sure how much detail you are looking for, but I think essentially it is a term rewriting system.
What would a low capital biological research institute look like? Like nothing?....because it can't exist? (This is the answer in my experience). I ask only to see if anyone has any ideas. The consensus seems to be that…
Yes, but the point is the approach to proof (proving this for all cases) that represented a paradigm shift in mathematics, largely attributed to Thales.