codekilla

8 ms·

1.
by codekilla 8mo ago
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 prog
2.
by codekilla 1y ago
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.
3.
by codekilla 2y ago
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 fr
4.
by codekilla 3y ago
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 re
5.
by codekilla 3y ago
> 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
6.
by codekilla 3y ago
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 satisfie
7.
by codekilla 3y ago
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
8.
by codekilla 3y ago
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 hear), i.e. see this t
9.
by codekilla 3y ago
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 is [3] [1] Computation
10.
by codekilla 3y ago
Thanks, yes, I was thinking along the lines of HPC type applications in industry.
11.
by codekilla 3y ago
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 milesto
12.
by codekilla 3y ago
How would you characterize/contrast Regent vs. Chapel? What do you see are the main drawbacks/benefits of each?
13.
by codekilla 3y ago
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 pi
14.
by codekilla 3y ago
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] https://qu
15.
by codekilla 4y ago
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 nov
16.
by codekilla 4y ago
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 illustrated the robotic nat
17.
by codekilla 4y ago
Try Eugenia Chang’s new book, The Joy of Abstraction . Riehl’s book is very technical.
18.
by codekilla 4y ago
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.
19.
by codekilla 4y ago
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 them, or when the books
20.
by codekilla 4y ago
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 VERY nice building in
21.
by codekilla 4y ago
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 additional e
22.
by codekilla 4y ago
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 waste of money, and I s
23.
by codekilla 4y ago
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 about conflicts
24.
by codekilla 5y ago
Thank you!
25.
by codekilla 5y ago
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 underlying gene or
26.
by codekilla 5y ago
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 here. Generative mod
27.
by codekilla 5y ago
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
28.
by codekilla 5y ago
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 relatively lower han
29.
by codekilla 5y ago
There are a lot of modalities being integrated, things like spatial/temporal, ADT/protein, etc. Integrating all of this data is a computational challenge, and of course there are lots of methods for analyzing it that vary in compu
30.
by codekilla 5y ago
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, Taxol is a molecule the

More ›