Why freeze all travels?!

BTW, the HN title is misleading as grants being cancelled is not mentioned in the article.

My assumption is that old grants so far will still get paid out but any new grants (vital to any biomedical/biotech research career) is effectively on pause because NIH study sections that evaluate grant applications are canceled.

If grants are not funded, then departments likely will not renew faculty contracts because they cannot keep the lights on (and if said faculty has tenure, they will likely cut junior faculty that don't have it)

Essentially an entire class year of biomedical research is on hold.

"our 521 byte virtual machine is expressive enough to implement itself in just 43 bytes" whaat!

The 43-byte implementation might define only a subset of the functionality provided by the full VM, enough to "bootstrap" into the full implementation, most likely.

In fact, if the VM is Turing complete, it can theoretically emulate any computation, including its full implementation, even from a small subset of operations.

The point is that the 43-byte implementation does not need to encode the entire VM explicitly. For example, if the VM has built-in primitives for looping, branching, and memory management, the minimal implementation can leverage these to rebuild the remaining functionality.

My IOCCC entry [1] explains exactly what the 43-byte program is. It's a self-interpreter for BLC8, the byte based version of Binary Lambda Calculus.

The 521 byte interpreter on the other hand is written in x86 assembly, a language much less suitable for writing BLC8 interpreters than BLC8 itself.

Btw, with my latest lambda compiler, the BLC8 self interpreter is only 42 bytes:

    λ 1 ((λ 1 1) (λ (λ λ λ 1 (λ λ λ 2 (λ λ λ (λ 7 (10 (λ 5 (2 (λ λ 3 (λ 1 2 3)))
    (11 (λ 3 (λ 3 1 (2 1))))) 3) (4 (1 (λ 1 5) 3) (10 (λ 2 (λ 2 (1 6))) 6))) 8) 
    (λ 1 (λ 8 7 (λ 1 6 2)))) (λ 1 (4 3))) (1 1)) (λ λ 2 ((λ 1 1) (λ 1 1))))

[1] https://www.ioccc.org/2012/tromp/

thanks, this is helping me understand the whole article a bit better.

Yeah, I just took a real look now. It uses a metacircular evaluator? I didn't look at the link provided just yet though! :D

"For example, its metacircular evaluator is 232 bits. If we use the 8-bit version of the interpreter (the capital Blc one) which uses a true binary wire format, then we can get a sense of just how small the programs targeting this virtual machine can be."

From TFA. I think it's a very good article.

I shall update my posterior carefully.

He reasonably updated towards frequentism.

ever?

The domain appears to be flagged as "gambling" under Cisco Umbrella service. (Yes, I clicked on the link at work.)

Is there any theory or research about the effectiveness of such?

I would say it is a convenient way to explain their technical limitation

One of 3 reasons for rejecting YAML: "One is that the specification is large: 86 pages if printed on letter-sized paper. That leaves the possibility that someone may use a feature of YAML that works with one parser but not another. It has been suggested to standardize on a subset, but that basically means creating a new standard specific to this file which is not tractable long-term."

Renewal theory! https://en.wikipedia.org/wiki/Renewal_theory

the website has almost no info on who's behind this...is it even a company? where are they based? They don't explain why either.

too lazy to read photos of hand written notes. my loss, I know.